v0.15.3

shonfeder released this 19 Apr 15:14

· 4625 commits to main since this release

0.15.3

Features

Checker: Support for CASE without OTHER, see #285

Bug fixes

Type checker: Showing an error on missing annotations CONSTANTs or VARIABLEs, see #705
Model checker: Fix an exception on Cardinality(a..b) > i, see #748

Changed

IR: simplified SimpleFormalParam and OperFormalParam into OperParam, see #656
IR: made consistent the names of IR operators (may break JSON compatibility), see #634

Assets 6