]> matita.cs.unibo.it Git - fireball-separation.git/commit
projects / fireball-separation.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 537f154) | patch
andrea7 -> new andrea9
authoracondolu <andrea.condoluci@unibo.it>
Wed, 12 Jul 2017 09:18:36 +0000 (11:18 +0200)
committeracondolu <andrea.condoluci@unibo.it>
Wed, 12 Jul 2017 09:18:36 +0000 (11:18 +0200)
commita8a1711bd83c1d405a9fac806bc6baec8a8f165f
tree2ed476871a8fa0da3d2a73870959bd1d305b0d8etree | snapshot
parent537f15490817fe9e6d9e8e9c6a647d21df5942c3commit | diff
andrea7 -> new andrea9

- Removed Stuck and Pointer
- Added again bool flag to match entries to recall if coming from div or conv
- branches coming from div may diverge
- branches whose continuation is still a variable are completed

Fixed bug where entries in matches were not counted in all_terms
Still crashing
ocaml/Makefile diff | blob | history
ocaml/andrea8.ml [new file with mode: 0644] blob
ocaml/lambda3.ml [deleted file] blob | history
ocaml/lambda3.ml.ar [deleted file] blob | history
ocaml/lambda3.mli [deleted file] blob | history
ocaml/lambda4.ml [deleted file] blob | history
ocaml/lambda4.mli [deleted file] blob | history
Unnamed repository; edit this file 'description' to name the repository.