| commit | 0b96bc34b620780faeff2dac6985d2a79de4e543 | |
| author | MARCHE Claude <claude.marche@inria.fr> | |
| Fri, 4 Oct 2024 14:35:37 +0000 (4 16:35 +0200) | ||
| committer | MARCHE Claude <claude.marche@inria.fr> | |
| Fri, 4 Oct 2024 14:35:37 +0000 (4 16:35 +0200) | ||
| tree | e5c2ccbd9155897ac70858dc11867427778db907 | treesnapshot (tar.gz zip) |
| parent | f5703db1bd51b682db9f85f2b3393bc8f103730b | commitdiff |
| parent | b3cc1652fc3d421ef54e8319dd16cf372b654e02 | commitdiff |
Merge branch 'pow2int_bv' into 'master'
Drivers: fix issue #879
Closes #879
See merge request why3/why3!1134
Drivers: fix issue #879
Closes #879
See merge request why3/why3!1134