fix 'murphi2c' bugs - #336

Closed

Smattr wants to merge 7 commits into

mainfrom

smattr/1cd931e2-df32-42ad-a379-6758ac174ccc

Commits on Aug 14, 2026

API BREAK: return an mpz from type bounds functions
Smattr
committed
fd2a59a
add a test case demonstrating a 'murphi2c' failure
Smattr
committed
34e590e
murphi2c: fix handling of value types containing spaces in array indexing
Smattr
committed
14df20c
murphi2c: ensure numeric literals are correctly typed
Smattr
committed
9c0c3f2
add another failing 'murphi2c' test case
Smattr
committed
d45c50f
murphi2c: fix printing of values when value type contains a space
Smattr
committed
95a2e91
disable clang formatting on some table-like code
Smattr
committed
42b3d63