Port trace canonicalization to the new set of definitions.

libtx · Dec 1, 2024 · 37b848d · 37b848d
1 parent d708854
commit 37b848d
Show file tree

Hide file tree

Showing 3 changed files with 341 additions and 266 deletions.
diff --git a/_CoqProject b/_CoqProject
@@ -1,13 +1,3 @@
 -R theories SLOT
-theories/Permutation.v
+theories/RestrictedPermutation.v
 theories/Foundations.v
-theories/Properties.v
-theories/Commutativity.v
-theories/Tactics.v
-theories/Generator.v
-theories/Handlers.v
-theories/Handlers/Deterministic.v
-theories/Handlers/MQ.v
-theories/Handlers/Mutex.v
-theories/Bruteforce.v
-theories/SLOT.v