Commits

Author Commit Message Labels Comments Date
Shlomi Fish
Got the tests to compile (and pass) with FCS_WITHOUT_LOCS_FIELDS on.
Shlomi Fish
Got rid of an empty indirect_stacks_buffer in non-INDIRECT_STACKS.
Shlomi Fish
Convert a stacks buffer to dll_ind_buf_t.
Shlomi Fish
Extract an fc_solve_state_init macro to abstract INDIRECT_STACK_STATES.
Shlomi Fish
Convert t/delta-states-test.c to indirect_buffer.h.
Shlomi Fish
Got rid of many #ifdef INDIRECT_STACK_STATES by wrapping initial_user_state_to_c.
Shlomi Fish
Correct some warnings and errors with --rwd and other flags.
Shlomi Fish
Got ./Tatzer with no arguments to work again.
Shlomi Fish
Extract fcs_init_and_encode_state.
Shlomi Fish
Update the FCC-Solver source distribution.
Shlomi Fish
Add a --upload option.
Shlomi Fish
Fix a memory leak in fc_solve_fcc_release_moves_seq.
Shlomi Fish
Script for preparing the FCC-solver-binary for Amadiro.
Shlomi Fish
Removed needless command line argument handling.
Shlomi Fish
Makefile.gnu: adapt for building fcc_fc_solver.
Shlomi Fish
Update the benchmark - the previous one used the wrong preset.
Shlomi Fish
fcc_solver: now reporting the number of iteration reached in total.
Shlomi Fish
Bug fix for setting the position at the right place.
Shlomi Fish
Remove a needless assignment of a variable to itself.
Shlomi Fish
Add an item to the TODO list.
Shlomi Fish
Fixed the remaining fc_solve_delta_stater_encode_into_buffer.
Shlomi Fish
Correct a typo and a trailing space.
Shlomi Fish
Fix a bug with a missing initialisation in the fcc_solver.c.
Shlomi Fish
Convert the FCC-FC-Solver to ->moves_list.
Shlomi Fish
Add more items to the TODO.txt.
Shlomi Fish
Correct a typo in the FCC Spec.
Shlomi Fish
Add the results for the dbm 2fc deals on Amadiro's machine.
Shlomi Fish
Remove some leftover code.
Shlomi Fish
Convert fcs_dbm_queue_item_struct to fcs_fcc_moves_seq_t.
Shlomi Fish
Convert more code to use fcs_fcc_moves_seq_t.
  1. Prev
  2. Next