Merge pull request #2847 from GaloisInc/rgs/yosys-cell-parameters-ints

`yosys_import`: Support JSON produced with `-compat-int`

Author: RyanGlScott

CHANGES.md

@@ -280,6 +280,9 @@ This release supports [version
 * Fix a bug that would cause SAW to crash when verifying a `mir_return`
   statement returning a `Vec` that was allocated in a postcondition.
 
+* Fix a bug that would cause `yosys_import` to fail to parse JSON files
+  produced using Yosys's `-compat-int` flag.
+
 # Version 1.4 -- 2025-11-18
 
 This release supports [version

intTests/test2846/Makefile

@@ -0,0 +1,27 @@
+GHDL?=ghdl
+YOSYS?=yosys
+
+all: test.json
+
+test.json: test.vhd
+	$(GHDL) -a $<
+	$(YOSYS) -p 'ghdl add4; write_json -compat-int test.json'
+	$(MAKE) tidy
+
+.PHONY: tidy
+tidy:
+	rm -f *.o work-obj93.cf
+
+.PHONY: destroy
+destroy: tidy
+	rm -f *.json
+
+# "clean" does nothing here; just make sure it exists.
+# "clean" is for removing test run results, and we don't
+# incur any just by having test blobs.
+#
+# Unfortunately, it looks like we need a dummy rule with an invocation
+# of true to keep gmake from getting upset.
+.PHONY: clean
+clean:
+	@true