aboutsummaryrefslogtreecommitdiff
path: root/lib/syntax/dead_end.mli
AgeCommit message (Expand)Author
2023-10-25Updated the documentationChimrod
2023-10-18Used the dead-end checker in main analysisChimrod