]> matita.cs.unibo.it Git - fireball-separation.git/commit
projects / fireball-separation.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ec89aa9) | patch
Towards `Bottom and `Pacman
authoracondolu <andrea.condoluci@unibo.it>
Wed, 12 Jul 2017 15:24:54 +0000 (17:24 +0200)
committeracondolu <andrea.condoluci@unibo.it>
Wed, 12 Jul 2017 15:24:54 +0000 (17:24 +0200)
commit744a6d34d9a52e406d4ab9786d8ab19a2b0091d0
tree9cddad976d526e83f2ece056080a1d346a38507ftree | snapshot
parentec89aa96e6538dd5b566d59c67c7ac9e295e5e25commit | diff
Towards `Bottom and `Pacman

1) Num updated to handle them
2) lambda4 compiles: safety conditions for projections hopefully
   implemented; strategy code not changed, therefore it will step over
   bombs and friends
ocaml/lambda4.ml diff | blob | history
ocaml/num.ml diff | blob | history
ocaml/num.mli diff | blob | history
ocaml/numx.ml [deleted file] blob | history
ocaml/numx.mli [deleted file] blob | history
Unnamed repository; edit this file 'description' to name the repository.