Age | Commit message (Collapse) | Author | |
---|---|---|---|
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-21 | Updated the tests | Chimrod | |
2023-10-18 | Used the dead-end checker in main analysis | Chimrod | |
2023-10-18 | New message for error | 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 | Switched the keyword from string to a sum type | Chimrod | |
2023-10-15 | New errors reported | Chimrod | |
2023-10-15 | Added a new error case | Chimrod | |
2023-10-07 | Added the error message in case of unclosed quote in a text | Chimrod | |
2023-10-06 | Moved qparser and syntax in the library folder | Chimrod | |