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