| commit | 2ce462ef5b9438fb34c39585c47cb28139d9a025 | |
| author | MARCHE Claude <claude.marche@inria.fr> | |
| Tue, 22 Oct 2024 19:25:49 +0000 (22 21:25 +0200) | ||
| committer | MARCHE Claude <claude.marche@inria.fr> | |
| Tue, 22 Oct 2024 19:25:49 +0000 (22 21:25 +0200) | ||
| tree | 361fe154df289a831e734ee7e046caf1d9ce55d6 | treesnapshot (tar.gz zip) |
| parent | 348b77e6ace3faadb35c90b15a6c9d1dc910427b | commitdiff |
| parent | 24baef2ce5b7c4f9f6b51ea09bf4a205b76379d8 | commitdiff |
Merge branch 'unused_dep_for_bvlib' into 'master'
fix closure computation in `remove_unused`
See merge request why3/why3!1154
fix closure computation in `remove_unused`
See merge request why3/why3!1154