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

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

projects / fireball-separation.git / history

summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next

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

2018-06-15	Claudio Sacerdoti...	Embarassing bug in eta_eq fixed strong_simple	blob \| commitdiff \| raw
2018-06-11	acondolu	Append the eaten arg + leftmost order in find_eta_diffe...	blob \| commitdiff \| raw \| diff to current
2018-06-11	acondolu	Fix bug traces of old constructor B	blob \| commitdiff \| raw \| diff to current
2018-06-07	acondolu	Removed B and C from t, stepped from problem	blob \| commitdiff \| raw \| diff to current
2018-06-01	acondolu	More comments and improved find_eta_difference	blob \| commitdiff \| raw \| diff to current
2018-06-01	acondolu	More comments and better variable names	blob \| commitdiff \| raw \| diff to current
2018-05-31	Claudio Sacerdoti...	Make the code OCaml-4.06.1-friendly	blob \| commitdiff \| raw \| diff to current
2018-05-31	acondolu	Updated simple with current parser	blob \| commitdiff \| raw \| diff to current
2018-05-31	acondolu	Simpler tests in simple_test.ml + Added diverging tests...	blob \| commitdiff \| raw \| diff to current
2018-05-31	acondolu	Eat was erasing terms from C that made it diverge	blob \| commitdiff \| raw \| diff to current
2018-05-31	acondolu	Bug in mk_app with C	blob \| commitdiff \| raw \| diff to current
2018-05-31	acondolu	Fix no_leading_lambdas to account for a step on x on...	blob \| commitdiff \| raw \| diff to current
2018-05-31	acondolu	Clean up, improve comments, move functions	blob \| commitdiff \| raw \| diff to current
2018-05-31	acondolu	Added check for eta_subterm in `solve'	blob \| commitdiff \| raw \| diff to current
2018-05-31	acondolu	Added simple_test.ml	blob \| commitdiff \| raw \| diff to current
2018-05-31	acondolu	Moved andrea.ml to simple.ml	blob \| commitdiff \| raw \| diff to current

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