SDN correctness (#1796)

* Three new flavors of SDN * Queues: tidy testing (#1808) * Move queues into their own folder * Delete old * SDN: single source of truth, tidying (#1809) * Nix the different flavors of SDN * SDN.py now takes a --static argument * Dedicated stanzas to capture ethe same file and run it differently'
calyxir · Dec 21, 2023 · 42f5161 · 42f5161
1 parent 156f64d
commit 42f5161
Show file tree

Hide file tree

Showing 17 changed files with 58 additions and 120,119 deletions.
diff --git a/calyx-py/test/correctness/pifo_tree_pre_tangerine.data b/calyx-py/test/correctness/pifo_tree_pre_tangerine.data
diff --git a/calyx-py/test/correctness/fifo.data → calyx-py/test/correctness/queues/fifo.data b/calyx-py/test/correctness/fifo.data → calyx-py/test/correctness/queues/fifo.data
diff --git a/calyx-py/test/correctness/fifo.expect → calyx-py/test/correctness/queues/fifo.expect b/calyx-py/test/correctness/fifo.expect → calyx-py/test/correctness/queues/fifo.expect
diff --git a/calyx-py/test/correctness/fifo.py → calyx-py/test/correctness/queues/fifo.py b/calyx-py/test/correctness/fifo.py → calyx-py/test/correctness/queues/fifo.py
diff --git a/calyx-py/test/correctness/pifo.data → calyx-py/test/correctness/queues/pifo.data b/calyx-py/test/correctness/pifo.data → calyx-py/test/correctness/queues/pifo.data
diff --git a/calyx-py/test/correctness/pifo.expect → calyx-py/test/correctness/queues/pifo.expect b/calyx-py/test/correctness/pifo.expect → calyx-py/test/correctness/queues/pifo.expect
diff --git a/calyx-py/test/correctness/pifo.py → calyx-py/test/correctness/queues/pifo.py b/calyx-py/test/correctness/pifo.py → calyx-py/test/correctness/queues/pifo.py
diff --git a/calyx-py/test/correctness/pifo_tree.data → ...py/test/correctness/queues/pifo_tree.data b/calyx-py/test/correctness/pifo_tree.data → ...py/test/correctness/queues/pifo_tree.data
diff --git a/calyx-py/test/correctness/pifo_tree.expect → .../test/correctness/queues/pifo_tree.expect b/calyx-py/test/correctness/pifo_tree.expect → .../test/correctness/queues/pifo_tree.expect
diff --git a/calyx-py/test/correctness/pifo_tree.py → ...x-py/test/correctness/queues/pifo_tree.py b/calyx-py/test/correctness/pifo_tree.py → ...x-py/test/correctness/queues/pifo_tree.py
diff --git a/calyx-py/test/correctness/sdn.data → calyx-py/test/correctness/queues/sdn.data b/calyx-py/test/correctness/sdn.data → calyx-py/test/correctness/queues/sdn.data
diff --git a/calyx-py/test/correctness/sdn.expect → calyx-py/test/correctness/queues/sdn.expect b/calyx-py/test/correctness/sdn.expect → calyx-py/test/correctness/queues/sdn.expect
diff --git a/calyx-py/test/correctness/sdn.py → calyx-py/test/correctness/queues/sdn.py b/calyx-py/test/correctness/sdn.py → calyx-py/test/correctness/queues/sdn.py
@@ -1,4 +1,5 @@
 # pylint: disable=import-error
+import sys
 import fifo
 import pifo
 import calyx.builder as cb
@@ -172,5 +173,7 @@ def build(static=False):
     return prog.program
 
 
+# We will have a command line argument to determine whether the program is static.
 if __name__ == "__main__":
-    build().emit()
+    static = sys.argv[1] == "--static" if len(sys.argv) > 1 else False
+    build(static=static).emit()