]> matita.cs.unibo.it Git - fireball-separation.git/commit
projects / fireball-separation.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 74df5ba) | patch
quantic measure (partially) fixed
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 14 Jun 2018 21:31:30 +0000 (23:31 +0200)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 15 Jun 2018 14:55:04 +0000 (16:55 +0200)
commitbc7b3bd553626969b2c22a5ec3e431f67fcd2ff1
tree05df7ef077cbb6f97618ca102b8c0214c37210e1tree | snapshot
parent74df5ba0526545acae8d23350c41c45c9c480789commit | diff
quantic measure (partially) fixed

- all simple.[0-2] tests now pass
- simple.evil does not

Ideas:
1) when stepping over a term, its (shared) boolean is
   turned to false
2) when reducing a step, the booleans are propagated
ocaml/simple.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.