| Tue, 18 Sep 2018 23:18:20 +0200 | wenzelm | more generous timeout: avoid sporadic failure in highly parallel headless PIDE session; | file | diff | annotate |
| Tue, 01 Aug 2017 07:26:23 +0200 | boehmes | more explicit Argo proof traces; more correct proof replay for term applications | file | diff | annotate |
| Fri, 20 Jan 2017 21:05:11 +0100 | boehmes | less complex rewriting of Argo expressions: select candidate rewrite rules by analyzing only on the kind of the head expression, then select the applicable rewrite rule using ML pattern matching; keep all normalization code in a single place: modules of decision procedures focus on their core aspects; more normalization for non-linear arithmetic | file | diff | annotate |
| Thu, 29 Sep 2016 20:54:44 +0200 | boehmes | new proof method "argo" for a combination of quantifier-free propositional logic with equality and linear real arithmetic | file | diff | annotate |