]> matita.cs.unibo.it Git - fireball-separation.git/commit
projects / fireball-separation.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ee42500) | patch
The measure finally works on all problems in problems.ml!
authoracondolu <andrea.condoluci@unibo.it>
Mon, 10 Jul 2017 16:44:31 +0000 (18:44 +0200)
committeracondolu <andrea.condoluci@unibo.it>
Mon, 10 Jul 2017 16:44:31 +0000 (18:44 +0200)
commit5c065c453e7d3f1e35d9f23fb4b6345d88d0f083
tree83a72f9c0be49d189593f64c89d2c86fe119bf33tree | snapshot
parentee425005e52a3cedad28698bc4611c99e1abefb5commit | diff
The measure finally works on all problems in problems.ml!
Added in logs/fail.txt a fragment of a failing problem
ocaml/lambda4.ml diff | blob | history
ocaml/logs/fail.txt [new file with mode: 0644] blob
ocaml/num.ml diff | blob | history
ocaml/num.mli diff | blob | history
ocaml/problems.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.