Sign Up
Log In
Log In
or
Sign Up
Places
All Projects
Status Monitor
Collapse sidebar
home:gatoatigrado1
Meta
Overview
Repositories
Monitor
Requests
Users
Subprojects
Project Config
Attributes
Signing Keys
Meta
Status
Pulse
Meta Configuration of home:gatoatigrado1
<project name="home:gatoatigrado1"> <title>SKETCH</title> <description>SKETCH is a software synthesis tool that allows for rapid development of highly tuned bug-free algorithm implementations. To do this, the programmer develops a sketch, or partial implementation, and a separate specification of the desired functionality. The synthesizer then completes the sketch to behave like the specification. The correctness of the synthesized implementation is guaranteed by the compiler. home page: http://sketch.cs.berkeley.edu</description> <person userid="gatoatigrado1" role="bugowner"/> <person userid="gatoatigrado1" role="maintainer"/> <build> <disable repository="openSUSE_11.2"/> </build> <publish> <disable repository="openSUSE_11.2"/> </publish> <debuginfo> <disable repository="openSUSE_11.2"/> </debuginfo> <useforbuild> <disable repository="openSUSE_11.2"/> </useforbuild> </project>
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