| commit | 98bb8dad5f32ba567e11d066877d334496a352b8 | |
| author | MARCHE Claude <claude.marche@inria.fr> | |
| Tue, 18 Jun 2024 11:41:02 +0000 (18 13:41 +0200) | ||
| committer | MARCHE Claude <claude.marche@inria.fr> | |
| Tue, 18 Jun 2024 11:41:02 +0000 (18 13:41 +0200) | ||
| tree | 4592664aa27626e440ca43eccccc7c54a92a0fe6 | treesnapshot (tar.gz zip) |
| parent | 2e760e4720b9f2ef1e9ed44a6acdb43b2ec4ff48 | commitdiff |
| parent | f24be4fce6774649ba30085b4cdd156227f93158 | commitdiff |
Merge branch '862-slse-example-simplify-proof' into 'master'
Resolve "SLSE example : simplify proof"
Closes #862
See merge request why3/why3!1084
Resolve "SLSE example : simplify proof"
Closes #862
See merge request why3/why3!1084