Skip to content

v2.3.1

Compare
Choose a tag to compare
@MarkusRabe MarkusRabe released this 30 May 19:19
· 419 commits to master since this release

Fixed a bug in functional synthesis.