Sign Up
Log In
Log In
or
Sign Up
Places
All Projects
Status Monitor
Collapse sidebar
devel:tools:statica
klee
Overview
Repositories
Revisions
Requests
Users
Attributes
Meta
Meta Configuration of Package klee
<package name="klee" project="devel:tools:statica"> <title>LLVM Execution Engine</title> <description>KLEE is a symbolic virtual machine built on top of the LLVM compiler infrastructure, and available under the UIUC open source license. For more information on what KLEE is and what it can do, see the OSDI 2008 paper. </description> <build> <disable repository="SLE_12"/> <disable repository="SLE_12_SP1"/> <disable repository="SLE_12_SP2"/> <disable repository="openSUSE_Leap_42.1"/> <disable repository="openSUSE_Leap_42.2"/> <disable repository="openSUSE_Leap_42.3"/> <disable repository="SLE_12_SP3"/> <disable repository="openSUSE_Leap_15.0"/> <disable repository="openSUSE_Leap_15.1"/> <disable repository="openSUSE_Leap_15.2"/> <disable repository="SLE_12_SP5"/> <disable repository="openSUSE_Leap_15.3"/> </build> <url>http://klee.github.io/</url> </package>
Locations
Projects
Search
Status Monitor
Help
OpenBuildService.org
Documentation
API Documentation
Code of Conduct
Contact
Support
@OBShq
Terms
openSUSE Build Service is sponsored by
The Open Build Service is an
openSUSE project
.
Sign Up
Log In
Places
Places
All Projects
Status Monitor