Match Numbering Scheme to Magics

Brandon-Rozek / vspursuer

Verify Relevance Properties for Matrix Models with Implicative Connectives

3 stars 0 forks source link

Match Numbering Scheme to Magics #8

Closed Brandon-Rozek closed 5 months ago

Brandon-Rozek commented 5 months ago

In parse_magic.py currently it numbers the matrices incrementally by one. This makes it hard to debug parse errors when comparing against the original matrices in magic.

Using the same numbering scheme as magic would make this easier

Brandon-Rozek commented 5 months ago

Implemented with Commit a6ca7ff