Shoooooon
commented
8 months ago - Partial support for ArraysEX theory added
- JSON output for parametric sorts defined:
- Sorts are arrays of the form [
] or [ , +] - e.g., [Int], [[Bitvec, 32]], [Array, [Int], [Int]]
- It's not the most aesthetic, but it's easy to parse unambiguously.
- Sorts are arrays of the form [