| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2023-10-21 | Updated the type checker in a more precise way | Chimrod | |
| 2023-10-18 | Used the dead-end checker in main analysis | Chimrod | |
| 2023-10-18 | Removed unused comment | Chimrod | |
| 2023-10-18 | Applied this new way to check the errors in the main code | 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 | Added an interface for the type_of syntax module | 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 | Made the report result explicit in parsing | Chimrod | |
| 2023-10-15 | Switched the keyword from string to a sum type | Chimrod | |
| 2023-10-15 | New analyzer for the dead end | Chimrod | |
| 2023-10-15 | Added default syntax implementation | 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 |