RLTL model checking support - #20

Draft

Immad (imnaseer) wants to merge 6 commits into

mainfrom

personal/imnaseer/rltl-port

Commits on Jul 29, 2026

Add lazy (on-the-fly) state-graph construction with a unified eager/lazy driver

Immad (imnaseer)
and
Copilot
committed
7b2ef8f

Commits on Aug 5, 2026

Rename Expander to LazyExpander and guard the eager/lazy invariant

Immad (imnaseer)
and
Copilot
committed
8986a1b
Strengthen eager/lazy equivalence tests

Immad (imnaseer)
and
Copilot
committed
24c4b51
Bump version to 0.1.7 and reword test doc comment

Immad (imnaseer)
and
Copilot
committed
0fd322f
Rebase RLTL model-checking port onto the unified lazy state-graph

Immad (imnaseer)
and
Copilot
committed
b1c8176

Commits on Aug 7, 2026

Add propositions over transitions (s, a, s') to LTL/RLTL checking

Immad (imnaseer)
and
Copilot
committed
158273e