Mon, 31 May 2021 09:47:19 +0000 Merge and finish mapentries mapentries
Lukas Stevens <mail@lukas-stevens.de> [Mon, 31 May 2021 09:47:19 +0000] rev 74550
Merge and finish mapentries
Tue, 27 Apr 2021 10:21:19 +0200 merged mapentries
Lukas Stevens <mail@lukas-stevens.de> [Tue, 27 Apr 2021 10:21:19 +0200] rev 74549
merged
Wed, 31 Mar 2021 16:01:31 +0200 Remove compat mode and fix proves with depth limit order-prover
Lukas Stevens <mail@lukas-stevens.de> [Wed, 31 Mar 2021 16:01:31 +0200] rev 74548
Remove compat mode and fix proves with depth limit
Wed, 31 Mar 2021 15:26:13 +0200 merge order-prover
Lukas Stevens <mail@lukas-stevens.de> [Wed, 31 Mar 2021 15:26:13 +0200] rev 74547
merge
Wed, 31 Mar 2021 12:10:06 +0200 merged; order-prover-simon
Lukas Stevens <mail@lukas-stevens.de> [Wed, 31 Mar 2021 12:10:06 +0200] rev 74546
merged;
Tue, 30 Mar 2021 16:09:32 +0200 Add compat mode and improve conv replay order-prover
Lukas Stevens <mail@lukas-stevens.de> [Tue, 30 Mar 2021 16:09:32 +0200] rev 74545
Add compat mode and improve conv replay
Thu, 18 Mar 2021 10:51:10 +0100 Merged order-prover
Lukas Stevens <mail@lukas-stevens.de> [Thu, 18 Mar 2021 10:51:10 +0100] rev 74544
Merged
Thu, 18 Mar 2021 10:51:02 +0100 Fix proofs in RBT_Impl order-prover
Lukas Stevens <mail@lukas-stevens.de> [Thu, 18 Mar 2021 10:51:02 +0100] rev 74543
Fix proofs in RBT_Impl
Thu, 18 Mar 2021 09:00:08 +0000 Add simons solver order-prover-simon
Lukas Stevens <mail@lukas-stevens.de> [Thu, 18 Mar 2021 09:00:08 +0000] rev 74542
Add simons solver
Thu, 18 Mar 2021 08:54:31 +0000 Try patching order-prover-simon
Lukas Stevens <mail@lukas-stevens.de> [Thu, 18 Mar 2021 08:54:31 +0000] rev 74541
Try patching
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 tip