|
|
220a78369b
|
switch to llvm7
OBS-URL: https://build.opensuse.org/package/show/devel:tools:statica/klee?expand=0&rev=60
|
2018-10-29 16:28:45 +00:00 |
|
|
|
e18feb65f3
|
switch to LLVM 6
OBS-URL: https://build.opensuse.org/package/show/devel:tools:statica/klee?expand=0&rev=51
|
2018-06-16 09:35:04 +00:00 |
|
|
|
a2658acfe8
|
llvm 4 & update
OBS-URL: https://build.opensuse.org/package/show/devel:tools:statica/klee?expand=0&rev=24
|
2017-06-08 12:15:29 +00:00 |
|
|
|
63c7d4b094
|
up and enable checks
OBS-URL: https://build.opensuse.org/package/show/devel:tools:statica/klee?expand=0&rev=14
|
2017-03-17 12:47:13 +00:00 |
|
