• Sylvain Dailler's avatar
    Add name to requires and asserts · 5214043f
    Sylvain Dailler authored
    This is implemented using an attribute that is detected when a
    transformation introduces the hypothesis.
    Added for assertion_kind and requires.
    5214043f
Name
Last commit
Last update
..
coercion.ml Loading commit data...
coercion.mli Loading commit data...
decl.ml Loading commit data...
decl.mli Loading commit data...
dterm.ml Loading commit data...
dterm.mli Loading commit data...
env.ml Loading commit data...
env.mli Loading commit data...
ident.ml Loading commit data...
ident.mli Loading commit data...
model_parser.ml Loading commit data...
model_parser.mli Loading commit data...
pattern.ml Loading commit data...
pattern.mli Loading commit data...
pretty.ml Loading commit data...
pretty.mli Loading commit data...
printer.ml Loading commit data...
printer.mli Loading commit data...
task.ml Loading commit data...
task.mli Loading commit data...
term.ml Loading commit data...
term.mli Loading commit data...
theory.ml Loading commit data...
theory.mli Loading commit data...
trans.ml Loading commit data...
trans.mli Loading commit data...
ty.ml Loading commit data...
ty.mli Loading commit data...