 Chimrod
|
baa258ac91
New test for duplicates evalutations in the code
|
vor 8 Monaten |
|
Chimrod
|
916d37b93c
Ignore the global checkers if there is a syntax error; ignore error during recovery after a syntax error
|
vor 9 Monaten |
|
Chimrod
|
d7a13b0e5d
Added a new check to ensure that every call to another location points to an existing one
|
vor 9 Monaten |
|
Chimrod
|
6fd720c07e
Added a general context for each test
|
vor 9 Monaten |
|
Chimrod
|
3b5c4f8cc6
Make the option --global effective with qsrc file
|
vor 10 Monaten |
|
Chimrod
|
c6dbbaa9e1
Also include the debugs messages in the exit code
|
vor 10 Monaten |
|
Chimrod
|
0f9f5d50bd
Added return code to tell if everything is ok
|
vor 10 Monaten |
|
Chimrod
|
1128450d0b
Fixup in the --help message
|
vor 1 Jahr |
|
Chimrod
|
6ada3862d9
Allow test to be enabled or disabled by command line
|
vor 1 Jahr |
|
Chimrod
|
673da2554d
List all the available tests on command line
|
vor 1 Jahr |
|
Chimrod
|
0f24d6d6c6
Removed the interractive command line option
|
vor 1 Jahr |
|
Chimrod
|
fd02a44392
Added a new checkers for unecessary use of strig containing an escaped expression
|
vor 1 Jahr |
|
Chimrod
|
2a2198e910
Refactoring the API
|
vor 1 Jahr |
|
Chimrod
|
0b75cd5bc0
Used the dead-end checker in main analysis
|
vor 1 Jahr |
|
Chimrod
|
28981268a4
Applied this new way to check the errors in the main code
|
vor 1 Jahr |
|
Chimrod
|
f85abcb996
Used the type S.repr in Syntax/Location.t
|
vor 1 Jahr |
|
Chimrod
|
e8b746742f
Update the compilation rule for git hash inclusion
|
vor 1 Jahr |
|
Chimrod
|
ea509dd21e
Added a small report indicating the number of errors and warning
|
vor 1 Jahr |
|
Chimrod
|
f21a7b0552
In windows, do not ask the user before terminating
|
vor 1 Jahr |
|
Chimrod
|
b7964befd0
Added the git revision in the code
|
vor 1 Jahr |
|
Chimrod
|
2e41a214e4
Added a global line counter (off by default)
|
vor 1 Jahr |
|
Chimrod
|
3d74fbfd4b
Also removed unecessary read_line for windows
|
vor 1 Jahr |
|
Chimrod
|
7d1630227e
Forgot that windows requires files to open in binary mode
|
vor 1 Jahr |
|
Chimrod
|
5e0b521a2c
Made the lexer buffer abstract
|
vor 1 Jahr |
|
Chimrod
|
6c080cae7b
Skip the faulty location when reading the whole compiled file
|
vor 1 Jahr |
|
Chimrod
|
4efc1d2144
Allow the parsing for the whole compiled file
|
vor 1 Jahr |
|
Chimrod
|
5dc0c5defd
Allow differents file encoding for the source
|
vor 1 Jahr |
|
Chimrod
|
40f7b4c739
Switched to sedlex instead of ocamllex
|
vor 1 Jahr |
|
Chimrod
|
b65767c276
Name clash correction
|
vor 1 Jahr |
|
Chimrod
|
000d8bcc95
Renamed the main application
|
vor 1 Jahr |
