aboutsummaryrefslogtreecommitdiff
path: root/lib/syntax/check.ml
AgeCommit message (Expand)Author
2023-10-25Now I have the API I want. Everything is abstract in the type S.AnalyzerChimrod
2023-10-25Refactoring the APIChimrod
2023-10-18Used the dead-end checker in main analysisChimrod
2023-10-18Applied this new way to check the errors in the main codeChimrod
2023-10-18New checker which operate accumulate differents other checkersChimrod