Tags

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

upstream/1.0.0

00bed505 · New upstream version 1.0.0 · Jun 25, 2018
```
Upstream version 1.0.0
```
debian/0.88.3-3

128549ef · skip test why3+cvc4 when cvc4 is not available · May 27, 2018
```
why3 Debian release 0.88.3-3
```
debian/0.88.3-2

0ffd2a19 · drop TODO item menu, since why3 ide needs an argument · Apr 08, 2018
```
why3 Debian release 0.88.3-2
```
debian/0.88.3-1

12762198 · dh compat level 11 · Jan 14, 2018
```
why3 Debian release 0.88.3-1
```
upstream/0.88.3

5c162fa0 · New upstream version 0.88.3 · Jan 12, 2018
```
Upstream version 0.88.3
```
debian/0.88.2-1

8dbbc8dd · cvc4: new alternative recommends, add autopkg test · Dec 12, 2017
```
why3 Debian release 0.88.2-1
```
upstream/0.88.2

d6685ca0 · New upstream version 0.88.2 · Dec 08, 2017
```
Upstream version 0.88.2
```
upstream/0.88.1

64c413e0 · New upstream version 0.88.1 · Nov 06, 2017
```
Upstream version 0.88.1
```
upstream/0.88.0

5c6cf9aa · New upstream version 0.88.0 · Oct 07, 2017
```
Upstream version 0.88.0
```
debian/0.87.3-2

bbd6af38 · test why3+z3: do not fail when z3 segfaults · Jan 21, 2017
```
why3 Debian release 0.87.3-2
```
debian/0.87.3-1

5b171592 · drop build-dependency on autoconf · Jan 12, 2017
```
why3 Debian release 0.87.3-1
```
upstream/0.87.3

a334d0c8 · New upstream version 0.87.3 · Jan 12, 2017
debian/0.87.2-3

2c7cb90a · upload to sid · Jan 03, 2017
```
why3 Debian release 0.87.2-3
```
debian/0.87.2-2

c0686fd8 · upload to unstable · Sep 21, 2016
```
why3 Debian release 0.87.2-2
```
debian/0.87.2-1

34dcc33c · new upstream 0.87.2 · Sep 01, 2016
```
why3 Debian release 0.87.2-1
```
upstream/0.87.2

6d175ca1 · Imported Upstream version 0.87.2 · Sep 01, 2016
```
Upstream version 0.87.2
```
debian/0.87.1-2

d8b87bb7 · don't set BUILDDATE in configure.in · Jul 19, 2016
```
why3 Debian release 0.87.1-2
```
debian/0.87.1-1

d0a05a17 · don't use the timestamp · Jun 08, 2016
```
why3 Debian release 0.87.1-1
```
upstream/0.87.1

d3cc34c5 · Imported Upstream version 0.87.1 · Jun 06, 2016
```
Upstream version 0.87.1
```
debian/0.87.0-3

1cc0547b · tests: run why3 config --detect-provers · Apr 14, 2016
```
why3 Debian release 0.87.0-3
```

Prev
1
2
3
4
5
Next