Merge pull request #2131 from GaloisInc/issue-1944

Close #1944, Close #1946
GaloisInc · Oct 16, 2024 · 8bf6bcb · 8bf6bcb
2 parents 55359cc + 02278f5
commit 8bf6bcb
Show file tree

Hide file tree

Showing 18 changed files with 22 additions and 2,257 deletions.
diff --git a/CHANGES.md b/CHANGES.md
@@ -5,6 +5,8 @@
 * Counterexamples including SMT arrays are now printed with the array
   contents instead of placeholder text.
 
+* Due to the regressions seen in issues #1946 and #1944, the experimental compositional hardware verification work has been reverted.
+
 # Version 1.2 -- 2024-08-30
 
 ## New Features

diff --git a/intTests/test_comp_bisim/build.sh b/intTests/test_comp_bisim/build.sh
diff --git a/intTests/test_comp_bisim/clean.sh b/intTests/test_comp_bisim/clean.sh