| commit | 95c7987b7c7174c4005695e527712c4f61abd78c | |
| author | MARCHE Claude <claude.marche@inria.fr> | |
| Wed, 24 Apr 2024 13:29:40 +0000 (24 15:29 +0200) | ||
| committer | MARCHE Claude <claude.marche@inria.fr> | |
| Wed, 24 Apr 2024 13:29:40 +0000 (24 15:29 +0200) | ||
| tree | 40c1536e4eab70e8ccb8aeb6c607b874610d7ccc | treesnapshot (tar.gz zip) |
| parent | 566be04cfcd97047df07a0ea748ac15b65c65180 | commitdiff |
| parent | 103af257d0d72ab1b640cd63410b7b06cd124a1e | commitdiff |
Merge branch '846-forward-propagation-strategy-remove-inline_trivial' into 'master'
Resolve "Forward propagation strategy : remove inline_trivial"
Closes #846
See merge request why3/why3!1058
Resolve "Forward propagation strategy : remove inline_trivial"
Closes #846
See merge request why3/why3!1058