Age | Commit message (Expand) | Author |
2024-01-04 | Added return code to tell if everything is ok | Chimrod |
2023-12-11 | Added a new error message in case of missing operand | Chimrod |
2023-12-08 | Better error recovery after an error in one source file | Chimrod |
2023-12-07 | QSPVER was incorrectly considered as a function and not a keyword | Chimrod |
2023-12-07 | Removed debug messages | Chimrod |
2023-11-29 | Added a test for the mod operator | Chimrod |
2023-11-24 | Added two error messages | 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-09 | Added a test | Chimrod |
2023-11-06 | In the string expression simplification, only report the strings converted in... | Chimrod |
2023-11-05 | Fixup in the --help message | 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 | Removed the interractive command line option | 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 | Managed the strings in strings | Chimrod |
2023-11-02 | Added tests for the nested literal mecanism | Chimrod |
2023-11-02 | Updated the interface | Chimrod |
2023-11-02 | Set up a context for parsing the literal strings | Chimrod |
2023-11-02 | Updated the tests | Chimrod |
2023-11-02 | Updated the way to process the strings | Chimrod |
2023-11-02 | Used the same state for the expression levels | Chimrod |
2023-10-30 | Added a state in the string evaluation | Chimrod |
2023-10-30 | Removed unused tokens | Chimrod |
2023-10-26 | Update the documentation in the parser | 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-21 | Updated the tests | Chimrod |
2023-10-21 | Update the readme | Chimrod |
2023-10-18 | Update documentation | Chimrod |
2023-10-18 | Used the dead-end checker in main analysis | Chimrod |
2023-10-18 | New message for error | Chimrod |
2023-10-18 | Removed unused comment | Chimrod |
2023-10-18 | Also used the new Check modulein the tests | 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 |