From 3f794980c7786c65ffa0e8221709a4717d5fe384 Mon Sep 17 00:00:00 2001
From: Michael Nolan <mtnolan2640@gmail.com>
Date: Wed, 5 Feb 2020 10:54:24 -0500
Subject: [PATCH] move unused partitioned comparison modules to experiments/

---
 src/ieee754/part_cmp/{ => experiments}/equal.py              | 0
 src/ieee754/part_cmp/{ => experiments}/equal_ortree.py       | 0
 src/ieee754/part_cmp/{ => experiments}/formal/proof_equal.py | 2 +-
 src/ieee754/part_cmp/{ => experiments}/ge.py                 | 0
 4 files changed, 1 insertion(+), 1 deletion(-)
 rename src/ieee754/part_cmp/{ => experiments}/equal.py (100%)
 rename src/ieee754/part_cmp/{ => experiments}/equal_ortree.py (100%)
 rename src/ieee754/part_cmp/{ => experiments}/formal/proof_equal.py (98%)
 rename src/ieee754/part_cmp/{ => experiments}/ge.py (100%)

diff --git a/src/ieee754/part_cmp/equal.py b/src/ieee754/part_cmp/experiments/equal.py
similarity index 100%
rename from src/ieee754/part_cmp/equal.py
rename to src/ieee754/part_cmp/experiments/equal.py
diff --git a/src/ieee754/part_cmp/equal_ortree.py b/src/ieee754/part_cmp/experiments/equal_ortree.py
similarity index 100%
rename from src/ieee754/part_cmp/equal_ortree.py
rename to src/ieee754/part_cmp/experiments/equal_ortree.py
diff --git a/src/ieee754/part_cmp/formal/proof_equal.py b/src/ieee754/part_cmp/experiments/formal/proof_equal.py
similarity index 98%
rename from src/ieee754/part_cmp/formal/proof_equal.py
rename to src/ieee754/part_cmp/experiments/formal/proof_equal.py
index 52c688b5..441a4c7b 100644
--- a/src/ieee754/part_cmp/formal/proof_equal.py
+++ b/src/ieee754/part_cmp/experiments/formal/proof_equal.py
@@ -7,7 +7,7 @@ from nmigen.test.utils import FHDLTestCase
 from nmigen.cli import rtlil
 
 from ieee754.part_mul_add.partpoints import PartitionPoints
-from ieee754.part_cmp.equal_ortree import PartitionedEq
+from ieee754.part_cmp.experiments.equal_ortree import PartitionedEq
 import unittest
 
 
diff --git a/src/ieee754/part_cmp/ge.py b/src/ieee754/part_cmp/experiments/ge.py
similarity index 100%
rename from src/ieee754/part_cmp/ge.py
rename to src/ieee754/part_cmp/experiments/ge.py
-- 
2.30.2