aboutsummaryrefslogtreecommitdiff
path: root/lib/qparser/parser.mly
AgeCommit message (Collapse)Author
2025-01-04New custom error messageChimrod
2025-01-03Added dynamic check mecanismChimrod
2024-08-12Created a dedicated file for the single line instructionChimrod
2024-02-08Added a new check to ensure that every call to another location points to an ↵Chimrod
existing one
2024-02-08Added a general context for each testChimrod
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
generated by cgit v1.2.3 (git 2.39.1) at 2025-04-28 08:32:46 +0000