Commits

Author Commit Message Labels Comments Date
Shlomi Fish
Add the monitoring helpers.
Shlomi Fish
Optimisation.
Shlomi Fish
Extract a common function.
Shlomi Fish
Add anothe test for black_hole.
Shlomi Fish
Add a test for --display-boards and --rank-reach-prune.
Shlomi Fish
rename does not work properly - fix it.
Shlomi Fish
Script to prepare the laptop's mountpoint.
Shlomi Fish
Modify for the new all_in_a_row range solving.
Shlomi Fish
Add the range compare script.
Shlomi Fish
Add the my-rank-reach script.
Shlomi Fish
Add the rank-reach-test.pl.
Shlomi Fish
Fix a bug in the C rank_reach_prune.
Shlomi Fish
Enabled the prune - now to test.
Shlomi Fish
Start adding the prune.
Shlomi Fish
Move the enum to the .h file.
Shlomi Fish
Add the fcs_dllexport.h header.
Shlomi Fish
Add the document for the prune.
Shlomi Fish
Implement rank_reach_prune.c in C.
Shlomi Fish
Add more tests.
Shlomi Fish
Add more tests.
Shlomi Fish
Extract a test method.
Shlomi Fish
Add more tests.
Shlomi Fish
Add more tests for the reachability thing and fix a bug.
Shlomi Fish
Add more.
Shlomi Fish
Add another test.
Shlomi Fish
Add another test+bug fix.
Shlomi Fish
Add more.
Shlomi Fish
Implement the prune’s algorithm.
Shlomi Fish
Add more.
Shlomi Fish
Tagging c-solver/releases/0.6.0
  1. Prev
  2. Next