1.2.0

   1.2.0

1.1.1

Update CHANGES.md

1.1.0

1.1.0 (2024-05-24)

• handle int atoms, Int signature and all Alloy arithmetic operations
• fix cardinality translation bug
• stratify LTL formulas for SMV

1.0.0

CHANGES:

• build (using Github Actions) on Windows
• fix nuXmv/NuSMV output parsing on Windows, which prevented correct behavior

0.9.0

CHANGES:

• output much shorter files (unless pretty-printing is on)

0.8.0

CHANGES:

• huge translation boost and lower memory footprint
• beta: use of Github Actions should enable to produce Windows versions
• fix one compiler version (currently 4.11.0)

0.7.1

CHANGES:

• fix precedences (after update to Electrum)

0.6.2

CHANGES:

• inhibit warning 63 in release mode, see ocaml/dune#2450

0.6

CHANGES:

• add option --symmetry-offset/--so to offset the single-state symmetry breaking predicate.

0.5

CHANGES:

• add option --temporal-symmetry/--ts to generate a full temporal symmetry formula
• adapt to changes in the API of the Containers package