Editorial: Use the dfs stack instead of [[DFSAncestorIndex]] #3637
nicolo-ribaudo
changed the title Editorial: Do not use [[DFSAncestorIndex]] in InnerModuleLinking Editorial: Use the dfs stack instead of [[DFSAncestorIndex]] 164 days ago
nicolo-ribaudo
marked this pull request as ready for review 144 days ago
Editorial: Use stack index instead of traverse index for SCC detection
7d2bb6bf
Editorial: Do not constantly update [[DFSAncestorIndex]] as we find l…
fb4eeeb3
Editorial: return the SCC ancestor index from InnerModuleLinking
e26c57d1
Editorial: Do not update [[DFSAncestorIndex]] with the final low index
67fcf8d2
Editorial: Do not use [[DFSAncestorIndex]] in InnerModuleLinking
bb5774df
Same thing for InnerModuleEvaluation
4d0a544b
Remove [[DFSAncestorIndex]]
35eea9c9
Add assertion per Guy's review
d895e59d
devsnek
approved these changes
on 2025-11-15
Assignees
No one assigned
Login to write a write a comment.
Login via GitHub