source: @ a037f85

Name	Size	Rev	Age	Author	Last Change
tools		c12869e	5 years	pabuhr	update benchmarks for concurrency paper
tests		a254fa56	5 years	Thierry Delisle	Modified force_preempt to be deterministic
src		aeb5d0d	5 years	pabuhr	parse monitor generator,coroutine,thread
longrun_tests		1d72a11	5 years	Thierry Delisle	Fixed headers for benchmarks in Python, Rust and NodeJs?
libcfa		ac2b598	5 years	Thierry Delisle	Changed descriptors for concurrency to use $ prefix instead of …
Jenkins		b4a573c	5 years	Thierry Delisle	Fixed bad copy/paste in full build script
examples		033ff37	5 years	pabuhr	remove attribute expression '@'name mechanism
driver		92a9768	5 years	Thierry Delisle	Marked libcfa as 'no-as-needed' to the linker, it seems to fix linking …
doc		a037f85	5 years	Thierry Delisle	New draft of my compII
benchmark		dd9e1ca	5 years	Thierry Delisle	Reverted to nodebug for benchmarks
automake		e11957e	5 years	Thierry Delisle	Undid the change to automake/missing and now the build machines simply …
configure	594.9 KB ​	158b026	5 years	Thierry Delisle	Remove flags -in-tree and -disttree, now using paths and …
aclocal.m4	42.1 KB ​	107b01a	6 years	Thierry Delisle	Several changes to the makefiles - change .c tests to .cfa - add …
Makefile.in	30.1 KB ​	158b026	5 years	Thierry Delisle	Remove flags -in-tree and -disttree, now using paths and …
Jenkinsfile	16.3 KB ​	13d2dac	5 years	Thierry Delisle	fixed scheduling benchmarks in jenkins to use consistent file naming
configure.ac	9.0 KB ​	158b026	5 years	Thierry Delisle	Remove flags -in-tree and -disttree, now using paths and …
README	4.9 KB ​	da60c631	6 years	Thierry Delisle	Fixed various urls after https migration
Makefile.am	1.7 KB ​	e70e54e	5 years	Thierry Delisle	Added configure-libcfa target to help jenkins build in steps
LICENSE	1.5 KB ​	c11e31c	9 years	pabuhr	add inline and attribute qualifiers, cfa.y comment formatting, fix …
.gitignore	1.2 KB ​	6716d78	5 years	Thierry Delisle	Fixed gitignore which was ignoring tools/build and added missing …
INSTALL	1002 bytes ​	ca0f5e34	6 years	Thierry Delisle	Update install file
.autom4te.cfg	290 bytes ​	d817f5a	6 years	Thierry Delisle	Added config files to move autom4te cache out of root folder