Mon, 23 Nov 2020 13:52:14 +0100 clarified signature;
wenzelm [Mon, 23 Nov 2020 13:52:14 +0100] rev 72927
clarified signature;
Mon, 23 Nov 2020 13:37:10 +0100 proper output of document sources (cf. d892f6d66402);
wenzelm [Mon, 23 Nov 2020 13:37:10 +0100] rev 72926
proper output of document sources (cf. d892f6d66402);
Tue, 24 Nov 2020 19:49:59 +0100 proper parsing of TSTP HOL lines
desharna [Tue, 24 Nov 2020 19:49:59 +0100] rev 72925
proper parsing of TSTP HOL lines
Mon, 23 Nov 2020 19:57:55 +0100 proper defn of a heap
nipkow [Mon, 23 Nov 2020 19:57:55 +0100] rev 72924
proper defn of a heap
Mon, 23 Nov 2020 12:00:28 +0100 don't generate not-fully-defined bit vector constants in SMT problems draft
Mathias Fleury <Mathias.Fleury@mpi-inf.mpg.de> [Mon, 23 Nov 2020 12:00:28 +0100] rev 72923
don't generate not-fully-defined bit vector constants in SMT problems
Sun, 22 Nov 2020 18:26:54 +0000 merged
paulson [Sun, 22 Nov 2020 18:26:54 +0000] rev 72922
merged
Sun, 22 Nov 2020 13:31:33 +0100 proper output directory (amending cc1347c8c804);
wenzelm [Sun, 22 Nov 2020 13:31:33 +0100] rev 72921
proper output directory (amending cc1347c8c804);
Sun, 22 Nov 2020 13:11:40 +0100 updated to cvc4-1.8;
wenzelm [Sun, 22 Nov 2020 13:11:40 +0100] rev 72920
updated to cvc4-1.8;
Sat, 21 Nov 2020 21:02:38 +0100 clarified signature: prefer Database_Context;
wenzelm [Sat, 21 Nov 2020 21:02:38 +0100] rev 72919
clarified signature: prefer Database_Context;
Sat, 21 Nov 2020 20:35:48 +0100 clarified modules;
wenzelm [Sat, 21 Nov 2020 20:35:48 +0100] rev 72918
clarified modules;
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 tip