Array counter examples#21

Merged

daniel-larraz merged 5 commits intokind2-mc:mainfrom

Jabe03:array-counter-examples

Apr 10, 2026

Commits on Feb 20, 2026

Add noModelElementSet value to enum
Jabe03
committed

Commits on Apr 1, 2026

Add support for the lus_main_const option
Jabe03
committed

Commits on Apr 6, 2026

Support parsing type of arbitrary arrays
Jabe03
committed

Commits on Apr 10, 2026