Age | Commit message (Collapse) | Author | |
---|---|---|---|
2023-11-02 | Updated the interface | Chimrod | |
2023-10-25 | Refactoring the API | Chimrod | |
2023-10-18 | Used the dead-end checker in main analysis | Chimrod | |
2023-10-18 | Made explicit the use of the report in the parser | Chimrod | |
2023-10-15 | New analyzer for the dead end | Chimrod | |
2023-10-15 | Added default syntax implementation | Chimrod | |