Skip to content

v1.2.2-alpha [DOI only]

Pre-release
Pre-release
Compare
Choose a tag to compare
@sjunges sjunges released this 22 Feb 14:26
· 4283 commits to master since this release
1.2.2-alpha
c4ebf75

This release is an update from 1.2.1 to support archiving of our TACAS submission.
We are aware of an issue under GCC 7 with LTO enabled.

Assets 2
Loading