2.3.1

Frédéric Blanqui

@fblanqui

60243e46 · wip · Mar 15, 2023

Release 2.3.1

CHANGES:

- Opaque definitions are not kept in memory and in lpo files anymore
- A few bug fixes.

- Why3 dependency updated to 1.6.