| commit | a65b7241f2fa4d1403714b301ba0c1ef71718aba | |
| author | MARCHE Claude <claude.marche@inria.fr> | |
| Fri, 25 Oct 2024 16:34:29 +0000 (25 18:34 +0200) | ||
| committer | MARCHE Claude <claude.marche@inria.fr> | |
| Fri, 25 Oct 2024 16:34:29 +0000 (25 18:34 +0200) | ||
| tree | 3243c8b273bcea1e03358d20db5822d65c1259f5 | treesnapshot (tar.gz zip) |
| parent | aa98404a3f9fe73470670310821855ee11408633 | commitdiff |
| parent | 9161acda8e03891a9a08f495e287d16d6e17a6e2 | commitdiff |
Merge branch 'unused_dependencies_in_generated_axioms' into 'master'
Add metas for unused dependencies in generated axioms
See merge request why3/why3!1155
Add metas for unused dependencies in generated axioms
See merge request why3/why3!1155