Tags · Why3 / why3 · GitLab

Mentions légales du service

[En cours] Mise en place de quotas sur nos instances GitLab. Plus d'information sur : https://doc-si.inria.fr/pages/viewpage.action?pageId=146834656
[In progress] Quotas installation on our GitLab instances. More information: https://doc-si.inria.fr/pages/viewpage.action?pageId=146834656

La mise à jour de sécurité de ce lundi 7 octobre 2024 est terminé. Nous sommes désormais en version 17.2.8.

Tags give the ability to mark specific points in history as being important

0.88.0

92d99e5e · Version 0.88.0 · Oct 06, 2017
0.87.3

c0aa0779 · Version 0.87.3 · Jan 11, 2017
0.87.2

24ddab81 · Version 0.87.2 · Sep 01, 2016
0.87.1

b1da8bf0 · Version 0.87.1 · May 27, 2016
0.87.0

f8f4c779 · Version 0.87.0 · Mar 15, 2016
0.86.3

656753ca · Version 0.86.3 · Feb 08, 2016
0.86.2

8f84e5d3 · Version 0.86.2 · Oct 13, 2015
0.86.1

10a5a494 · Version 0.86.1 · May 22, 2015
0.86

398f84d1 · Version 0.86 · May 11, 2015
0.85

88004948 · release 0.85 · Sep 17, 2014
0.84

d11d2b5c · release 0.84 · Sep 02, 2014
0.83

19b67a87 · why3doc: fixed filenames · Mar 14, 2014
0.82

ce76d88f · release 0.82 · Dec 12, 2013
0.81

15dcbf19 · make new tar for 0.81 · Mar 26, 2013
0.80

2c8012f0 · fix bnf in doc · Oct 31, 2012
0.73

2bd9354f · hopefully final commmit before release 0.73 · Jul 19, 2012
0.72

b0ea528a · on the road to release 0.72 · May 11, 2012
```
0.72 release
```
0.71

32c3adb3 · magic number set to 8 for release 0.71 · Oct 13, 2011
0.64

854a61f0 · updated documentation for 0.64 · Feb 17, 2011
```
Why3 0.64 release
```
0.70

05c8be9e · add examples/use_api.ml into the distribution · Jul 07, 2011
```
Why3 0.70 release
```

Prev
1
2
3
Next