Tags

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

1.8.1

3f74f3e5 · Storm version 1.8.1 (#390) · Jun 15, 2023
```
Storm version 1.8.1
```
1.6.3

51f86db9 · Storm version 1.6.3 · Nov 24, 2020
```
Storm version 1.6.3
```
1.6.2

f91c0de9 · Storm version 1.6.2 · Sep 04, 2020
```
Storm version 1.6.2
```
1.6.1

3883c99e · Storm Version 1.6.1 · Sep 04, 2020
```
Storm version 1.6.1
```
1.6.0

0cb0ca8a · Storm version 1.6.0 · Jun 08, 2020
```
Storm version 1.6.0
```
1.5.1

afbfd42b · Storm version 1.5.1 · Mar 16, 2020
```
Storm version 1.5.1
```
1.5.0

bb25d6cb · Storm version 1.5.0 · Mar 12, 2020
```
Storm version 1.5.0
```
1.4.1

cf833758 · Storm version 1.4.1 · Dec 13, 2019
```
Storm version 1.4.0
```
1.4.0

97be2f9d · Storm version 1.4.0 · Nov 14, 2019
```
Storm version 1.4.0
```
1.3.0

e5049c67 · Storm version 1.3.0 · Dec 08, 2018
```
Storm version 1.3.0
```
1.2.3

b895911c · New storm version containing fix for version parsing · Jul 17, 2018
```
Storm version 1.2.3
```
1.2.2

2cfdb564 · Storm version 1.2.2 · Jul 16, 2018
```
Storm version 1.2.2
```

1.2.2-alpha

c4ebf751 · Use version label in cli · Feb 22, 2018

Pre-release of version 1.2.2.

Known issues:
- Linker error under GCC 7 with LTO enabled

1.2.1

c43830ed · Set new storm version · Feb 01, 2018
```
Storm version 1.2.1
```
1.2.0

240899d3 · Storm release 1.2.0 · Dec 06, 2017
```
New stable release 1.2.0
```
1.1.0

c639f390 · require carl version 17.08 · Aug 10, 2017
```
New stable release, consult changelog for details
```
1.0.1

0b2a8d1a · fixed comments and names of arguments in file.h for consistency · Apr 27, 2017
```
several additions that did not make it to the v1 release
```
1.0.0

44dc3e7d · fixed version output in cmake · Mar 11, 2017
```
Version 1.0.0
```
0.9.9

8b06e4fa · added missing IOSettings module to storm-dft-cli · Feb 07, 2017
```
storm -- Release Candidate 1
```
0.10.1

03868880 · put libs and binaries in a separate folder · Dec 22, 2016

Previous
1
2
Next