blanchet [Thu, 08 Oct 2020 18:23:27 +0200] rev 72404
tuned mirabelle documentation
blanchet [Thu, 08 Oct 2020 17:55:17 +0200] rev 72403
removed support for obsolete prover SNARK and underperforming prover E-Par
blanchet [Thu, 08 Oct 2020 17:47:35 +0200] rev 72402
removed spurious documentation item
blanchet [Thu, 08 Oct 2020 17:46:03 +0200] rev 72401
removed obsolete unmaintained experimental prover Pirate
desharna [Thu, 08 Oct 2020 17:02:56 +0200] rev 72400
tune filename
desharna [Thu, 08 Oct 2020 16:36:00 +0200] rev 72399
drop obsolete ad hoc support for Satallax isar proof reconstruction
desharna [Thu, 08 Oct 2020 16:07:10 +0200] rev 72398
recognize THF proofs properly
haftmann [Thu, 08 Oct 2020 07:30:02 +0000] rev 72397
factored out bit comprehension
desharna [Thu, 08 Oct 2020 10:33:38 +0200] rev 72396
Fix formatting of default value in help message of "build_e" component.
wenzelm [Wed, 07 Oct 2020 21:33:07 +0200] rev 72395
tuned signature;
wenzelm [Wed, 07 Oct 2020 21:15:15 +0200] rev 72394
updated user + host;
wenzelm [Wed, 07 Oct 2020 21:02:04 +0200] rev 72393
updated URL;
wenzelm [Wed, 07 Oct 2020 20:53:27 +0200] rev 72392
clarified multicore options;
wenzelm [Wed, 07 Oct 2020 20:51:04 +0200] rev 72391
discontinued old machines;
wenzelm [Wed, 07 Oct 2020 20:43:59 +0200] rev 72390
updated tests for macOS 10.14 Mojave;
nipkow [Wed, 07 Oct 2020 17:34:24 +0200] rev 72389
Aded Queues
haftmann [Wed, 07 Oct 2020 10:39:14 +0200] rev 72388
consolidated for the sake of documentation
wenzelm [Wed, 07 Oct 2020 11:31:51 +0200] rev 72387
tuned;
paulson [Tue, 06 Oct 2020 20:34:38 +0100] rev 72386
merged
paulson <lp15@cam.ac.uk> [Tue, 06 Oct 2020 20:34:29 +0100] rev 72385
Simplified some proofs
nipkow [Tue, 06 Oct 2020 16:55:56 +0200] rev 72384
added lemmas; internalized defn in class
paulson [Mon, 05 Oct 2020 22:53:40 +0100] rev 72383
merged
paulson <lp15@cam.ac.uk> [Mon, 05 Oct 2020 20:58:23 +0100] rev 72382
still not quite fixed...
paulson <lp15@cam.ac.uk> [Mon, 05 Oct 2020 18:48:41 +0100] rev 72381
A few more reversions
paulson <lp15@cam.ac.uk> [Mon, 05 Oct 2020 18:46:15 +0100] rev 72380
reversion to the explicit existential quantifier
paulson <lp15@cam.ac.uk> [Mon, 05 Oct 2020 12:47:19 +0100] rev 72379
more tidying of messy proofs
wenzelm [Mon, 05 Oct 2020 22:49:46 +0200] rev 72378
clarified signature;
wenzelm [Mon, 05 Oct 2020 22:23:17 +0200] rev 72377
clarified signature;
wenzelm [Mon, 05 Oct 2020 22:07:25 +0200] rev 72376
clarified signature;
wenzelm [Mon, 05 Oct 2020 21:15:58 +0200] rev 72375
clarified signature;