source:
@
287da46
Name | Size | Rev | Age | Author | Last Change |
---|---|---|---|---|---|
tools | 7bdcac1 | 6 years | Added the option to make longrun tests run until failure | ||
src | d286cf68 | 6 years | Fix TypeEnvironment? bind algorithms | ||
Jenkins | da60c631 | 6 years | Fixed various urls after https migration | ||
doc | 287da46 | 6 years | more updates | ||
automake | 59310bf | 7 years | automake directory must copy files, use --copy | ||
configure | 221.8 KB | 05f4b85 | 7 years | Jenkins benchmark can now skipcompilation on demand and pin programs … | |
aclocal.m4 | 44.5 KB | 44f44617 | 7 years | Fix build for 16.04 | |
Makefile.in | 28.4 KB | 54cd58b | 7 years | Add missing Indenter.h include | |
Jenkinsfile | 10.4 KB | da60c631 | 6 years | Fixed various urls after https migration | |
configure.ac | 7.2 KB | 05f4b85 | 7 years | Jenkins benchmark can now skipcompilation on demand and pin programs … | |
config.h.in | 6.1 KB | 44f44617 | 7 years | Fix build for 16.04 | |
README | 4.9 KB | da60c631 | 6 years | Fixed various urls after https migration | |
LICENSE | 1.5 KB | c11e31c | 9 years | add inline and attribute qualifiers, cfa.y comment formatting, fix … | |
INSTALL | 1.3 KB | 08061589 | 8 years | more case statement cleanup | |
Makefile.am | 1.0 KB | 874960b | 7 years | Man pages are now install on make install | |
.gitignore | 1.0 KB | 4ab3d68e | 7 years | Fixed gitignore rules for makefiles in tools folder |
Note: See TracBrowser
for help on using the repository browser.