projects / fireball-separation.git / history
| 2018-05-31 | Claudio Sacerdoti... | Fix lifting bug in unwind | blob | commitdiff | raw |
| 2018-05-31 | Claudio Sacerdoti... | Make the code OCaml-4.06.1-friendly | blob | commitdiff | raw | diff to current |
| 2018-05-31 | acondolu | New (in-)decision procedure for termination | blob | commitdiff | raw | diff to current |
| 2018-05-30 | acondolu | Moved env_of_sigma to Pure strong | blob | commitdiff | raw | diff to current |
| 2018-05-28 | acondolu | Tentative implementation of strong separation algorithm | blob | commitdiff | raw | diff to current |
| 2018-05-28 | acondolu | Machine implements strong reduction | blob | commitdiff | raw | diff to current |
| 2018-05-28 | acondolu | Detection of divergents master weak-reduction-separation | blob | commitdiff | raw | diff to current |
| 2018-05-28 | acondolu | Tentative commit: tactics dropped and clean-up | 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 |