descriptiona8d1a4fd3521934569d58a5b43a3e5d6d2
last changeThu, 5 Mar 2015 17:57:44 +0000 (18:57 +0100)
shortlog
2015-03-05 Stefan Israelsson... fully indexed and assertable functions master
2015-02-19 Stefan Israelsson... new functinal database code compiles and old functional...
2015-02-18 Stefan Israelsson... Various improvements + dynamic goals works well with...
2015-02-13 Stefan Israelsson... gc of attributed variables debugged, clpb patched to...
2015-02-10 Stefan Israelsson... unessery code removed from clpb.pl
2015-02-10 Stefan Israelsson... clpb dominos is now working plus some performnce speedup
2015-02-06 Stefan Israelsson... support for different attributed variables
2015-02-04 Stefan Israelsson... mae sure that clpb unifier does not backtrack
2015-02-02 Stefan Israelsson... Missing operators in module autogeneration
2015-02-02 Stefan Israelsson... clpb addition and various bugfixes
2015-02-02 Stefan Israelsson... some very few sat examples work
2015-01-28 Stefan Israelsson... clpb addition and various bugfixes
2015-01-23 Stefan Israelsson... debugged clpfd. Remains to implement goal expansion
2015-01-22 Stefan Israelsson... term_expand macros compiles and loads
2015-01-22 Stefan Israelsson... postpone optimisation, removed _ in the guile-log namespace
2015-01-21 Stefan Israelsson... can now compile reify macro
...
tags
2 years ago v0.5.3 verison 0.5.3
2 years ago v0.5.2 verison 0.5.2
2 years ago v0.4.1
2 years ago v0.4.0
3 years ago v0.3 version 0.3
4 years ago v0.2 version 0.2
4 years ago v0.1 version 0.1
heads
21 months ago master
4 years ago add-state