Source

sketch-frontend /

Filename Size Date modified Message
.settings
benchmarks
customcodegen
distconfig/linux_rpm
docs/SketchManual
pldi
reports
scripts
spmd
src
1.6 KB
Fixed a couple of bugs related to holes in parameter lists and struct initializers.
504 B
red-black gs first version ok
1.2 KB
[minor] tag version of branch
784 B
Fixed a couple of bugs related to holes in parameter lists and struct initializers.
304 B
start fcn info dumping
86 B
Made the final changes to the SKETCH build system. This includes:
345 B
[scripted] delete fossils, more modifications to target after renames
5 B
Top-level files for new make system.
1.1 KB
Preparing for release 1.6.5
7.1 KB
Increased version number to 1.6.8.
5 B
Top-level files for new make system.
511 B
[scripted] adjust to renames
24 B
add some test scripts
177 B
update mpimerge; remove some verbose printouts
7.9 KB
Wilcoxon signed rank test-based strategy
groupId ${groupId}
artifactId ${artifactId}
version ${version}

Project: ${name}
Short description: ${description}
URL: ${url}

Developing
    Please see the SKETCH website above for all development notes.

Running
    >>> sketch -h

Packaging with backend -- replace the "../sketch-backend" with whereever you have the backend project.
    >>> mvn assembly:assembly -Dsketch-backend-proj=../sketch-backend

Troubleshooting
    - Make sure you have Java 1.6.0 or later installed. Try this with "java -version".