aboutsummaryrefslogtreecommitdiff
path: root/bin/qsp_parser.ml
AgeCommit message (Expand)Author
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 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-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
generated by cgit v1.2.3 (git 2.39.1) at 2025-01-18 19:29:55 +0000