Skip to content

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
Merged

Constant checking and param support #20

Merge branch 'lusMainConst' of https://github.com/Jabe03/kind2-java-a…
5c86ff1
Select commit
Loading
Failed to load commit list.

Annotations

1 warning
build
succeeded Apr 9, 2026 in 51s