Tarjan reporting false loops - fix 2080845#212

Open

mtygesen wants to merge 10 commits into

TAPAAL:mainfrom

mtygesen:tarjan-false-loop-2080845

Commits on Oct 8, 2025

fixed tarjan reporting false loops
mtygesen
committed

Commits on Oct 9, 2025

only set loop state if violation
mtygesen
committed

Commits on Oct 14, 2025

fixed loop position
mtygesen
committed

Commits on Oct 20, 2025

fixed buffer example
mtygesen
committed

Commits on Oct 22, 2025

fixed parent referencing
mtygesen
committed

Commits on Nov 12, 2025

Commits on Dec 9, 2025

revert last change
mtygesen
committed

Commits on Dec 10, 2025

revert stateset change
mtygesen
committed

Commits on Jan 25, 2026

Merge branch 'TAPAAL:main' into tarjan-false-loop-2080845
mtygesen
authored