.. |
S.ml
|
916d37b93c
Ignore the global checkers if there is a syntax error; ignore error during recovery after a syntax error
|
vor 9 Monaten |
check.ml
|
17daa1fc6d
Uses std library instead of implementing it
|
vor 2 Monaten |
check.mli
|
17daa1fc6d
Uses std library instead of implementing it
|
vor 2 Monaten |
compose.ml
|
93247b7bd2
Added a functor for creating a lazy version of an Expression module
|
vor 1 Jahr |
dead_end.ml
|
d7a13b0e5d
Added a new check to ensure that every call to another location points to an existing one
|
vor 9 Monaten |
dead_end.mli
|
fc235a1d2b
Updated the documentation
|
vor 1 Jahr |
default.ml
|
35ef1827a2
Updated the interface for default expression analyzer
|
vor 9 Monaten |
dune
|
97ab5c9a21
Moved qparser and syntax in the library folder
|
vor 1 Jahr |
dup_test.ml
|
371c5518fd
Raise the message level from Warning to Error for duplicated predicates check
|
vor 7 Monaten |
dup_test.mli
|
baa258ac91
New test for duplicates evalutations in the code
|
vor 8 Monaten |
get_type.ml
|
4f39ffe318
Better type handling
|
vor 5 Monaten |
locations.ml
|
d7a13b0e5d
Added a new check to ensure that every call to another location points to an existing one
|
vor 9 Monaten |
nested_strings.ml
|
d7a13b0e5d
Added a new check to ensure that every call to another location points to an existing one
|
vor 9 Monaten |
nested_strings.mli
|
fd02a44392
Added a new checkers for unecessary use of strig containing an escaped expression
|
vor 1 Jahr |
report.ml
|
baa258ac91
New test for duplicates evalutations in the code
|
vor 8 Monaten |
t.ml
|
141db07840
Added eq and hash functions in the Ast.Expression
|
vor 8 Monaten |
tree.ml
|
baa258ac91
New test for duplicates evalutations in the code
|
vor 8 Monaten |
tree.mli
|
baa258ac91
New test for duplicates evalutations in the code
|
vor 8 Monaten |
type_of.ml
|
70c94d9465
Cleanup the code
|
vor 5 Monaten |
type_of.mli
|
ebf072326e
Added a way to compose a test with another one
|
vor 1 Jahr |
write_only.ml
|
75be18b30e
Added a global check reporting variables only reads
|
vor 1 Woche |