Skip to content

2.3.1
Compare
Choose a tag to compare
@fblanqui fblanqui released this 15 Mar 17:19
· 108 commits to master since this release
2.3.1
60243e4

CHANGES:

Fixed

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

Changed

  • Why3 dependency updated to 1.6.
Assets 3
Loading