source: @ 1db306a

Name	Size	Rev	Age	Author	Last Change
tools		6f1e695	4 years	Thierry Delisle	Removed executables from tools dir
tests		1db306a	4 years	Thierry Delisle	First attempt to sort alternatives before printing.
src		1db306a	4 years	Thierry Delisle	First attempt to sort alternatives before printing.
longrun_tests		6bd2cfb	4 years	Thierry Delisle	Removed generated automake files. * WARNING * With this push …
libcfa		b37515b	4 years	pabuhr	start converting from pointer to reference parameters/returns across …
Jenkins		956910d	4 years	Thierry Delisle	Fix syntax of FullBuild? script
driver		b4130f9	4 years	pabuhr	add command-line flag --save-temp along with -save-temp
doc		1f9a4d0	4 years	pabuhr	changes for SP&E proofs of concurrency paper
benchmark		2b2f59d	4 years	Thierry Delisle	fix ld flags for httpforall
README	4.9 KB ​	da60c631	6 years	Thierry Delisle	Fixed various urls after https migration
Makefile.am	1.9 KB ​	2fbc904	4 years	Thierry Delisle	Makefiles now pass 'distcheck' until test folder.
LICENSE	1.5 KB ​	c11e31c	9 years	pabuhr	add inline and attribute qualifiers, cfa.y comment formatting, fix …
Jenkinsfile	17.0 KB ​	d21dd3cb	4 years	Thierry Delisle	Jenkins master build script now supports new-ast option
INSTALL	1002 bytes ​	ca0f5e34	6 years	Thierry Delisle	Update install file
configure.ac	9.9 KB ​	d738aeb	4 years	Thierry Delisle	Added makefile for http server
autogen.sh	626 bytes ​	f575124	4 years	Thierry Delisle	Added script to setup automake before running configure
.gitignore	1.3 KB ​	d5a1b46	4 years	pabuhr	update files in .gitignore
.autom4te.cfg	290 bytes ​	d817f5a	6 years	Thierry Delisle	Added config files to move autom4te cache out of root folder