Age | Commit message (Expand) | Author |
2024-06-15 | Cleanup the code | Chimrod |
2024-06-15 | Better type handling | Chimrod |
2024-06-11 | New tests and more typecheck | Chimrod |
2024-06-11 | Regression in the latest modifications | Chimrod |
2024-06-06 | Forgot the case where + is used as a concatenation operator | Chimrod |
2024-06-05 | Typeof: Do not raise warning when assigning an integer in a string variable | Chimrod |
2024-06-04 | Enforced the type_of checker | Chimrod |
2024-03-28 | Raise the message level from Warning to Error for duplicated predicates check | Chimrod |
2024-03-27 | New test for duplicates evalutations in the code | Chimrod |
2024-03-15 | Added eq and hash functions in the Ast.Expression | Chimrod |
2024-02-08 | Ignore the global checkers if there is a syntax error; ignore error during re... | Chimrod |
2024-02-08 | Added a new check to ensure that every call to another location points to an ... | Chimrod |
2024-02-08 | Added a general context for each test | Chimrod |
2024-02-08 | Updated the interface for default expression analyzer | Chimrod |
2024-01-18 | Change STATTXT into an identifier instead of a function | Chimrod |
2024-01-15 | Do not raise type error on dyneval function | Chimrod |
2024-01-14 | Report as a Warn error when an string is assigned in an Int variable | Chimrod |
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 |