| commit | 72777db62890c44f0cc811abd03962e30c5616c8 | |
| author | MARCHE Claude <claude.marche@inria.fr> | |
| Fri, 8 Nov 2024 11:08:37 +0000 (8 12:08 +0100) | ||
| committer | MARCHE Claude <claude.marche@inria.fr> | |
| Fri, 8 Nov 2024 11:08:37 +0000 (8 12:08 +0100) | ||
| tree | 4465a7bf527781c2f0344e4719febcd381c27806 | treesnapshot (tar.gz zip) |
| parent | 086280c982791b54a156e06ae4e744f5c0d3847f | commitdiff |
| parent | c000797178377962defd3cdbbe69ff93ca1a192b | commitdiff |
Merge branch 'fmap_additional_operators' into 'master'
Additional operators for fmaps
See merge request why3/why3!1166
Additional operators for fmaps
See merge request why3/why3!1166