source:
@
16a7d84
Name | Size | Rev | Age | Author | Last Change |
---|---|---|---|---|---|
tools | 7bdcac1 | 6 years | Added the option to make longrun tests run until failure | ||
src | 16a7d84 | 6 years | Minor cleanup in GenType? | ||
Jenkins | 6fd8b0f | 6 years | Remove old and non-existing tests from quick test list. No longer … | ||
doc | a74503ff | 6 years | harmonize content with paper | ||
automake | 59310bf | 7 years | automake directory must copy files, use --copy | ||
README | 4.9 KB | da60c631 | 6 years | Fixed various urls after https migration | |
Makefile.in | 28.4 KB | 54cd58b | 7 years | Add missing Indenter.h include | |
Makefile.am | 1.0 KB | 874960b | 7 years | Man pages are now install on make install | |
LICENSE | 1.5 KB | c11e31c | 9 years | add inline and attribute qualifiers, cfa.y comment formatting, fix … | |
Jenkinsfile | 10.4 KB | da60c631 | 6 years | Fixed various urls after https migration | |
INSTALL | 1.3 KB | 08061589 | 8 years | more case statement cleanup | |
configure.ac | 7.2 KB | 05f4b85 | 7 years | Jenkins benchmark can now skipcompilation on demand and pin programs … | |
configure | 221.8 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 | |
aclocal.m4 | 44.5 KB | 44f44617 | 7 years | Fix build for 16.04 | |
.gitignore | 1.0 KB | 1d386a7 | 6 years | Prelude is now generated |
Note: See TracBrowser
for help on using the repository browser.