aboutsummaryrefslogtreecommitdiff
path: root/lib/qparser/parser.mly
AgeCommit message (Expand)Author
2024-01-20Reject a syntax which was incorrectly acceptedChimrod
2024-01-19Wait to get a valid syntax before considering a new locationChimrod
2023-11-03Extracting the report from the Location checker is now in it’s own functionChimrod
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-18Used the type S.repr in Syntax/Location.tChimrod
2023-10-18Made the interface more parametrizedChimrod
2023-10-18Made explicit the use of the report in the parserChimrod
2023-10-06Moved qparser and syntax in the library folderChimrod