| Age | Commit message (Expand) | Author |
|---|---|---|
| 2023-11-04 | Allow test to be enabled or disabled by command line | Chimrod |
| 2023-11-04 | List all the available tests on command line | Chimrod |
| 2023-11-03 | Extracting the report from the Location checker is now in it’s own function | Chimrod |
| 2023-11-02 | Updated the interface | Chimrod |
| 2023-10-25 | Updated the documentation | 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 | New checker which operate accumulate differents other checkers | 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-15 | Updated the common interface in order to require the report | Chimrod |
| 2023-10-15 | Switched the keyword from string to a sum type | 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 |