Remove old OVN implementation

AU-COBRA · Jun 7, 2024 · 3af7942 · 3af7942
1 parent 28f5fd6
commit 3af7942
Show file tree

Hide file tree

Showing 10 changed files with 3 additions and 4,610 deletions.
diff --git a/_CoqProject b/_CoqProject
@@ -1,23 +1,11 @@
 -Q theories OVN
-# theories/Main.v
-
-# -R theories/hacspec Examples
-# -arg -w
-# -arg all
 
 theories/hacspec/Hacspec_helpers.v
 theories/hacspec/Hacspec_ovn_Ovn_traits.v
 #theories/hacspec/Hacspec_ovn_Ovn_z_89_.v
 theories/hacspec/Hacspec_ovn.v
 theories/hacspec/Hacspec_ovn_to_sigma.v
 
-theories/boardroomVoting/Egcd.v
-theories/boardroomVoting/Euler.v
-theories/boardroomVoting/BoardroomMath.v
-theories/boardroomVoting/BoardroomVoting.v
-theories/boardroomVoting/BoardroomVotingZ.v
-theories/boardroomVoting/BoardroomVotingTest.v
-theories/boardroomVoting/BoardroomVotingExtractionCameLIGO.v
-theories/boardroomVoting/BoardroomVotingExtractionLiquidity.v
-
-theories/ovn/OVN.v
+# -R theories/hacspec Examples
+# -arg -w
+# -arg all
diff --git a/theories/Main.v b/theories/Main.v