| commit | 2e496ee0451272a18092876939ce9339a3dbaeae | |
| author | PATAULT Paul <paul.patault@lmf.cnrs.fr> | |
| Thu, 12 Sep 2024 15:34:52 +0000 (12 17:34 +0200) | ||
| committer | PATAULT Paul <paul.patault@lmf.cnrs.fr> | |
| Thu, 12 Sep 2024 15:34:52 +0000 (12 17:34 +0200) | ||
| tree | 6c02a540bd2579beed5fadec0694b4f0a71dacd9 | treesnapshot (tar.gz zip) |
| parent | ecd825d49dc7e9bf56ded1ba76333167f479731b | commitdiff |
| parent | 602f1007ba6d7465724bd3688b09ea4bd446f4d8 | commitdiff |
Merge branch 'verifythis_2024_solutions' into 'master'
new examples: verifythis 2024 solutions to challenges 0 and 1
See merge request why3/why3!1115
new examples: verifythis 2024 solutions to challenges 0 and 1
See merge request why3/why3!1115