Repository navigation

Repository cleanup: stray files, dead code and duplicated logic - #63

Merged

alan23273850 merged 9 commits into

fmlab-iis:mainfrom

ondrik:repo-cleanup

Oct 21, 2026

Merged

Repository cleanup: stray files, dead code and duplicated logic#63
alan23273850 merged 9 commits into
fmlab-iis:mainfrom
ondrik:repo-cleanup

Commits on Oct 20, 2026
- Remove stray and obsolete files
  
  ondrik
  and
  claude
  committed
  e3341e3
- Remove dead code (#57)
  
  ondrik
  and
  claude
  committed
  2504741
- Drop the unused second symbol type of EvaluationVisitor and TimbukParser (#57)
  
  ondrik
  and
  claude
  committed
  f254133
- Use one duration formatter (#57)
  
  ondrik
  and
  claude
  committed
  081eb4d
- Simplify small pieces of duplicated or wasted work (#57)
  
  ondrik
  and
  claude
  committed
  0c6f0ff
- Share the Extended Dirac header scan and the constraints-to-SMT loop (#57)
  
  ondrik
  and
  claude
  committed
  0164d6c
- Share the inclusion search between Concrete and Symbolic automata (#57)
  
  ondrik
  and
  claude
  committed
  c2da37f
- Remove commented-out childStateMap code from CX, CZ and CCX (#57)
  
  ondrik
  and
  claude
  committed
  9b70764
Commits on Oct 21, 2026
- Merge branch 'main' into repo-cleanup
  alan23273850
  authored
  cc5cfde