]> matita.cs.unibo.it Git - fireball-separation.git/commit
projects / fireball-separation.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c5231b4) | patch
Simple strong separation implemented!
authoracondolu <andrea.condoluci@unibo.it>
Wed, 30 May 2018 14:31:24 +0000 (16:31 +0200)
committeracondolu <andrea.condoluci@unibo.it>
Wed, 30 May 2018 14:31:24 +0000 (16:31 +0200)
commit7c60aa45d5f4486768b6338e2e5aa411dbec8ad9
tree15e4dcc35e106a805a31616e3ab1d08f3d5eba5ctree | snapshot
parentc5231b43a7f3f6c4b8f4d449cbae210a528c3e86commit | diff
Simple strong separation implemented!

- Two phases for eat
- Moved code
- Reduction does not diverge (replaces DD with B)
ocaml/andrea.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.