| commit | ee8f8711cbf9d67dad108df0f63c02dba0033ecc | |
| author | Jean-Christophe Filliâtre <jean-christophe.filliatre@inria.fr> | |
| Sun, 2 Feb 2025 08:25:46 +0000 (2 09:25 +0100) | ||
| committer | Jean-Christophe Filliâtre <jean-christophe.filliatre@inria.fr> | |
| Sun, 2 Feb 2025 08:25:46 +0000 (2 09:25 +0100) | ||
| tree | 24c5afc2668f9c165282d89da68b85f3799ce3a7 | treesnapshot (tar.gz zip) |
| parent | 6e52fc95c9456ee40b4859c85bcb16d57b6c3a21 | commitdiff |
| parent | 500312de2a54ee60a722e47b6946376047eab1eb | commitdiff |
Merge branch 'minimum-excludant-other-versions' into 'master'
minimum excludant example
See merge request why3/why3!1192
minimum excludant example
See merge request why3/why3!1192