aboutsummaryrefslogtreecommitdiff
path: root/bin
AgeCommit message (Collapse)Author
2024-11-15Fix a correction in the location identification in the unused variable parserChimrod
2024-11-15Added a global check reporting variables only readsChimrod
2024-03-27New test for duplicates evalutations in the codeChimrod
2024-02-08Ignore the global checkers if there is a syntax error; ignore error during ↵Chimrod
recovery after a syntax error
2024-02-08Added a new check to ensure that every call to another location points to an ↵Chimrod
existing one
2024-02-08Added a general context for each testChimrod
2024-01-25Make the option --global effective with qsrc fileChimrod
2024-01-14Also include the debugs messages in the exit codeChimrod
2024-01-04Added return code to tell if everything is okChimrod
2023-11-05Fixup in the --help messageChimrod
2023-11-04Allow test to be enabled or disabled by command lineChimrod
2023-11-04List all the available tests on command lineChimrod
2023-11-03Removed the interractive command line optionChimrod
2023-11-02Added a new checkers for unecessary use of strig containing an escaped ↵Chimrod
expression
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 12:56:06 +0000