source: @ 3bc59b7

Name	Size	Rev	Age	Author	Last Change
tools		5992ff4	4 years	Thierry Delisle	Tentative fix to last commit
tests		edf3ff1	4 years	pabuhr	add collection tests
src		6a45bd78	4 years	f37yu	cleanup: remove params in TypeDecl? (never used)
longrun_tests		6bd2cfb	4 years	Thierry Delisle	Removed generated automake files. * WARNING * With this push …
libcfa		e4b6b7d3	4 years	pabuhr	for debug, fill deleted memory with deadbeef pattern
Jenkins		4af1021	4 years	Thierry Delisle	I seem to have to checkout the entire repo just to get the commit id.
example		0f88a225	4 years	Thierry Delisle	updated out-of-date example echo network server
driver		2a59655	4 years	Thierry Delisle	make distcheck FINALLY passes
doc		1f9a4d0	4 years	pabuhr	changes for SP&E proofs of concurrency paper
benchmark		ee913e0a	4 years	Thierry Delisle	Http server now waits for socket to be available instead of aborting.
README	4.9 KB ​	da60c631	6 years	Thierry Delisle	Fixed various urls after https migration
Makefile.am	2.3 KB ​	5992ff4	4 years	Thierry Delisle	Tentative fix to last commit
LICENSE	1.5 KB ​	c11e31c	9 years	pabuhr	add inline and attribute qualifiers, cfa.y comment formatting, fix …
Jenkinsfile	14.8 KB ​	3bc59b7	4 years	Thierry Delisle	Removed test
INSTALL	1002 bytes ​	ca0f5e34	6 years	Thierry Delisle	Update install file
configure.ac	10.2 KB ​	a1850ac	4 years	Thierry Delisle	No longer distribute tools or pretty/printer
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