v0.9.9.3

What's Changed

• Add IArray to stainless library by @samuelchassot in #1686
• Fix formal parameters computation in GhostAccessRewriter by @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

• @iswoqqe made their first contribution in #1700

Full Changelog: v0.9.9.2...v0.9.9.3