source: @ a722c7a

Name	Size	Rev	Age	Author	Last Change
tools		967e3c9	7 years	Thierry Delisle	Repeat tool can now redirect output
Jenkins		e39647e	8 years	Thierry Delisle	Jenkins now uses the new mailing list
src		ff878b7	7 years	pabuhr	fix from last pull
doc		a722c7a	7 years	pabuhr	updates
automake		59310bf	8 years	pabuhr	automake directory must copy files, use --copy
Makefile.am	1.0 KB ​	874960b	8 years	Thierry Delisle	Man pages are now install on make install
Jenkinsfile	10.2 KB ​	91496f3	7 years	Thierry Delisle	Fixed behcnmarks for jenkins
configure.ac	7.2 KB ​	05f4b85	7 years	Thierry Delisle	Jenkins benchmark can now skipcompilation on demand and pin programs …
configure	221.8 KB ​	05f4b85	7 years	Thierry Delisle	Jenkins benchmark can now skipcompilation on demand and pin programs …
config.h.in	6.1 KB ​	44f44617	8 years	Thierry Delisle	Fix build for 16.04
aclocal.m4	44.5 KB ​	44f44617	8 years	Thierry Delisle	Fix build for 16.04
.gitignore	1.0 KB ​	4ab3d68e	7 years	Thierry Delisle	Fixed gitignore rules for makefiles in tools folder
Makefile.in	28.4 KB ​	54cd58b0	8 years	Rob Schluntz	Add missing Indenter.h include
README	4.9 KB ​	6244dfb	10 years	pabuhr	update INSTALL README documentation
LICENSE	1.5 KB ​	c11e31c	10 years	pabuhr	add inline and attribute qualifiers, cfa.y comment formatting, fix …
INSTALL	1.3 KB ​	08061589	9 years	pabuhr	more case statement cleanup