Skip to content

Constant checking and param support#20

Merged
daniel-larraz merged 5 commits into
kind2-mc:mainfrom
Jabe03:lusMainConst
Apr 9, 2026
Merged

Constant checking and param support#20
daniel-larraz merged 5 commits into
kind2-mc:mainfrom
Jabe03:lusMainConst

Merge branch 'lusMainConst' of https://github.com/Jabe03/kind2-java-a…

5c86ff1
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
build
succeeded Apr 9, 2026 in 51s