Age | Commit message (Collapse) | Author | |
---|---|---|---|
2024-02-08 | Added a new check to ensure that every call to another location points to an ↵ | Chimrod | |
existing one | |||
2024-02-08 | Added a general context for each test | Chimrod | |
2023-11-13 | Simplified the representation of expressions in strings | 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 | Extracting the report from the Location checker is now in it’s own function | Chimrod | |
2023-11-02 | Updated the interface | 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-18 | Used the dead-end checker in main analysis | 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 | |