Chimrod aeb98de6cf Updated the tests il y a 5 mois
..
S.ml 304ef0cdbf Update il y a 5 mois
check.ml d7a13b0e5d Added a new check to ensure that every call to another location points to an existing one il y a 9 mois
check.mli 6fd720c07e Added a general context for each test il y a 9 mois
compose.ml 93247b7bd2 Added a functor for creating a lazy version of an Expression module il y a 1 an
dead_end.ml aeb98de6cf Updated the tests il y a 5 mois
dead_end.mli fc235a1d2b Updated the documentation il y a 1 an
default.ml 35ef1827a2 Updated the interface for default expression analyzer il y a 9 mois
dune 97ab5c9a21 Moved qparser and syntax in the library folder il y a 1 an
dup_test.ml aeb98de6cf Updated the tests il y a 5 mois
dup_test.mli baa258ac91 New test for duplicates evalutations in the code il y a 8 mois
get_type.ml 4f39ffe318 Better type handling il y a 5 mois
locations.ml d7a13b0e5d Added a new check to ensure that every call to another location points to an existing one il y a 9 mois
nested_strings.ml aeb98de6cf Updated the tests il y a 5 mois
nested_strings.mli fd02a44392 Added a new checkers for unecessary use of strig containing an escaped expression il y a 1 an
report.ml baa258ac91 New test for duplicates evalutations in the code il y a 8 mois
t.ml 141db07840 Added eq and hash functions in the Ast.Expression il y a 8 mois
tree.ml 1fc6def747 Implemented the For in the Tree module il y a 5 mois
tree.mli 1fc6def747 Implemented the For in the Tree module il y a 5 mois
type_of.ml aeb98de6cf Updated the tests il y a 5 mois
type_of.mli ebf072326e Added a way to compose a test with another one il y a 1 an