Chimrod bbc1b62b30 Updated the tests vor 5 Monaten
..
S.ml 88e3750814 Update vor 3 Monaten
check.ml d7a13b0e5d Added a new check to ensure that every call to another location points to an existing one vor 9 Monaten
check.mli 6fd720c07e Added a general context for each test vor 9 Monaten
compose.ml 93247b7bd2 Added a functor for creating a lazy version of an Expression module vor 1 Jahr
dead_end.ml bbc1b62b30 Updated the tests vor 3 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 bbc1b62b30 Updated the tests vor 3 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 bbc1b62b30 Updated the tests vor 3 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 a35d76181d Implemented the For in the Tree module vor 3 Monaten
tree.mli a35d76181d Implemented the For in the Tree module vor 3 Monaten
type_of.ml bbc1b62b30 Updated the tests vor 3 Monaten
type_of.mli ebf072326e Added a way to compose a test with another one vor 1 Jahr