| .. |
|
S.ml
|
916d37b93c
Ignore the global checkers if there is a syntax error; ignore error during recovery after a syntax error
|
9 meses atrás |
|
check.ml
|
d7a13b0e5d
Added a new check to ensure that every call to another location points to an existing one
|
9 meses atrás |
|
check.mli
|
6fd720c07e
Added a general context for each test
|
9 meses atrás |
|
compose.ml
|
93247b7bd2
Added a functor for creating a lazy version of an Expression module
|
1 ano atrás |
|
dead_end.ml
|
d7a13b0e5d
Added a new check to ensure that every call to another location points to an existing one
|
9 meses atrás |
|
dead_end.mli
|
fc235a1d2b
Updated the documentation
|
1 ano atrás |
|
default.ml
|
35ef1827a2
Updated the interface for default expression analyzer
|
9 meses atrás |
|
dune
|
97ab5c9a21
Moved qparser and syntax in the library folder
|
1 ano atrás |
|
get_type.ml
|
c8fb3bdbf3
Change STATTXT into an identifier instead of a function
|
10 meses atrás |
|
locations.ml
|
d7a13b0e5d
Added a new check to ensure that every call to another location points to an existing one
|
9 meses atrás |
|
nested_strings.ml
|
d7a13b0e5d
Added a new check to ensure that every call to another location points to an existing one
|
9 meses atrás |
|
nested_strings.mli
|
fd02a44392
Added a new checkers for unecessary use of strig containing an escaped expression
|
1 ano atrás |
|
report.ml
|
2a2198e910
Refactoring the API
|
1 ano atrás |
|
t.ml
|
c8fb3bdbf3
Change STATTXT into an identifier instead of a function
|
10 meses atrás |
|
tree.ml
|
d7a13b0e5d
Added a new check to ensure that every call to another location points to an existing one
|
9 meses atrás |
|
tree.mli
|
6fd720c07e
Added a general context for each test
|
9 meses atrás |
|
type_of.ml
|
d7a13b0e5d
Added a new check to ensure that every call to another location points to an existing one
|
9 meses atrás |
|
type_of.mli
|
ebf072326e
Added a way to compose a test with another one
|
1 ano atrás |
Chimrod
916d37b93c
Ignore the global checkers if there is a syntax error; ignore error during recovery after a syntax error