emilytrau/lix
1
0
Fork 0
forked from lix-project/lix
Code Pull requests Activity
748 commits 12 branches 0 tags 64 MiB
C++ 83.2%
Shell 7.5%
Nix 5.1%
Makefile 1%
M4 0.9%
Other 2.2%
Find a file
Eelco Dolstra 06b4424286 * Add missing files to dist. 
* Fix GC and substitute bugs related to self-references.  Add a
  regression test.
2005-02-01 09:23:38 +00:00
corepkgs * Really fix the substitute mechanism, i.e., ensure the closure 2005-01-25 17:08:52 +00:00
doc * NEWS and manual update for release 0.7. 2005-01-12 10:27:46 +00:00
externals * Use aterm 2.3.1. 2004-12-29 17:29:24 +00:00
misc * A flag `--keep-going / -k' to keep building goals if one fails, as 2004-06-25 15:36:09 +00:00
scripts * Start of concurrent garbage collection. Processes write temporary 2005-01-31 10:27:25 +00:00
src * Add missing files to dist. 2005-02-01 09:23:38 +00:00
tests * Add missing files to dist. 2005-02-01 09:23:38 +00:00
AUTHORS * Put something in here. 2004-11-07 20:30:02 +00:00
bootstrap.sh * A script to generate the Auto* stuff. 2004-07-30 13:45:13 +00:00
ChangeLog * Autoconf / Automake configuration and building. 2003-04-04 16:14:56 +00:00
configure.ac * Bump version number to 0.8. 2005-01-12 13:23:12 +00:00
COPYING * Autoconf / Automake configuration and building. 2003-04-04 16:14:56 +00:00
INSTALL * Autoconf / Automake configuration and building. 2003-04-04 16:14:56 +00:00
Makefile.am * Start of concurrent garbage collection. Processes write temporary 2005-01-31 10:27:25 +00:00
NEWS * NEWS and manual update for release 0.7. 2005-01-12 10:27:46 +00:00
nix.spec.in * Hack for perl(readmanifest) dependency. 2004-09-08 12:07:19 +00:00
README * Add SHA-256. 2005-01-14 12:03:04 +00:00
substitute.mk * A test to verify that Nix executes build jobs in parallel, if 2004-05-04 17:04:17 +00:00

README 

For installation and usage instructions, please read the manual, which
can be found in `docs/manual/manual.html', and additionally at the Nix
website at <http://www.cs.uu.nl/groups/ST/Trace/Nix>.


Acknowledgments

This product includes software developed by the OpenSSL Project for
use in the OpenSSL Toolkit (http://www.OpenSSL.org/)