Repository navigation

Up-to-date version of PR #32 "Performance improvements and bugfix to Tarjan's algorithm" - #527

Open

simsurace wants to merge 6 commits into

Commits on Sep 3, 2026
- Performance improvements and bugfix to Tarjan's algorithm
  
  saolof
  authored and
  simsurace
  committed
  b0d9146
- Minor change to comments
  
  saolof
  authored and
  simsurace
  committed
  e520165
- Fix Aqua unbound_args failure in infer_nb_iterstate_type
  
  committed
  7b725d8
- Add SCC soundness tests: Tarjan vs Kosaraju
  simsurace
  committed
  9a59e48
- Apply blue-style formatting
  simsurace
  committed
  154f438
- Update changelog
  simsurace
  committed
  5ed31bf