Skip to content

v0.22.3
Compare
Choose a tag to compare
@github-actions github-actions released this 28 Oct 15:39
· 11 commits to main since this release
v0.22.3
This tag was signed with the committer’s verified signature.
bugarela Gabriela Moreira
SSH Key Fingerprint: gy1VTfu8vDdAt854SMVI/RjfxnrqScgw523sEOdJej0 Learn about vigilant mode.
d8a1856
This commit was signed with the committer’s verified signature.
bugarela Gabriela Moreira
SSH Key Fingerprint: gy1VTfu8vDdAt854SMVI/RjfxnrqScgw523sEOdJej0 Learn about vigilant mode.

v0.22.3 -- 2024-10-28

Added

  • Added a new operator called getOnlyElement() to extract elements out of singleton sets (#1525)

Changed

  • Updated grammar rule to allow an optional trailing comma in parameter lists (#1510):
    • Operator calls
    • Constant initialization
    • Operator definitions

Deprecated

Removed

Fixed

  • The seed was not being properly printed when the simulator found some runtime errors (#1524).
  • Fixed a problem where using --mbt resulted in missing data on nondet_picks
    due to internal caching (#1531)
  • Hashbang lines are now properly highlighted as comments in vscode and in highlight.js.

Security

Assets 2
Loading