pool/klee
SHA256
4
0
Fork 1
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
86 Commits 2 Branches 0 Tags
Commit Graph

86 Commits

This Branch
This Branch
All Branches
Author SHA256 Message Date
Jiri Slaby
a1f875cd43 py3 
OBS-URL: https://build.opensuse.org/package/show/devel:tools:statica/klee?expand=0&rev=36
 2018-01-15 07:50:21 +00:00
Jiri Slaby
a19dfb2ae5 add python3-setuptools 
OBS-URL: https://build.opensuse.org/package/show/devel:tools:statica/klee?expand=0&rev=35
 2018-01-08 07:19:09 +00:00
Dominique Leuenberger
7729329c3d Accepting request 545450 from devel:tools:statica 
Automatic submission by obs-autosubmit

OBS-URL: https://build.opensuse.org/request/show/545450
OBS-URL: https://build.opensuse.org/package/show/openSUSE:Factory/klee?expand=0&rev=6
 2017-11-27 21:17:05 +00:00
Jiri Slaby
7805bcbfd3 up to 1.4.0+20171026 
OBS-URL: https://build.opensuse.org/package/show/devel:tools:statica/klee?expand=0&rev=33
 2017-11-18 07:19:07 +00:00
Jiri Slaby
3afdc30a7b up to 1.4.0+20171026 
OBS-URL: https://build.opensuse.org/package/show/devel:tools:statica/klee?expand=0&rev=32
 2017-11-17 17:18:06 +00:00
Dominique Leuenberger
b21ea4efcb Accepting request 534467 from devel:tools:statica 
Automatic submission by obs-autosubmit

OBS-URL: https://build.opensuse.org/request/show/534467
OBS-URL: https://build.opensuse.org/package/show/openSUSE:Factory/klee?expand=0&rev=5
 2017-10-23 14:44:02 +00:00
Jiri Slaby
c36a5d68b2 up to 1.4.0+20171009 
OBS-URL: https://build.opensuse.org/package/show/devel:tools:statica/klee?expand=0&rev=30
 2017-10-10 13:09:53 +00:00
Jiri Slaby
d5526682f3 up to 1.4.0+20170811 
OBS-URL: https://build.opensuse.org/package/show/devel:tools:statica/klee?expand=0&rev=29
 2017-08-17 12:28:29 +00:00
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
Jiri Slaby
5d22a3fd47 switch to py 3 
OBS-URL: https://build.opensuse.org/package/show/devel:tools:statica/klee?expand=0&rev=27
 2017-06-27 08:43:20 +00:00
Dominique Leuenberger
14b43f5ef3 Accepting request 502372 from devel:tools:statica 
- Build against LLVM 4
- Update to version 1.3.0+20170607:
  * Fix test failure on systems with libstdc++ corresponding to gcc7.
  * llvm: rename ExitOnError to OptExitOnError
  * Prevent test failure when realloc fails in test/Feature/Realloc.c
- added patches:
    0001-llvm-don-t-use-clEnumValEnd-for-LLVM-4.0.patch
    0002-llvm-get-rid-of-static_casts-from-iterators.patch
    0003-Core-TimingSolver-use-WallTimer.patch
    0004-llvm-make-KLEE-compile-against-LLVM-3.7.patch
    0005-llvm-make-KLEE-compile-against-LLVM-3.8.patch
    0006-llvm-make-KLEE-compile-against-LLVM-3.9.patch
    0007-test-add-versions-of-some-tests-for-LLVM-3.8.patch
    0008-travis-CI-add-LLVM-3.8-build-tests.patch
    0009-llvm40-handle-different-header-names.patch
    0010-llvm-APFloat-members-are-functions-in-LLVM-4.0.patch
    0011-llvm40-errorOr-and-similar.patch
    0012-llvm-use-chrono-helpers-from-LLVM-4.0.patch
    0013-llvm-PointerType-is-not-SequentialType-in-LLVM-4.patch
- removed patches (renamed to the above):
    0001-test-add-versions-of-some-tests-for-LLVM-3.8.patch
    0002-Make-KLEE-compile-against-LLVM-3.7.patch
    0003-Make-KLEE-compile-against-LLVM-3.8.patch

- Update to version 1.3.0+20170602:
  * use METASMT_REQUIRE_RTTI flag to decide whether we need RTTI
  * [travis] add environment variable METASMT_BOOST_VERSION to control the boost version used by metaSMT and test it with the combination LLVM-2.9 + metaSMT
  * [CMake] change WARNING to FATAL_ERROR when building with a non-RTTI LLVM version and a metaSMT version that requires RTTI
  * [TravisCI] Try to unbreak the build against upstream STP.
  * Remove redundant KLEE prefix while logging

OBS-URL: https://build.opensuse.org/request/show/502372
OBS-URL: https://build.opensuse.org/package/show/openSUSE:Factory/klee?expand=0&rev=3
 2017-06-12 13:32:07 +00:00
Jiri Slaby
2f85ee1739 req proper klee-uclibc-devel-static 
OBS-URL: https://build.opensuse.org/package/show/devel:tools:statica/klee?expand=0&rev=25
 2017-06-08 12:25:10 +00:00
Jiri Slaby
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
Jiri Slaby
a8b3a83553 up to 1.3.0+20170602 
OBS-URL: https://build.opensuse.org/package/show/devel:tools:statica/klee?expand=0&rev=23
 2017-06-05 07:56:22 +00:00
Dominique Leuenberger
3db80908b0 Accepting request 491222 from devel:tools:statica 
Update to version 1.3.0+20170409

build with uclibc

OBS-URL: https://build.opensuse.org/request/show/491222
OBS-URL: https://build.opensuse.org/package/show/openSUSE:Factory/klee?expand=0&rev=2
 2017-04-28 07:13:49 +00:00
Jiri Slaby
4091f8aa43 up to 20170409 
OBS-URL: https://build.opensuse.org/package/show/devel:tools:statica/klee?expand=0&rev=21
 2017-04-26 09:27:22 +00:00
Jiri Slaby
d950c44f6b fix deleted patches 
OBS-URL: https://build.opensuse.org/package/show/devel:tools:statica/klee?expand=0&rev=20
 2017-04-04 14:28:34 +00:00
Jiri Slaby
c13a764bf8 up to 20170328 
OBS-URL: https://build.opensuse.org/package/show/devel:tools:statica/klee?expand=0&rev=19
 2017-03-28 13:46:37 +00:00
Jiri Slaby
bf7d27b77c fix files 
OBS-URL: https://build.opensuse.org/package/show/devel:tools:statica/klee?expand=0&rev=18
 2017-03-27 07:00:57 +00:00
Jiri Slaby
9b9b2aab5a up to 20170324 
OBS-URL: https://build.opensuse.org/package/show/devel:tools:statica/klee?expand=0&rev=17
 2017-03-27 06:47:25 +00:00
Jiri Slaby
1d4f24e001 fix changes 
OBS-URL: https://build.opensuse.org/package/show/devel:tools:statica/klee?expand=0&rev=16
 2017-03-27 06:28:09 +00:00
Jiri Slaby
879c9db16a check only on x86_64 
OBS-URL: https://build.opensuse.org/package/show/devel:tools:statica/klee?expand=0&rev=15
 2017-03-18 12:33:31 +00:00
Jiri Slaby
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
Jiri Slaby
fbacf18efd require explicitly klee-uclibc-devel-static 
OBS-URL: https://build.opensuse.org/package/show/devel:tools:statica/klee?expand=0&rev=13
 2017-03-17 08:05:42 +00:00
Jiri Slaby
e862f96ab7 fix build & update 
OBS-URL: https://build.opensuse.org/package/show/devel:tools:statica/klee?expand=0&rev=12
 2017-03-16 16:19:41 +00:00
Dominique Leuenberger
e32e7e3e7c Accepting request 456830 from devel:tools:statica 
klee is a symbolic executor used for static analysis.

OBS-URL: https://build.opensuse.org/request/show/456830
OBS-URL: https://build.opensuse.org/package/show/openSUSE:Factory/klee?expand=0&rev=1
 2017-03-10 20:45:54 +00:00
Jiri Slaby
bcb81be84f enable uclibc 
OBS-URL: https://build.opensuse.org/package/show/devel:tools:statica/klee?expand=0&rev=10
 2017-03-02 14:16:34 +00:00
Jiri Slaby
f4f00b978e enable uclibc 
OBS-URL: https://build.opensuse.org/package/show/devel:tools:statica/klee?expand=0&rev=9
 2017-03-02 14:13:43 +00:00
Jiri Slaby
c84247b608 enable uclibc 
OBS-URL: https://build.opensuse.org/package/show/devel:tools:statica/klee?expand=0&rev=8
 2017-03-02 14:13:01 +00:00
Jiri Slaby
c6bb1cb51e enable uclibc 
OBS-URL: https://build.opensuse.org/package/show/devel:tools:statica/klee?expand=0&rev=7
 2017-03-02 14:12:40 +00:00
Jiri Slaby
a1752d2bff enable uclibc 
OBS-URL: https://build.opensuse.org/package/show/devel:tools:statica/klee?expand=0&rev=6
 2017-03-02 14:12:24 +00:00
Jiri Slaby
2560897075 add %doc 
OBS-URL: https://build.opensuse.org/package/show/devel:tools:statica/klee?expand=0&rev=5
 2017-03-02 13:49:15 +00:00
Jiri Slaby
3998dbd8c4 up to 20170221 
OBS-URL: https://build.opensuse.org/package/show/devel:tools:statica/klee?expand=0&rev=4
 2017-02-22 12:32:55 +00:00
Jiri Slaby
9ee0ad4aea factorize rpmlintrc 
OBS-URL: https://build.opensuse.org/package/show/devel:tools:statica/klee?expand=0&rev=3
 2017-02-13 13:05:59 +00:00
Jiri Slaby
b43f3a2f26 fix 
OBS-URL: https://build.opensuse.org/package/show/devel:tools:statica/klee?expand=0&rev=2
 2017-02-13 12:15:17 +00:00
Jiri Slaby
96d1e5174c Accepting request 456778 from home:jirislaby:statica 
add klee

OBS-URL: https://build.opensuse.org/request/show/456778
OBS-URL: https://build.opensuse.org/package/show/devel:tools:statica/klee?expand=0&rev=1
 2017-02-13 12:09:45 +00:00