Switch branches/tags
Clone or download
Latest commit 6db67f5 Sep 26, 2018
Permalink
Failed to load latest commit information.
bin
doc
ext Removed debugging message Sep 20, 2018
src Modify custom-enzyme handling. Sep 18, 2018
test
.gitignore update .gitignore Dec 13, 2017
.svnignore Updated code to generate and print svn revsion number as part of 'cru… Jun 30, 2014
AUTHORS Delete empty directories under the trunk, and update the text files i… Sep 11, 2013
CMakeLists.txt
COPYRIGHT Updated range of copyright dates. Sep 29, 2016
INSTALL license.txt files now included in root of distributions, updated INST… Oct 5, 2012
NEWS Delete empty directories under the trunk, and update the text files i… Sep 11, 2013
README Edits to Crux README. Sep 14, 2018
license.txt Delete empty directories under the trunk, and update the text files i… Sep 11, 2013
make-version-header.cmake modified to use abbreviated hash in version string Jan 3, 2018

README

For a gentle introduction to Crux, please see the Crux home page at
doc/user/crux.html or at http://crux.ms/.  Note that the HTML pages
for individual Crux commands are generated automatically, so these
will not exist in your local directory until after building the
software.

For installation instructions, see the installation tutorial linked
from the Crux home page listed above.

Source code can be found in the src subdirectory.

Documentation for Crux developers is at doc/developer/crux-developer.html.

Various smoke and regression tests are under the test directory.  The
primary set of tests use Cucumber, and are under test/smoke-test.  To
run them, install cucumber and then do "cd test/smoke-test; cucumber".