Tags

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

v3.0

72c70c79 · Update version number to 3.0 · Dec 12, 2019
```
Public release 3.0
```
v2.2

de341392 · Fix a typo in the release notes · Aug 30, 2019
```
Public release 2.2
```
v2.1

cd4b3633 · Update version number to 2.1 · Dec 10, 2018
```
Public release 2.1
```
v2.0

47d941e1 · Import ikos 2.0 · Oct 22, 2018
```
Public release 2.0
```
Unverified
v1.3

84e645e6 · Import ikos 1.3 · Oct 22, 2018
```
Public release 1.3
```
Unverified