Commits

Author Commit Message Labels Comments Date
Shlomi Fish
Added a description of the new moves to the --help string.
Shlomi Fish
Upgraded the version number
Shlomi Fish
Some more changes to the TODO.
Shlomi Fish
Updated the TODO file.
Shlomi Fish
Upgraded the version.
Shlomi Fish
Added one more (and final) atomic move.
Shlomi Fish
Fixed a bug in the Soft-DFS scan.
Shlomi Fish
Added another atomic move.
Shlomi Fish
Got the codebase to compile with COMPACT_STATES and added another atomic
Shlomi Fish
Upgraded the version number.
Shlomi Fish
COW Stacks for Simple Simon.
Shlomi Fish
Fixed a bug.
Shlomi Fish
Copy on write stacks for Freecell. Should be done for Simple Simon
Shlomi Fish
Yet more accessors.
Shlomi Fish
Some accessors for the soft_thread and instance members.
Shlomi Fish
A small optimization.
Shlomi Fish
1. Some removed code removed completely.
Shlomi Fish
Placed fcs_move_stack_reset() in sfs_check_state_begin() and removed it
Shlomi Fish
Added an atomic move function to move one card to an empty stack.
Shlomi Fish
Upgraded the version.
Shlomi Fish
Converted duplicating a state to use a static buffer and initialized
Shlomi Fish
Added some items to the TODO.
Shlomi Fish
Upgraded the version number.
Shlomi Fish
Now solution_states is part of soft_dfs_info.
Shlomi Fish
Removed instance_num_solution_states. It was a leftover from the
Shlomi Fish
Removed instance_solutions_states altogether. Bye bye dear friend!
Shlomi Fish
Now there is one moves stack per hard thread and it is used and re-used.
Shlomi Fish
Propagated the SUSPEND_PROCESS signal so a max iterations directive will
Shlomi Fish
Fixed a caching of a null stack in the initial state.
Shlomi Fish
Fixed alloc.h to place how_much in a variable.
  1. Prev
  2. Next