Skip to content

v0.30.6
Compare
Choose a tag to compare
@apalache-bot apalache-bot released this 01 Apr 16:27
· 1124 commits to main since this release
v0.30.6
22e2b34

0.30.6 - 2023-04-01

Features

  • Add conversion of quint operators range, foldr, assert, select, and operators over maps (TLA+ functions). See #2439, #2489, #2492, #2493.
  • Support conversion of Quin't nondet bindings. See #2499.

Bug fixes

  • Fix quint list conversion. See #2495, #2509, #2510.
  • Fix conversion of quint let-binding. See #2501.
Assets 7
Loading