aboutsummaryrefslogtreecommitdiff
path: root/bin
AgeCommit message (Expand)Author
2023-11-02Added a new checkers for unecessary use of strig containing an escaped expres...Chimrod
2023-10-25Refactoring the APIChimrod
2023-10-18Used the dead-end checker in main analysisChimrod
2023-10-18Applied this new way to check the errors in the main codeChimrod
2023-10-18Used the type S.repr in Syntax/Location.tChimrod
2023-10-03Update the compilation rule for git hash inclusionChimrod
2023-10-03Added a small report indicating the number of errors and warningChimrod
2023-10-03Handle the case where no args are givenChimrod
2023-10-03In windows, do not ask the user before terminatingChimrod
2023-10-01Added the git revision in the codeChimrod
2023-09-29Added a global line counter (off by default)Chimrod
2023-09-29Also removed unecessary read_line for windowsChimrod
2023-09-29Forgot that windows requires files to open in binary modeChimrod
2023-09-29Made the lexer buffer abstractChimrod
2023-09-29Skip the faulty location when reading the whole compiled fileChimrod
2023-09-29Allow the parsing for the whole compiled fileChimrod
2023-09-29Allow differents file encoding for the sourceChimrod
2023-09-29Switched to sedlex instead of ocamllexChimrod
2023-09-25Name clash correctionChimrod
2023-09-25Renamed the main applicationChimrod
2023-09-25Added a type checkerChimrod
2023-09-22first commitChimrod
generated by cgit v1.2.3 (git 2.39.1) at 2025-01-18 23:19:52 +0000