| commit | b4960e4539593f7a280337040f8029148f9e7b39 | |
| author | MARCHE Claude <claude.marche@inria.fr> | |
| Wed, 23 Oct 2024 13:10:58 +0000 (23 15:10 +0200) | ||
| committer | MARCHE Claude <claude.marche@inria.fr> | |
| Wed, 23 Oct 2024 13:10:58 +0000 (23 15:10 +0200) | ||
| tree | 7c22c3a8373b0e1215d8b899dc98eb317c7421c0 | treesnapshot (tar.gz zip) |
| parent | 2ce462ef5b9438fb34c39585c47cb28139d9a025 | commitdiff |
| parent | 7e819237a6d34e0d9c91afb8f7a16fcb227faa8e | commitdiff |
Merge branch 'unused_dep_for_euclidean_div_mod' into 'master'
unused dependencies on Euclidean div/mod
See merge request why3/why3!1153
unused dependencies on Euclidean div/mod
See merge request why3/why3!1153