Commits

Author Commit Message Labels Comments Date
Shlomi Fish
Add more flamingo presets.
Shlomi Fish
Add a parseable output, and wallclock time.
Shlomi Fish
Update some scripts to the new measure-depth-dep-invocation.
Shlomi Fish
Fix a compilation problem with HARD_CODED_NUM_DECKS on.
Shlomi Fish
More FCS_RCS_STATES #ifdef consolidation.
Shlomi Fish
Clean up the .so files because some of them are the test ones of Inline.
Shlomi Fish
Remove a no longer needed empty line.
Shlomi Fish
More FCS_RCS_STATES merging.
Shlomi Fish
More merging of FCS_RCS_STATES.
Shlomi Fish
Convert the moves functions to accept fcs_kv_state_t.
Shlomi Fish
FCS_RCS_STATES merging: convert fc_solve_get_the_positions_by_rank_data().
Shlomi Fish
More FCS_RCS_STATES merging.
Shlomi Fish
More refactoring.
Shlomi Fish
Refactoring.
Shlomi Fish
Got rid of compilation warnings with static functions not defined.
Shlomi Fish
More FCS_RCS_STATES merging.
Shlomi Fish
Merge two #ifdef sections.
Shlomi Fish
Removed some unused #undef statements.
Shlomi Fish
More FCS_RCS_STATES unification.
Shlomi Fish
More FCS_RCS_STATES unification.
Shlomi Fish
Start merging the code of FCS_RCS_STATES and non-FCS_RCS_STATES.
Shlomi Fish
Tatzer: Cleaning up the remnants of Inline::C.
Shlomi Fish
Adapted the prepare_fcc_solver script.
Shlomi Fish
[FCC-FC-Solver] Add the USR1 signal handler.
Shlomi Fish
Add an -o flag.
Shlomi Fish
Now keeping track of the number of unique FCCs.
Shlomi Fish
Amend the previous commit - fill in instance->positions_milestone_step.
Shlomi Fish
Revert commit r4393 - storing fcs_FCC_start_points_list_t in a linked list again.
Shlomi Fish
Extract fc_solve_init_locs.
Shlomi Fish
Got rid of the FCS_WITHOUT_LOCS_FIELDS #ifdef.
  1. Prev
  2. Next