]> matita.cs.unibo.it Git - fireball-separation.git/commit
projects / fireball-separation.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a30145e) | patch
Fix: find_eta_difference now works with inerts of arbitrary length
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 6 Jun 2018 15:01:41 +0000 (17:01 +0200)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 6 Jun 2018 15:01:41 +0000 (17:01 +0200)
commit1dc1445295ffe5e83cbce853387ff0b68d56f85f
tree9574f387ed316cf4ebffebb2133ca65608255ec4tree | snapshot
parenta30145e547949ed79aba9d54426515fcf556e0a6commit | diff
Fix: find_eta_difference now works with inerts of arbitrary length

All simple.x tests now pass (same for automatically generated ones)
ocaml/simple.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.