v0.28.0

apalache-bot released this 15 Aug 01:30

· 1519 commits to main since this release

3d945af

0.28.0 - 2022-08-15

Breaking changes

Make example trace output optional on check via the --output-traces flag, see #2047
Timestamp in datailed.log changed to a full ISO 8601 timestamp, see #2064
Rename --save-runs to --output-traces, see #2047

Features

Added funArrays SMT encoding, see #2011

Assets 7