Tags

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

v2.0

f90b3835 · Fix a critical typo · Nov 02, 2018
```
Klever 2.0
```
v2.0rc2

cbbe8720 · Add production true flag · Oct 29, 2018
```
Klever 2.0rc2
```
v2.0rc1

72be796e · Add more real examples for verification of Linux 3.14 drivers · Oct 25, 2018
```
Klever 2.0rc1
```
v1.1

1c078402 · Refactoring. · Aug 21, 2018
```
Klever 1.1
```
v1.1rc2

1c078402 · Refactoring. · Aug 21, 2018
```
Klever 1.1rc2
```
v1.1rc1

29f75b3e · Fix latest merge · Aug 07, 2018
```
Klever 1.1rc1
```
v1.0

dd5484e1 · Fix preset unsafe marks · Jul 02, 2018
```
Klever 1.0
```
v1.0rc2

86c265d9 · Merge branch 'master' into 9004-trace-actions · Jun 29, 2018
```
Klever 1.0rc2
```
v1.0rc1

a354b4c6 · Merge branch 'master' into fix_alloc_known_size_rebase · Jun 22, 2018
```
Klever 1.0rc1
```
v0.2

186f56de · Add a new unknowns mark to evaluate wall timeouts · Oct 13, 2017
```
Klever 0.2
```
v0.2rc1

eec15ccc · Merge branch 'feature_8342' · Oct 12, 2017
```
Klever 0.2rc1
```
v0.1

30e029ae · Merge branch 'fix-broken-archives' · Aug 31, 2017
```
Klever 0.1
```
v0.1rc27

30e029ae · Merge branch 'fix-broken-archives' · Aug 31, 2017
```
Klever 0.1rc27
```
v0.1rc26

60fdbeac · Temporarily ignore broken ZIP achives · Aug 22, 2017
```
Klever 0.1rc26
```
v0.1rc25

e211b49e · Do not incorrectly remove function enters when removing auxiliary functions · Apr 07, 2017
```
Klever 0.1rc25
```
v0.1rc24

8cc2504d · Update CPAchecker for finding sync:race issues · Apr 04, 2017
```
Klever 0.1rc24
```
v0.1rc23

b093c00d · Fix bug with population with default manager and without service user. · Mar 17, 2017
```
Klever 0.1rc23
```
v0.1rc22

ca135d04 · Merge branch 'sv-comp-assume' · Mar 02, 2017
```
Klever 0.1rc22
```
v0.1rc21

20312f84 · Fix test and model for usb_get_urb() · Jan 31, 2017
```
Klever 0.1rc21
```
v0.1rc20

8ae81c1f · Get rid of temporary variables inside called function just if there are some... · Jan 25, 2017
```
Klever 0.1rc20
```