aboutsummaryrefslogtreecommitdiff
path: root/lib/syntax/default.ml
AgeCommit message (Collapse)Author
2024-12-02Moved the checks in a dedicated libraryChimrod
2024-02-08Updated the interface for default expression analyzerChimrod
2023-11-02Updated the interfaceChimrod
2023-10-25Refactoring the APIChimrod
2023-10-18Used the dead-end checker in main analysisChimrod
2023-10-18Made explicit the use of the report in the parserChimrod
2023-10-15New analyzer for the dead endChimrod
2023-10-15Added default syntax implementationChimrod