chore: put files under picus subdirectory (#35)

Reduce files cluttering the project top-level
Veridise · Sep 21, 2023 · 8a71edc · 8a71edc
1 parent daa20d1
commit 8a71edc
Show file tree

Hide file tree

Showing 5 changed files with 4 additions and 4 deletions.
diff --git a/picus.rkt b/picus.rkt
@@ -8,8 +8,8 @@
          (prefix-in dpvl: "./picus/algorithms/dpvl.rkt")
          (prefix-in pre: "./picus/precondition.rkt")
          "picus/tmpdir.rkt"
-         "ansi.rkt"
-         "verbose.rkt")
+         "picus/ansi.rkt"
+         "picus/verbose.rkt")
 
 ; =====================================
 ; ======== commandline parsing ========

diff --git a/picus/algorithms/dpvl.rkt b/picus/algorithms/dpvl.rkt
@@ -11,7 +11,7 @@
          (prefix-in l3: "./lemmas/aboz-lemma.rkt")
          (prefix-in l4: "./lemmas/bim-lemma.rkt")
          ; (prefix-in ln0: "./lemmas/baby-lemma.rkt")
-         "../../verbose.rkt")
+         "../verbose.rkt")
 (provide apply-algorithm)
 
 ; ======== module global variables ======== ;

diff --git a/picus/algorithms/lemmas/linear-lemma.rkt b/picus/algorithms/lemmas/linear-lemma.rkt
@@ -4,7 +4,7 @@
 ; note that this lemma doesn't apply to the following:
 ;   c * x0 * x1 = (unique), and c * x0 != 0
 (require (prefix-in r1cs: "../../r1cs/r1cs-grammar.rkt")
-         "../../../verbose.rkt")
+         "../../verbose.rkt")
 (provide compute-linear-clauses
          compute-weight-map
          apply-lemma)

diff --git a/ansi.rkt → picus/ansi.rkt b/ansi.rkt → picus/ansi.rkt
diff --git a/verbose.rkt → picus/verbose.rkt b/verbose.rkt → picus/verbose.rkt