What's Changed
- Add IArray to stainless library by @samuelchassot in #1686
- Fix formal parameters computation in
GhostAccessRewriterby @mbovel in #1688 - Fix bugs in classtag elimination found when adapting ZipLex by @samuelchassot in #1691
- Rename IArrays into IArray, and remove an additional @ignore that was breaking def list extraction by @samuelchassot in #1695
- Fix a bug in extraction for method calls with multiple list of arguments by @samuelchassot in #1694
- Add a ghost val in IArray instead of instantiating directly the list by @samuelchassot in #1699
- Add floating point support, attempt 2 by @iswoqqe in #1700
- Update ListMap to match the more advanced version on Bolts by @samuelchassot in #1702
- Add caching lemmas to ListMap by @samuelchassot in #1704
New Contributors
Full Changelog: v0.9.9.2...v0.9.9.3