| commit | 91b314fb2a738bedd81b7aaf6ea4c0b558b66355 | |
| author | MARCHE Claude <claude.marche@inria.fr> | |
| Wed, 22 May 2024 10:18:37 +0000 (22 12:18 +0200) | ||
| committer | MARCHE Claude <claude.marche@inria.fr> | |
| Wed, 22 May 2024 10:18:37 +0000 (22 12:18 +0200) | ||
| tree | 8e5fdd7dd7a7919975ed086a0656bc41747b8ab4 | treesnapshot (tar.gz zip) |
| parent | e8719183085cbba18f41ffb4e25e8f49c6562866 | commitdiff |
| parent | 85916f62c64be3a94f7f79dfabf9173f10a750d0 | commitdiff |
Merge branch '854-encoding-regression-on-datatypes-when-upgrading-alt-ergo-2-4-2-5' into 'master'
Resolve "Encoding regression on datatypes when upgrading alt-ergo 2.4 -> 2.5"
Closes #854
See merge request why3/why3!1072
Resolve "Encoding regression on datatypes when upgrading alt-ergo 2.4 -> 2.5"
Closes #854
See merge request why3/why3!1072