]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d29f657) | patch
Ported changes amde on the main branch:
authorAndrea Asperti <andrea.asperti@unibo.it>
Mon, 10 Oct 2011 12:18:57 +0000 (12:18 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Mon, 10 Oct 2011 12:18:57 +0000 (12:18 +0000)
commit45e1b8a5ba04aa3064f8179d1aa387c2b892e007
tree2483adf4ce905250d15e496063d63ff919b9f0betree | snapshot
parentd29f657ab297eb0570f6036d7eb67582404962f2commit | diff
Ported changes amde on the main branch:
1. Reintroduced a failure cache
2. Corrected a bug in subsumption
3. Crippled the search space of not-last (side) equational goals.
matitaB/components/ng_tactics/nnAuto.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.