| 2f9ab4b | Jannik Vierling | 21 July 2022, 07:37:48 UTC | release 2.16.0 | 21 July 2022, 07:37:48 UTC |
| d9cbb33 | Jannik Vierling | 21 July 2022, 06:42:16 UTC | set release date | 21 July 2022, 06:42:16 UTC |
| 043e3cd | Jannik Vierling | 19 July 2022, 14:32:11 UTC | update release notes | 19 July 2022, 14:34:22 UTC |
| 262abd4 | Jannik Vierling | 19 July 2022, 13:36:25 UTC | update copyright notice | 19 July 2022, 13:36:25 UTC |
| 23661a6 | Jannik Vierling | 19 July 2022, 12:29:32 UTC | bump version number to 2.16.0 | 19 July 2022, 12:29:32 UTC |
| 49d3210 | Jannik Vierling | 19 July 2022, 12:26:53 UTC | fix version bumping script | 19 July 2022, 12:26:53 UTC |
| 2bd8f40 | Jannik Vierling | 19 July 2022, 11:56:45 UTC | reduce timeout for veriT test cases | 19 July 2022, 12:07:56 UTC |
| 45cc864 | Jannik Vierling | 19 July 2022, 11:30:34 UTC | remove debug statement | 19 July 2022, 12:07:56 UTC |
| 3dc44ab | Jannik Vierling | 08 July 2022, 13:16:13 UTC | improve conversion of distinct function | 19 July 2022, 12:07:56 UTC |
| 043f762 | Jannik Vierling | 08 July 2022, 13:13:30 UTC | add 'all distinct' formula constructor | 19 July 2022, 12:07:56 UTC |
| 937cecd | Jannik Vierling | 08 July 2022, 12:47:46 UTC | add tests for boolean constants | 19 July 2022, 12:07:56 UTC |
| afdeb02 | Jannik Vierling | 06 July 2022, 12:12:11 UTC | upload reports in pipeline stage | 06 July 2022, 12:12:11 UTC |
| c56deba | Jannik Vierling | 06 July 2022, 09:51:58 UTC | upload code coverage reports on success | 06 July 2022, 10:57:50 UTC |
| beedba0 | Jannik Vierling | 06 July 2022, 09:41:18 UTC | generate code coverage reports | 06 July 2022, 10:57:50 UTC |
| 6e41dec | Jannik Vierling | 06 July 2022, 08:37:53 UTC | send message when build is fixed | 06 July 2022, 10:57:50 UTC |
| 59387e7 | Jannik Vierling | 06 July 2022, 08:35:07 UTC | fix formatting | 06 July 2022, 10:57:50 UTC |
| 9b0d195 | Jannik Vierling | 06 July 2022, 08:26:00 UTC | use plain text message | 06 July 2022, 10:57:50 UTC |
| b4188a1 | Jannik Vierling | 06 July 2022, 08:00:41 UTC | escape build log token | 06 July 2022, 10:57:50 UTC |
| 0f1ca03 | Jannik Vierling | 06 July 2022, 10:52:37 UTC | update veriT prover interface | 06 July 2022, 10:52:37 UTC |
| 01a06c9 | Jannik Vierling | 06 July 2022, 07:45:31 UTC | send email on build failure | 06 July 2022, 07:45:31 UTC |
| fb0a386 | Jannik Vierling | 05 July 2022, 17:27:41 UTC | fix user manual | 05 July 2022, 17:27:41 UTC |
| 55c60e2 | Jannik Vierling | 05 July 2022, 17:26:41 UTC | move alethe related objects to separate package | 05 July 2022, 17:26:41 UTC |
| b655162 | Jannik Vierling | 04 July 2022, 16:30:58 UTC | fix formatting | 05 July 2022, 15:36:35 UTC |
| cd6e4c0 | Jannik Vierling | 04 July 2022, 16:25:32 UTC | use SMT-LIB benchmarks for veriT testing | 05 July 2022, 15:36:35 UTC |
| f3d375a | Jannik Vierling | 04 July 2022, 13:52:03 UTC | remove old veriT proofs | 05 July 2022, 15:28:05 UTC |
| c73d25e | Jannik Vierling | 04 July 2022, 13:44:23 UTC | use Alethe format in veriT prover interface | 05 July 2022, 15:28:05 UTC |
| 8c6ce3f | Jannik Vierling | 04 July 2022, 13:45:28 UTC | add equality axiom constructors | 05 July 2022, 15:28:05 UTC |
| a796c1f | Jannik Vierling | 04 July 2022, 13:27:09 UTC | add basic shortest path search | 05 July 2022, 15:28:05 UTC |
| add898c | Jannik Vierling | 04 July 2022, 12:37:31 UTC | add symmetric closure | 05 July 2022, 15:28:05 UTC |
| ded6a4f | Jannik Vierling | 04 July 2022, 12:28:31 UTC | map β to b | 05 July 2022, 15:28:05 UTC |
| 4e4aca2 | Jannik Vierling | 04 July 2022, 12:25:49 UTC | add some tests for name mangling | 05 July 2022, 15:28:05 UTC |
| 61a528b | Jannik Vierling | 05 July 2022, 10:40:18 UTC | add basic jenkinsfile | 05 July 2022, 12:37:26 UTC |
| 10dab8f | Jannik Vierling | 17 June 2022, 11:08:15 UTC | update sbt plugins | 17 June 2022, 11:08:15 UTC |
| 659ff78 | Jannik Vierling | 17 June 2022, 10:53:46 UTC | update to sbt 1.6.2 | 17 June 2022, 10:53:46 UTC |
| 9d59dba | Jannik Vierling | 17 June 2022, 09:55:46 UTC | update dependencies | 17 June 2022, 09:55:46 UTC |
| 9e5d739 | Jannik Vierling | 15 June 2022, 05:20:03 UTC | make vampire interface compatible with vampire 4.6.1 | 15 June 2022, 11:58:27 UTC |
| 1516f77 | Jannik Vierling | 14 June 2022, 13:35:08 UTC | fix user manual | 14 June 2022, 13:37:51 UTC |
| 6bcc2c0 | Jannik Vierling | 14 June 2022, 12:34:41 UTC | fix links in scaladoc comments | 14 June 2022, 12:34:41 UTC |
| d4d2a13 | Jannik Vierling | 14 June 2022, 12:14:38 UTC | update to scala 2.13.8 | 14 June 2022, 12:14:38 UTC |
| 59d0b3f | Jannik Vierling | 14 June 2022, 11:49:58 UTC | fix deprecated method name | 14 June 2022, 12:08:45 UTC |
| 0175b30 | Jannik Vierling | 14 June 2022, 11:33:11 UTC | remove redundant collection conversion | 14 June 2022, 12:08:45 UTC |
| 77e5c45 | Jannik Vierling | 14 June 2022, 11:29:06 UTC | fix type erasure warnings | 14 June 2022, 12:08:45 UTC |
| ea07827 | Jannik Vierling | 14 June 2022, 09:25:48 UTC | deal with exhaustiveness warnings | 14 June 2022, 12:08:45 UTC |
| e6700e6 | Jannik Vierling | 10 June 2022, 19:29:17 UTC | use java.lang.StackOverflowError | 14 June 2022, 12:08:45 UTC |
| 9e5ecc2 | Jannik Vierling | 10 June 2022, 19:24:02 UTC | wrap identifiers export and given in backticks | 14 June 2022, 12:08:45 UTC |
| 19ecd8a | Jannik Vierling | 10 June 2022, 19:08:52 UTC | fix top level wildcard warnings | 14 June 2022, 12:08:45 UTC |
| d8112b4 | Jannik Vierling | 14 June 2022, 11:54:15 UTC | use scala 2.13.8 | 14 June 2022, 12:08:45 UTC |
| cfe5a75 | Jannik Vierling | 31 May 2022, 15:58:53 UTC | Merge branch 'hotfix-2.15.4' into develop | 31 May 2022, 15:58:53 UTC |
| cdd8380 | Jannik Vierling | 31 May 2022, 15:52:38 UTC | Release 2.15.4 | 31 May 2022, 15:52:38 UTC |
| 95a1d7f | Jannik Vierling | 31 May 2022, 15:32:12 UTC | add 2.15.4 release notes | 31 May 2022, 15:35:13 UTC |
| 14c80ca | Jannik Vierling | 31 May 2022, 15:24:06 UTC | add developer information | 31 May 2022, 15:35:13 UTC |
| 530eeb1 | Jannik Vierling | 31 May 2022, 15:30:01 UTC | bump version number to 2.15.4 | 31 May 2022, 15:30:19 UTC |
| 9ec14ac | Jannik Vierling | 31 May 2022, 14:21:47 UTC | Merge branch 'hotfix-2.15.3' into develop | 31 May 2022, 14:21:47 UTC |
| d0c51bc | Jannik Vierling | 31 May 2022, 13:55:51 UTC | Release 2.15.3 | 31 May 2022, 13:55:51 UTC |
| 8a8e65b | Jannik Vierling | 31 May 2022, 13:42:01 UTC | add 2.15.3 release notes | 31 May 2022, 13:42:01 UTC |
| 8e111ab | Jannik Vierling | 31 May 2022, 12:49:58 UTC | update installation instructions | 31 May 2022, 12:50:43 UTC |
| 98c1474 | Jannik Vierling | 16 May 2022, 19:01:52 UTC | publish to maven central | 31 May 2022, 12:50:43 UTC |
| a152023 | Jannik Vierling | 16 May 2022, 18:56:12 UTC | use scala 2.13.1 | 31 May 2022, 12:50:43 UTC |
| 2cc6f3a | Jannik Vierling | 16 May 2022, 19:32:08 UTC | bump version number to 2.15.3 | 31 May 2022, 12:50:43 UTC |
| 0e1353f | Jannik Vierling | 23 March 2021, 09:09:55 UTC | remove some unused code and variables | 23 March 2021, 09:09:55 UTC |
| 40984e3 | Jannik Vierling | 23 March 2021, 08:43:00 UTC | support more strong quantifiers in erasure reduction | 23 March 2021, 08:43:00 UTC |
| c72aaa4 | Jannik Vierling | 11 March 2021, 19:06:53 UTC | update dependencies | 11 March 2021, 19:06:53 UTC |
| e47d040 | Jannik Vierling | 11 March 2021, 18:50:30 UTC | update to sbt 1.4.9 | 11 March 2021, 18:50:30 UTC |
| e644cc7 | Jannik Vierling | 01 March 2021, 20:29:07 UTC | remove some unused variables | 02 March 2021, 18:06:47 UTC |
| 34e7c3d | Jannik Vierling | 01 March 2021, 11:20:14 UTC | fix comment | 01 March 2021, 11:20:14 UTC |
| 9d5393f | Jannik Vierling | 01 March 2021, 10:44:13 UTC | Merge branch 'leancopparser' into develop | 01 March 2021, 10:44:13 UTC |
| f4ba9fe | Jannik Vierling | 28 February 2021, 15:34:21 UTC | refactor expansion proof construction | 28 February 2021, 19:01:29 UTC |
| e6122ba | Jannik Vierling | 28 February 2021, 12:51:55 UTC | refactor definitional clausal form | 28 February 2021, 12:53:17 UTC |
| ae87376 | Jannik Vierling | 27 February 2021, 19:20:41 UTC | improve formatting | 27 February 2021, 19:20:52 UTC |
| acdc446 | Jannik Vierling | 27 February 2021, 19:07:22 UTC | make leancop parser a bit more flexible | 27 February 2021, 19:07:22 UTC |
| 170f56d | Jannik Vierling | 27 February 2021, 12:37:21 UTC | fix export for variables starting with underscore The expression exporter now puts a space between the quantifier and the variable if the variable starts with an underscore. | 27 February 2021, 12:37:21 UTC |
| d49a228 | Jannik Vierling | 27 February 2021, 11:15:27 UTC | use quantifier block instead of fold | 27 February 2021, 11:16:03 UTC |
| bea083c | Jannik Vierling | 26 February 2021, 16:08:09 UTC | Merge pull request #761 from gebner/ceresskipnothing ceres: use descriptive skipNothing predicate | 26 February 2021, 16:08:09 UTC |
| fd3e50c | Jannik Vierling | 26 February 2021, 16:05:25 UTC | Merge pull request #760 from gebner/taggingreduction Add tagged many-sorted reduction. | 26 February 2021, 16:05:25 UTC |
| a58a609 | Jannik Vierling | 26 February 2021, 16:00:42 UTC | Merge pull request #759 from gebner/leancop21 leancop: support 2.1 compact output | 26 February 2021, 16:00:42 UTC |
| 36a7b54 | Jannik Vierling | 24 February 2021, 13:48:15 UTC | declare constant 'minus' | 24 February 2021, 13:48:15 UTC |
| 8b1cf13 | Gabriel Ebner | 07 October 2020, 11:54:48 UTC | ceres: use descriptive skipNothing predicate | 24 February 2021, 13:26:30 UTC |
| 0af30b3 | Gabriel Ebner | 04 November 2020, 08:10:41 UTC | Add tagged many-sorted reduction. | 24 February 2021, 13:24:17 UTC |
| b060687 | Gabriel Ebner | 24 February 2021, 09:57:01 UTC | leancop: support 2.1 compact output | 24 February 2021, 12:41:22 UTC |
| 7632a81 | Jannik Vierling | 24 February 2021, 12:02:56 UTC | Merge pull request #758 from gebner/ndrepl Replacement for ND | 24 February 2021, 12:02:56 UTC |
| 1ebb835 | Jannik Vierling | 24 February 2021, 12:02:38 UTC | Merge pull request #757 from gebner/scaladoctypo Remove extraneous asterisk. | 24 February 2021, 12:02:38 UTC |
| fc66995 | Jannik Vierling | 24 February 2021, 12:02:11 UTC | Merge pull request #756 from gebner/peitl2 Alternative version of pushEqualityInferencesToLeaves | 24 February 2021, 12:02:11 UTC |
| 61a44de | Jannik Vierling | 24 February 2021, 12:01:32 UTC | Merge pull request #755 from gebner/helperfuns Add helper functions, convenience constructors, etc. | 24 February 2021, 12:01:32 UTC |
| 65b5b66 | Jannik Vierling | 23 February 2021, 12:30:02 UTC | Merge pull request #754 from gebner/lrcep Differently-associated version of LinearCutExampleProof. | 23 February 2021, 12:30:02 UTC |
| 5e95c93 | Gabriel Ebner | 30 July 2020, 09:36:52 UTC | Replacement for ND | 23 February 2021, 12:21:37 UTC |
| 3459982 | Gabriel Ebner | 23 February 2021, 12:07:37 UTC | syntacticMGU: more functions | 23 February 2021, 12:07:37 UTC |
| a4f366d | Gabriel Ebner | 25 November 2020, 18:24:25 UTC | Better extractor types. | 23 February 2021, 12:02:46 UTC |
| 1220efe | Gabriel Ebner | 15 August 2020, 13:30:53 UTC | Remove extraneous asterisk. | 23 February 2021, 12:00:57 UTC |
| 5e58854 | Gabriel Ebner | 23 February 2021, 11:04:56 UTC | Alternative version of pushEqualityInferencesToLeaves | 23 February 2021, 11:04:56 UTC |
| 85499f7 | Gabriel Ebner | 07 October 2020, 11:55:12 UTC | Add helper functions, convenience constructors, etc. | 23 February 2021, 10:53:14 UTC |
| 79143cb | Gabriel Ebner | 07 October 2020, 13:26:25 UTC | Differently-associated version of LinearCutExampleProof. | 23 February 2021, 10:39:31 UTC |
| ada447b | Jannik Vierling | 10 February 2021, 20:29:35 UTC | update to sbt 1.4.7 | 10 February 2021, 20:29:35 UTC |
| 94d17ca | Jannik Vierling | 28 January 2021, 18:35:08 UTC | add test for PredicateReductionET | 28 January 2021, 18:35:08 UTC |
| 5c3f3f0 | Jannik Vierling | 27 January 2021, 20:37:44 UTC | make predicate translation generate Skolem-free axioms | 28 January 2021, 18:35:01 UTC |
| 6a89910 | Jannik Vierling | 27 January 2021, 20:01:38 UTC | construct predicate translation with respect to context | 27 January 2021, 20:01:38 UTC |
| 1cf118f | Jannik Vierling | 26 January 2021, 20:37:59 UTC | cleanup PredicateTranslation | 27 January 2021, 19:59:21 UTC |
| cf2487f | Jannik Vierling | 26 January 2021, 19:39:52 UTC | add tests for PredicateTranslation | 26 January 2021, 20:35:52 UTC |
| dc31d4f | Jannik Vierling | 25 January 2021, 19:32:43 UTC | split PredicateReductionHelper | 25 January 2021, 20:18:28 UTC |
| a346a2e | Jannik Vierling | 22 January 2021, 08:33:25 UTC | update to scala-swing 3.0.0 | 22 January 2021, 17:59:58 UTC |
| cf90a1e | Jannik Vierling | 21 January 2021, 19:26:51 UTC | update to sat4j 2.3.6 | 22 January 2021, 17:59:47 UTC |
