Constant checking and param support#20

Merged

daniel-larraz merged 5 commits intokind2-mc:mainfrom

Jabe03:lusMainConst

Apr 9, 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 8, 2026

Merge branch 'kind2-mc:main' into lusMainConst
Jabe03
authored

Commits on Apr 9, 2026