From 8a71edc19d360f086e8e280f2a72bee43936fc4d Mon Sep 17 00:00:00 2001
From: sorawee <sorawee.pwase@gmail.com>
Date: Fri, 22 Sep 2023 01:09:05 +0700
Subject: [PATCH] chore: put files under picus subdirectory (#35)

Reduce files cluttering the project top-level
---
 picus.rkt                                | 4 ++--
 picus/algorithms/dpvl.rkt                | 2 +-
 picus/algorithms/lemmas/linear-lemma.rkt | 2 +-
 ansi.rkt => picus/ansi.rkt               | 0
 verbose.rkt => picus/verbose.rkt         | 0
 5 files changed, 4 insertions(+), 4 deletions(-)
 rename ansi.rkt => picus/ansi.rkt (100%)
 rename verbose.rkt => picus/verbose.rkt (100%)

diff --git a/picus.rkt b/picus.rkt
index 8956b0b..f3c5f2b 100644
--- 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
index 93da59c..8a99983 100644
--- 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
index fc28a56..3dd9a4d 100644
--- 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 b/picus/ansi.rkt
similarity index 100%
rename from ansi.rkt
rename to picus/ansi.rkt
diff --git a/verbose.rkt b/picus/verbose.rkt
similarity index 100%
rename from verbose.rkt
rename to picus/verbose.rkt