Commits

Author Commit Message Labels Comments Date
Shlomi Fish
add to hgignore
Shlomi Fish
Add LICENSE
Shlomi Fish
Fix to create the dir.
Shlomi Fish
Add black-hole-from-sql.
Shlomi Fish
Add a command to upload.
Shlomi Fish
Tweak the distribution of the jobs. Apparently, the became hot due to running the jobs, so we cancelled it.
Shlomi Fish
Optimize
Shlomi Fish
Add script to validate the summary.
Shlomi Fish
More.
Shlomi Fish
More
Shlomi Fish
Add the multiple board indexes.
Shlomi Fish
Extract a function.
Shlomi Fish
Add B to hgignore - another build dir
Shlomi Fish
Less magic numbers.
Shlomi Fish
Bug fix.
Shlomi Fish
Convert to an explicit line_num.
Shlomi Fish
Convert to constants
Shlomi Fish
Refactored.
Shlomi Fish
Get rid of some magic constants.
Shlomi Fish
Convert to the inline version.
Shlomi Fish
Implement a "../Tatzer" invocation. Instead of needing to do "../Tatzer ..".
Shlomi Fish
Tagging c-solver/releases/0.8.0
Shlomi Fish
New version 0.8.0
Tags
c-solver/releases/0.8.0
Shlomi Fish
Add a --version flag.
Shlomi Fish
Conver to the new INCLUDE Common scheme.
Shlomi Fish
Scripts for generating the archive. Of the all-in-a-row 1M Results.
Shlomi Fish
Add to hgignore.
Shlomi Fish
Generalised the range solving. Allow to use prune or non-prune and a different game each time.
Shlomi Fish
Add more helper to the monitoring helpers.
Shlomi Fish
Add the filter.
  1. Prev
  2. Next