]> matita.cs.unibo.it Git - fireball-separation.git/commit
projects / fireball-separation.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4286917) | patch
Fix lifting bug in unwind
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 31 May 2018 23:05:17 +0000 (01:05 +0200)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 31 May 2018 23:05:42 +0000 (01:05 +0200)
commit88cd6d9b202287ce43ffab571a6a63d7c8dc6de1
tree9db420b0408fcc7245c92c6d29ed75696d92eb08tree | snapshot
parent428691717031468f6583a899fe8edbe58163428acommit | diff
Fix lifting bug in unwind

problems/simple.* now pass
ocaml/pure.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.