projects / fireball-separation.git / history
| 2017-07-15 | acondolu | Code clean-up | blob | commitdiff | raw |
| 2017-07-15 | acondolu | Encoding of SAT problems and 3-colorability of graphs | blob | commitdiff | raw | diff to current |
| 2017-07-14 | acondolu | Moved parse' from Num to Parser | blob | commitdiff | raw | diff to current |
| 2017-07-14 | acondolu | Re-use Util.index_of | blob | commitdiff | raw | diff to current |
| 2017-07-13 | acondolu | Remove FORCE option in Makefile | blob | commitdiff | raw | diff to current |
| 2017-07-11 | acondolu | clean removes *.o files | blob | commitdiff | raw | diff to current |
| 2017-07-11 | acondolu | Run tests with: make run | blob | commitdiff | raw | diff to current |
| 2017-06-22 | <andrea.condoluci... | Removed lambda3 + Fixed lambda4 | blob | commitdiff | raw | diff to current |
| 2017-06-12 | <andrea.condoluci... | Moved andrea's stuff to its branch | blob | commitdiff | raw | diff to current |
| 2017-06-12 | <andrea.condoluci... | Copy ocaml folder from sacerdot's svn repository, rev... | blob | commitdiff | raw | diff to current |