epfl-lara/stainless v0.10.3

on GitHub

What's Changed

• Upgrade inox by @samuelchassot in #1783
• Update to 3.10.1-RC1-bin-20260903-e1f9361-NIGHTLY by @mbovel in #1789
• Upgrade inox by @samuelchassot in #1792
• Extract erased as ghost by @samuelchassot in #1790
• Substitute the inliner's opaque proxies in inlined code by @mbovel in #1793
• Clarification and fixes for tutorial by @sankalpgambhir in #1794

Full Changelog: v0.10.2...v0.10.3