0.30.1 (2024-03-20)
Features
- Add CMOV instruction to brillig and brillig gen (#5308) (208abbb)
- avm: Indirect memory support for arithmetic/bitwise opcodes (#5328) (d5ffa17), closes #5273
- avm: Indirect memory support for MOV (#5257) (10ef970), closes #5205
- Merge SMT Terms in one class (#5254) (f5c9b0f)
- Sorted execution trace (#5252) (a216759)
Bug Fixes
- Fix recursion tests and reinstate in CI (#5300) (96c6f21)
- Update smt_verification README.md (#5332) (46b15e3)