description11f0e0280a2c1cb05fdad0831fbeaa6424
last changeMon, 7 Nov 2011 18:57:15 +0000 (19:57 +0100)
shortlog
2011-11-07 Stefan Israelsson... some more tactics and bugfixes master
2011-11-05 Stefan Israelsson... a bug in the unify.c and introducing guile-theorem
2011-10-18 Stefan Israelsson... a more scalable database for the prover
2011-10-13 Stefan Israelsson... new db component
2011-09-28 Stefan Israelsson... improving database, postpone, state-storage, prover
2011-09-23 Stefan Israelsson... postpone code works
2011-09-22 Stefan Israelsson... add missing file typed-guile.scm
2011-09-20 Stefan Israelsson... solver.scm is now prepared for ffi version
2011-09-19 Stefan Israelsson... dynwinds fixup errors remains
2011-09-19 Stefan Israelsson... gp-dynwinds added
2011-09-19 Stefan Israelsson... gp-fluids introduced and tested
2011-09-19 Stefan Israelsson... A more robust representation of the tag inside scheme
2011-09-19 Stefan Israelsson... bugfix for multi interleavers
2011-09-17 Stefan Israelsson... <or> interleave logic now works and is better then...
2011-09-16 Stefan Israelsson... basic continuation support works
2011-09-16 Stefan Israelsson... new postpone code is ready for testing
...
heads
4 years ago master
5 years ago unify-iso