Matteo Manighetti cde6ba24c9 Merge remote-tracking branch 'why3-inria/master' into why3-devel

2024-02-20 11:14:13 +01:00

..

oracles

Resolve "Add injectivity for type invariant"

2024-01-31 13:02:13 +00:00

clone.ml

Add an option to allow hiding uses, clones and metas in printed tasks

2023-05-26 12:16:30 +00:00

counterexample.ml

Use Option from standard library

2024-01-22 16:43:44 +01:00

create_session.ml

Update headers.

2023-03-07 09:58:45 +01:00

epsilon.ml

Add a constructor for epsilon-terms in Ptree API

2023-05-15 09:52:03 +00:00

epsilon.mlw

Add a constructor for epsilon-terms in Ptree API

2023-05-15 09:52:03 +00:00

logic.ml

Add an option to allow hiding uses, clones and metas in printed tasks

2023-05-26 12:16:30 +00:00

mlw_expr.ml

Add an option to allow hiding uses, clones and metas in printed tasks

2023-05-26 12:16:30 +00:00

mlw_tree_infer_invs.ml

Update headers.

2023-03-07 09:58:45 +01:00

mlw_tree.ml

Update headers.

2023-03-07 09:58:45 +01:00

transform.ml

Update headers.

2023-03-07 09:58:45 +01:00