| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2024-08-12 | Created a dedicated file for the single line instruction | Chimrod | |
| 2024-02-08 | Added a new check to ensure that every call to another location points to an ↵ | Chimrod | |
| existing one | |||
| 2024-02-08 | Added a general context for each test | Chimrod | |
| 2024-01-20 | Reject a syntax which was incorrectly accepted | Chimrod | |
| 2024-01-19 | Wait to get a valid syntax before considering a new location | Chimrod | |
| 2023-11-03 | Extracting the report from the Location checker is now in it’s own function | Chimrod | |
| 2023-10-25 | Now I have the API I want. Everything is abstract in the type S.Analyzer | Chimrod | |
| 2023-10-25 | Refactoring the API | Chimrod | |
| 2023-10-18 | Used the dead-end checker in main analysis | Chimrod | |
| 2023-10-18 | Used the type S.repr in Syntax/Location.t | Chimrod | |
| 2023-10-18 | Made the interface more parametrized | Chimrod | |
| 2023-10-18 | Made explicit the use of the report in the parser | Chimrod | |
| 2023-10-06 | Moved qparser and syntax in the library folder | Chimrod | |
 |
index : qsp_parser.git | |
| Parser and analyzer for the QSP Language | Sébastien Dailly |
| aboutsummaryrefslogtreecommitdiff |