]> matita.cs.unibo.it Git - fireball-separation.git/commit
projects / fireball-separation.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0858d26) | patch
Using andrea's finish instead of eat. All tests succeed.
authoracondolu <andrea.condoluci@unibo.it>
Thu, 7 Jun 2018 16:08:10 +0000 (18:08 +0200)
committeracondolu <andrea.condoluci@unibo.it>
Thu, 7 Jun 2018 16:08:10 +0000 (18:08 +0200)
commit2a95284a8f26d27ae7e1e13224d87d9774e11b06
treeb4eee46f1d13d812062261409571a1fcd456e9aetree | snapshot
parent0858d26f10c77f0b014ebef5e605b8da2512a8c7commit | diff
Using andrea's finish instead of eat. All tests succeed.

But again, most generated tests are solved in one step.
ocaml/simple.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.