source: @ b69233ac

Name	Size	Rev	Age	Author	Last Change
automake		1f86d5e	6 years	pabuhr	remove unnecessary requirements in configure.ac, add check for …
benchmark		54db6ba	6 years	Thierry Delisle	Fixed old style tls declaration in benchmark
doc		4487667	5 years	pabuhr	fix small wording problems in concurrency paper from Section 5 to end
driver		d88f8b3b	5 years	ajbeach	Another fix to break cycles in the converter.
examples		200fcb3	6 years	pabuhr	add auto newline to sout, change endl to nl
Jenkins		c6a90bf	6 years	Thierry Delisle	Fixed bad merge in jenkins file
libcfa		54b3fde	5 years	pabuhr	formatting
longrun_tests		e8fe5e0	6 years	Thierry Delisle	Fixing longrun_tests to compile
src		b69233ac	5 years	a3moss	Port assertion satisfaction to new AST
tests		dc5072f	5 years	pabuhr	remove const char * input because of error
tools		8d90b6b	6 years	ajbeach	Added a utility that counts lines post-pre-processing.
.autom4te.cfg	290 bytes ​	d817f5a	6 years	Thierry Delisle	Added config files to move autom4te cache out of root folder
.gitignore	1.2 KB ​	70a3e16	6 years	pabuhr	add libtool
aclocal.m4	42.1 KB ​	107b01a	6 years	Thierry Delisle	Several changes to the makefiles - change .c tests to .cfa - add …
configure	593.4 KB ​	120a28c3	5 years	Thierry Delisle	Added support for address-sanitizer which requires disabling Heap …
configure.ac	8.0 KB ​	120a28c3	5 years	Thierry Delisle	Added support for address-sanitizer which requires disabling Heap …
INSTALL	1002 bytes ​	ca0f5e34	6 years	Thierry Delisle	Update install file
Jenkinsfile	12.9 KB ​	cdcd53dc	6 years	Thierry Delisle	Fixed inverted condition
LICENSE	1.5 KB ​	c11e31c	10 years	pabuhr	add inline and attribute qualifiers, cfa.y comment formatting, fix …
Makefile.am	1.6 KB ​	1f86d5e	6 years	pabuhr	remove unnecessary requirements in configure.ac, add check for …
Makefile.in	30.0 KB ​	1f86d5e	6 years	pabuhr	remove unnecessary requirements in configure.ac, add check for …
README	4.9 KB ​	da60c631	6 years	Thierry Delisle	Fixed various urls after https migration