v0.25.3

0.25.3 - 2022-05-20

Breaking changes

• Introduce dedicated exit codes for type-checking errors, parser errors, and evaluation errors (e.g., due to unsupported language constructs or operators), see #1749

Features

• Support sound records (over rows) in the model checker, see #1717

Bug fixes

• Fix potential non-determinism when picking from [S -> T], see #1753
• Fix the bug in uninterpreted types, see #1792