| Wed, 31 Aug 2022 22:59:16 +0200 | wenzelm | eliminated tabs, assuming tab-width=8; | file | diff | annotate |
| Mon, 22 Aug 2022 06:27:28 +0200 | Mathias Fleury | remove duplicate parsing for alethe; fix skolemization; | file | diff | annotate |
| Fri, 11 Mar 2022 16:43:09 +0100 | Mathias Fleury | fix handling of lambdas in reconstruction of eq_congruent | file | diff | annotate |
| Fri, 01 Oct 2021 22:35:32 +0200 | Mathias Fleury | update syntax for verit | file | diff | annotate |
| Fri, 05 Mar 2021 22:23:57 +0100 | wenzelm | obsolete (see f3378101f555); | file | diff | annotate |
| Mon, 14 Dec 2020 21:02:57 +0100 | Mathias Fleury | improve and activate compression for veriT proof reconstruction | file | diff | annotate |
| Mon, 12 Oct 2020 18:59:44 +0200 | Mathias Fleury | add reconstruction for the SMT solver veriT | file | diff | annotate |