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

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

projects / fireball-separation.git / history

[fireball-separation.git] / ocaml / problems.ml

2017-07-14	acondolu	Parser.from_file, and p* problems moved to problems/p	blob \| commitdiff \| raw
2017-07-14	acondolu	Changed logic of entrypoint in Lambda4	blob \| commitdiff \| raw \| diff to current
2017-07-14	acondolu	Fixed: was using compare in place of eta_eq	blob \| commitdiff \| raw \| diff to current
2017-07-14	acondolu	Tidying up problems.ml	blob \| commitdiff \| raw \| diff to current
2017-07-14	acondolu	New failing problem, which shows that we need to change...	blob \| commitdiff \| raw \| diff to current
2017-07-13	acondolu	More problems	blob \| commitdiff \| raw \| diff to current
2017-07-13	acondolu	Failing problems commented out	blob \| commitdiff \| raw \| diff to current
2017-07-13	acondolu	New tests	blob \| commitdiff \| raw \| diff to current
2017-07-13	acondolu	Fix (??): some broken tests with Div = variable used...	blob \| commitdiff \| raw \| diff to current
2017-07-13	acondolu	Tentative commit: tactics dropped and clean-up	blob \| commitdiff \| raw \| diff to current
2017-07-12	acondolu	Added more problems with bombs, all working	blob \| commitdiff \| raw \| diff to current
2017-07-12	acondolu	Added second problem with bombs and pacmans: it works!	blob \| commitdiff \| raw \| diff to current
2017-07-12	acondolu	Added new (passing) problem with a bomb (o1)	blob \| commitdiff \| raw \| diff to current
2017-07-11	acondolu	Fix: conv : x:min_int (.... y:1 ...) y was not conside...	blob \| commitdiff \| raw \| diff to current
2017-07-11	acondolu	New problems n1, n2 used to debug the problem with...	blob \| commitdiff \| raw \| diff to current
2017-07-11	acondolu	Fix bug in dangerous_conv with arity of arguments of...	blob \| commitdiff \| raw \| diff to current
2017-07-10	acondolu	The measure finally works on all problems in problems.ml!	blob \| commitdiff \| raw \| diff to current
2017-07-10	acondolu	Experimenting with a combined measure	blob \| commitdiff \| raw \| diff to current
2017-06-27	<andrea.condoluci...	still stepping on negative variables	blob \| commitdiff \| raw \| diff to current
2017-06-26	<andrea.condoluci...	Problems pass, but still missing computation of arities...	blob \| commitdiff \| raw \| diff to current
2017-06-26	<andrea.condoluci...	Removed traces of lambda3	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...	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.

RSS Atom