matita.cs.unibo.it Git - fireball-separation.git/history

]> matita.cs.unibo.it Git - fireball-separation.git/history - ocaml/Makefile

2018-05-29	acondolu	Reviving last algorithm (before Summer 2017), conceptua...	blob \| commitdiff \| raw
2017-07-25	acondolu	Merge branch 'permutations' into andrea	blob \| commitdiff \| raw \| diff to current
2017-07-15	acondolu	Code clean-up	blob \| commitdiff \| raw \| diff to current
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-12	acondolu	andrea7 -> new andrea9	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...	Initial commit from my pc	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

Unnamed repository; edit this file 'description' to name the repository.