Incremental#23

Open

Jabe03 wants to merge 9 commits into

kind2-mc:mainfrom

Jabe03:incremental

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

Commits on Apr 30, 2026

Incremental with executable and API
Jabe03
committed

Commits on May 8, 2026

Add listener for incremental LSP
Jabe03
committed

Commits on Jul 14, 2026