Overview Repositories Revisions Requests Users Attributes Meta

Klee

Edit Package klee

KLEE is a symbolic virtual machine built on top of the LLVM compiler infrastructure, and available under the UIUC open source license.

  • Developed at devel:tools:statica
  • Sources inherited from project openSUSE:Factory
  • 2 derived packages
  • Download package
  • osc -A https://api.opensuse.org checkout openSUSE:Factory:ARM/klee && cd $_
  • Create Badge
Refresh
Refresh
Source Files
Filename Size Changed
FileCheck.cpp 0000025580 25 KB
_service 0000000625 625 Bytes
_servicedata 0000000220 220 Bytes
klee-2.1+20200921.obscpio 0019188749 18.3 MB
klee-rpmlintrc 0000000145 145 Bytes
klee.changes 0000073137 71.4 KB
klee.obsinfo 0000000101 101 Bytes
klee.spec 0000004207 4.11 KB
not.cpp 0000001836 1.79 KB
Revision 23 (latest revision is 39)
Dominique Leuenberger's avatar Dominique Leuenberger (dimstar_suse) accepted request 836443 from Jiri Slaby's avatar Jiri Slaby (jirislaby) (revision 23) 
- Update to version 2.1+20200921:
  * Added a PR template, with a checklist documenting the most frequent issues we have encountered
  * [gen-bout] Support multiple symbolic files
  * Add klee-zesti a ZESTI like wrapper script
  * Fix codecov upload
  * Remove secure vars
  * Guard process-tree compression with a command-line switch
  * More robust handling of unknown intrinsics
  * Definition of __cxa_thread_atexit_impl for the KLEE libc.
  * klee-stats: check for a run.stats file in the klee-out directory, to prevent outputting wrong data.
  * DiscretePDF: use IDs instead of pointers (see PR #739)
  * New intrinsic: klee_is_replay
- disable 32 bit archs as klee doesn't (and won't) build on them
Comments 0
openSUSE Build Service is sponsored by
Places