Tags

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

v0.1rc19

61029c1b · Fix bug #7864. · Jan 18, 2017
```
Klever 0.1rc19
```
v0.1rc18

a95563af · Partially revert 74ae1b95 · Jan 18, 2017
```
Klever 0.1rc18
```
v0.1rc17

94c94a9f · Revert "Switch off all GCC optimizations" · Aug 25, 2016
```
Klever 0.1rc17
```
0.1rc17

00a0aa0f · Switch off all GCC optimizations · Aug 25, 2016
```
Klever 0.1rc17
```
v0.1rc16

03412c8d · Do not always expect benchmark.xml - this isn't created when VerifierCloud is used · Aug 24, 2016
```
Klever 0.1rc16
```
v0.1rc15

f1ebfd03 · Specify proper reason of false alarm instead of target bug · Aug 17, 2016
```
Klever 0.1rc15
```
v0.1rc14

7a2d0d34 · Specify multi-aspect group for linux:dma · Aug 14, 2016
```
Klever 0.1rc14
```
v0.1rc13

d8e6e75f · Exclude linux:alloc:spinlock from the primary multi-aspect group since it... · Aug 11, 2016
```
Klever 0.1rc13
```
v0.1rc12

1232e24a · Merge branch 'fix_320' · Aug 10, 2016
```
Klever 0.1rc12
```
v0.1rc11

bb1997bc · Merge branch 'fix_linux_spinlock' · Aug 09, 2016
```
Klever 0.1rc11
```
v0.1rc10

ef4df937 · Specify reason why target bug can't be found still · Aug 05, 2016
```
Klever 0.1rc10
```
v0.1rc9

8ff324f5 · Fixed removing of C files · Jul 29, 2016
```
Klever 0.1rc9
```
v0.1rc8

fe116e5b · Exclude Bridge settings file from repository and ignore it · Jul 01, 2016
```
Klever 0.1rc8
```
v0.1rc7

73c477bd · Back port forgotten changes from commit 8c9a2eda · Jun 30, 2016
```
Klever 0.1rc7
```
v0.1rc6

612fdac5 · Merge branch 'spec-help-improvements' · Jun 27, 2016
```
Klever 0.1rc6
```
v0.1rc5

3d883ae3 · In addition search for aspect headers in rule specifications directory · Jun 22, 2016
```
Klever 0.1rc5
```
v0.1rc4

8bf67f90 · Merge branch 'invalid-branches-merge' · Jun 22, 2016
```
Klever 0.1rc4
```
v0.1rc3

4d9aaa6c · Switch on by default EMG options that considerably simplifies environment models · Jun 22, 2016
```
Klever 0.1rc3
```
v0.1rc2

2174e293 · Fix debugging message a bit · Jun 21, 2016
```
Klever 0.1rc2
```
v0.1rc1

42cfbfef · Likely fix races between build commands executed in parallel · May 18, 2016
```
Klever 0.1rc1
```