aboutsummaryrefslogtreecommitdiff
path: root/lib/syntax/tree.ml
AgeCommit message (Expand)Author
2024-03-15Added eq and hash functions in the Ast.ExpressionChimrod
2024-02-08Added a new check to ensure that every call to another location points to an ...Chimrod
2024-02-08Added a general context for each testChimrod
2023-11-13Simplified the representation of expressions in stringsChimrod
2023-11-04Allow test to be enabled or disabled by command lineChimrod
2023-11-04List all the available tests on command lineChimrod
2023-11-03Extracting the report from the Location checker is now in it’s own functionChimrod
2023-11-02Updated the interfaceChimrod
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-18New checker which operate accumulate differents other checkersChimrod
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-15Updated the common interface in order to require the reportChimrod
2023-10-15Switched the keyword from string to a sum typeChimrod
2023-10-06Moved qparser and syntax in the library folderChimrod
generated by cgit v1.2.3 (git 2.39.1) at 2025-01-18 19:31:56 +0000