Age | Commit message (Collapse) | Author | |
---|---|---|---|
2024-12-02 | Moved the checks in a dedicated library | Chimrod | |
2023-10-01 | Added the git revision in the code | Chimrod | |
2023-09-29 | Switched to sedlex instead of ocamllex | Chimrod | |
2023-09-25 | Name clash correction | Chimrod | |
2023-09-25 | Renamed the main application | Chimrod | |
2023-09-25 | Added a type checker | Chimrod | |
2023-09-22 | first commit | Chimrod | |