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 0000058090 56.7 KB
_service 0000000582 582 Bytes
_servicedata 0000000220 220 Bytes
disable-failing-test.patch 0000000392 392 Bytes
klee-2.0+20190507.tar.xz 0000634512 620 KB
klee-rpmlintrc 0000000145 145 Bytes
klee.changes 0000063200 61.7 KB
klee.spec 0000003944 3.85 KB
not.cpp 0000001755 1.71 KB
Revision 15 (latest revision is 39)
Dominique Leuenberger's avatar Dominique Leuenberger (dimstar_suse) accepted request 705642 from Jiri Slaby's avatar Jiri Slaby (jirislaby) (revision 15) 
- Update to version 2.0+20190507:
  * Propagate correct version of metasmt to build script
  * Add missing dependency for tabulate package
  * Remove CC as requirement; automatically set by sanitizer_compiler
  * klee-stats: add - to to-csv/grafana options
  * Add klee-stats test, fix microseconds bug
  * Add MSan support for sqlite
  * Clean klee-stats, StatsTracker and cmake
  * Change the .stats format into sqlite3
  * Add FreeBSD OS triple in RaiseAsm
  * Teach ConcreteTest.py to use `gmake` instead of `make` on FreeBSD
  * and more
Comments 0
openSUSE Build Service is sponsored by
Places