Dominique Leuenberger 1ed96462f9 Accepting request 508051 from devel:tools:statica ...

Automatic submission by obs-autosubmit

OBS-URL: https://build.opensuse.org/request/show/508051
OBS-URL: https://build.opensuse.org/package/show/openSUSE:Factory/klee?expand=0&rev=4

2017-07-08 10:33:59 +00:00

_service

up to 20170221

2017-02-22 12:32:55 +00:00

_servicedata

llvm 4 & update

2017-06-08 12:15:29 +00:00

.gitattributes

Accepting request 456778 from home:jirislaby:statica

2017-02-13 12:09:45 +00:00

.gitignore

Accepting request 456778 from home:jirislaby:statica

2017-02-13 12:09:45 +00:00

0001-errno-define-__errno_location.patch

llvm 4 & update

2017-06-08 12:15:29 +00:00

0001-llvm-don-t-use-clEnumValEnd-for-LLVM-4.0.patch

llvm 4 & update

2017-06-08 12:15:29 +00:00

0001-test-DirSeek-make-it-XFAIL-temporarily.patch

llvm 4 & update

2017-06-08 12:15:29 +00:00

0002-llvm-get-rid-of-static_casts-from-iterators.patch

llvm 4 & update

2017-06-08 12:15:29 +00:00

0003-Core-TimingSolver-use-WallTimer.patch

llvm 4 & update

2017-06-08 12:15:29 +00:00

0004-llvm-make-KLEE-compile-against-LLVM-3.7.patch

llvm 4 & update

2017-06-08 12:15:29 +00:00

0005-llvm-make-KLEE-compile-against-LLVM-3.8.patch

llvm 4 & update

2017-06-08 12:15:29 +00:00

0006-llvm-make-KLEE-compile-against-LLVM-3.9.patch

llvm 4 & update

2017-06-08 12:15:29 +00:00

0007-test-add-versions-of-some-tests-for-LLVM-3.8.patch

llvm 4 & update

2017-06-08 12:15:29 +00:00

0008-travis-CI-add-LLVM-3.8-build-tests.patch

llvm 4 & update

2017-06-08 12:15:29 +00:00

0009-llvm40-handle-different-header-names.patch

llvm 4 & update

2017-06-08 12:15:29 +00:00

0010-llvm-APFloat-members-are-functions-in-LLVM-4.0.patch

llvm 4 & update

2017-06-08 12:15:29 +00:00

0011-llvm40-errorOr-and-similar.patch

llvm 4 & update

2017-06-08 12:15:29 +00:00

0012-llvm-use-chrono-helpers-from-LLVM-4.0.patch

llvm 4 & update

2017-06-08 12:15:29 +00:00

0013-llvm-PointerType-is-not-SequentialType-in-LLVM-4.patch

llvm 4 & update

2017-06-08 12:15:29 +00:00

FileCheck.cpp

llvm 4 & update

2017-06-08 12:15:29 +00:00

klee-1.3.0+20170607.tar.xz

llvm 4 & update

2017-06-08 12:15:29 +00:00

klee-rpmlintrc

up to 20170409

2017-04-26 09:27:22 +00:00

klee.changes

switch to py 3

2017-06-27 08:43:20 +00:00

klee.spec

switch to py 3

2017-06-27 08:43:20 +00:00

not.cpp

llvm 4 & update

2017-06-08 12:15:29 +00:00

Description

No description provided

1.1 MiB

Languages

C++ 100%