chiark / gitweb /
matchsticks-search.git
2014-03-08 Ian Jacksonadd <math.h> and -lm (no functional change)
2014-03-08 Ian JacksonMerge remote-tracking branch 'sgt/master'
2014-03-08 Ian Jacksonbreak out set_best
2014-03-08 Ian Jacksonin multicore, generator periodically checks for new...
2014-03-08 Ian Jacksonin mc_iterate_worker, use maxhamweight_ok and preconsid...
2014-03-08 Ian Jacksonbreak out maxhamweight_ok (no functional change)
2014-03-08 Ian Jacksonpredeclare preconsider_ok and multicore_check_for_new_b...
2014-03-08 Ian Jacksontiresome portability fix for pread on squeeze
2014-03-08 Ian Jacksonmulticore support seems to work
2014-03-08 Ian Jackson.gitignore: core, t.*
2014-03-08 Ian Jacksonintroduce progress_eol and make stderr line buffered
2014-03-08 Ian Jacksonin preconsider_ok, check for frags >= maxhamweight...
2014-03-08 Ian Jacksonbreak out preconsider_ok
2014-03-08 Ian JacksonPRINTF is less bodgy now
2014-03-08 Ian JacksonAdd -std=gnu99 to Makefile
2014-03-08 Ian Jacksonbreak out report()
2014-03-08 Ian Jacksonwip multicore: add argument parsing; currently -j optio...
2014-03-08 Simon TathamCheck max Hamming weight in the other direction.
2014-03-08 Simon TathamPrune by symmetry: constrain 1st adj row to all 1s... v1
2014-03-08 Simon TathamSeparate stdout from stderr.
2014-03-08 Simon TathamOutput the actual dissection, as a matrix.
2014-03-07 Ian Jacksoncommentary
2014-03-07 Ian Jacksonassert our arguments
2014-03-07 Ian Jacksondo not leak prob when retrying
2014-03-07 Ian Jacksonsearch in order by max hamming weight
2014-03-07 Ian JacksonRevert "loop in reverse order - this is a better search...
2014-03-07 Ian Jacksonloop in reverse order - this is a better search path
2014-03-07 Ian JacksonRevert "mix up the order" and "mix up the order"
2014-03-07 Ian Jacksonmix up the order, print better
2014-03-07 Ian Jacksonmix up the order
2014-03-07 Ian Jacksonerror fixes; tried interior but doesn't work (EINSTAB...
2014-03-07 Ian Jacksonprint best solution
2014-03-07 Ian Jacksonimprove maxminsize thing
2014-03-07 Ian Jacksonfix printing more
2014-03-07 Ian Jacksonless printing, optimise
2014-03-07 Ian Jacksonoutput improvements
2014-03-07 Ian Jacksonwip lp seems to work so far...
2014-03-07 Ian Jacksonwip lp, results, compiles
2014-03-07 Ian Jacksonwip lp, problem setup compiles
2014-03-07 Ian Jacksonwip lp
2014-03-07 Ian Jacksonwip lp notes before condense
2014-03-07 Ian Jacksonwip, builds, before glpk
2014-03-07 Ian Jacksonwip