From 6dd865ff437d6339e08a3061ce20f111a30c1034 Mon Sep 17 00:00:00 2001 From: Michael Nolan Date: Wed, 5 Feb 2020 10:52:47 -0500 Subject: [PATCH] move gt_combiner out of experiments/ --- src/ieee754/part_cmp/eq_gt_ge.py | 2 +- src/ieee754/part_cmp/{experiments => }/formal/proof_gt.py | 2 +- src/ieee754/part_cmp/{experiments => }/gt_combiner.py | 0 3 files changed, 2 insertions(+), 2 deletions(-) rename src/ieee754/part_cmp/{experiments => }/formal/proof_gt.py (98%) rename src/ieee754/part_cmp/{experiments => }/gt_combiner.py (100%) diff --git a/src/ieee754/part_cmp/eq_gt_ge.py b/src/ieee754/part_cmp/eq_gt_ge.py index 7120ca1f..cb6d117d 100644 --- a/src/ieee754/part_cmp/eq_gt_ge.py +++ b/src/ieee754/part_cmp/eq_gt_ge.py @@ -18,7 +18,7 @@ from nmigen.back.pysim import Simulator, Delay, Settle from nmigen.cli import main from ieee754.part_mul_add.partpoints import PartitionPoints -from ieee754.part_cmp.experiments.gt_combiner import GTCombiner +from ieee754.part_cmp.gt_combiner import GTCombiner class PartitionedEqGtGe(Elaboratable): diff --git a/src/ieee754/part_cmp/experiments/formal/proof_gt.py b/src/ieee754/part_cmp/formal/proof_gt.py similarity index 98% rename from src/ieee754/part_cmp/experiments/formal/proof_gt.py rename to src/ieee754/part_cmp/formal/proof_gt.py index a1033132..cdf1bb04 100644 --- a/src/ieee754/part_cmp/experiments/formal/proof_gt.py +++ b/src/ieee754/part_cmp/formal/proof_gt.py @@ -6,7 +6,7 @@ from nmigen.asserts import Assert, AnyConst, Assume from nmigen.test.utils import FHDLTestCase from nmigen.cli import rtlil -from ieee754.part_cmp.experiments.gt_combiner import GTCombiner +from ieee754.part_cmp.gt_combiner import GTCombiner import unittest diff --git a/src/ieee754/part_cmp/experiments/gt_combiner.py b/src/ieee754/part_cmp/gt_combiner.py similarity index 100% rename from src/ieee754/part_cmp/experiments/gt_combiner.py rename to src/ieee754/part_cmp/gt_combiner.py -- 2.30.2