Mercurial
Mercurial
>
repos
>
testboard
/ changelog
summary
|
shortlog
| changelog |
graph
|
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
(0)
-30000
-10000
-3000
-1000
-300
-100
-10
+10
+100
+300
+1000
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
Mon, 31 May 2021 09:47:19 +0000
Merge and finish mapentries
mapentries
changeset
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
changeset
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
changeset
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
changeset
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
changeset
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
changeset
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
changeset
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
changeset
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
changeset
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
changeset
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