Skip to content

v0.8.2
Compare
Choose a tag to compare
@github-actions github-actions released this 25 Jan 16:55
· 4835 commits to main since this release
v0.8.2
bea0e2e

0.8.2

Bug fixes

  • handling big integers, see #450
  • better parsing of SPECIFICATION in TLC configs, see #468
  • expanding tuples in quantifiers, see #476
  • unfolding UNCHANGED for arbitrary expressions, see #471
  • unfolding UNCHANGED <<>>, see #475

Features

  • constant simplification over strings, see #197
  • propagation of primes inside expressions,
    e.g., (f[i])' becomes f'[i'] if both f and i are state variables
Assets 4
Loading