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