Age | Commit message (Expand) | Author |
2023-12-07 | QSPVER was incorrectly considered as a function and not a keyword | Chimrod |
2023-11-15 | Added a functor for creating a lazy version of an Expression module | Chimrod |
2023-11-13 | Simplified the representation of expressions in strings | Chimrod |
2023-11-09 | Made the compose evaluation lazy | Chimrod |
2023-11-09 | Added a way to compose a test with another one | Chimrod |
2023-11-06 | In the string expression simplification, only report the strings converted in... | Chimrod |
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 | Added the /= operator | Chimrod |
2023-11-03 | Extracting the report from the Location checker is now in it’s own function | Chimrod |
2023-11-02 | Added a new checkers for unecessary use of strig containing an escaped expres... | Chimrod |
2023-11-02 | Updated the interface | Chimrod |
2023-11-02 | Updated the tests | 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-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 |