source: tools @ 23fb819

Name	Size	Rev	Age	Author	Last Change
../
build		9689e54	13 months	pabuhr	formatting
gdb		262d4d51	2 years	Thierry Delisle	Updating gdb tools to latest invoke.h changes
jenkins		ac1aba4b	2 years	Thierry Delisle	Tentative change to fix jenkins setup script when RUNPATH is not found …
langserver		628a7c5	4 years	Thierry Delisle	Minor changes to .gitignores
perf		d00ce99	3 years	Thierry Delisle	Several improvements to process_stat_array
prettyprinter		719fdbc	4 months	pabuhr	second attempt to get tools/prettyprinter to build in the distribution
vscode		b7d94ac5	3 years	Thierry Delisle	Last step tools and benchmark
auto-complete.md	1.3 KB ​	c26b98c4	3 years	Thierry Delisle	Finally added some steps for auto-completion in zsh
baseline.py	1.0 KB ​	c6f1f3e	5 years	Thierry Delisle	Jenkins now also computes various speed-up graphs for performance …
busy.c	1.3 KB ​	b002261	7 years	Thierry Delisle	Busy program now supports variable number of threads
catchsig.c	578 bytes ​	6f9cc13	5 years	pabuhr	formatting
cfa.nanorc	2.1 KB ​	3be6ef3	9 months	ajbeach	Added a few more missing keywords to the cfa.nanorc.
cforall.el	11.0 KB ​	51b7345	10 years	pabuhr	initial commit
error.c	129 bytes ​	7bdcac1	6 years	Thierry Delisle	Added the option to make longrun tests run until failure
expanded-line-count.sh	1.3 KB ​	8d90b6b	5 years	ajbeach	Added a utility that counts lines post-pre-processing.
Makefile.am	943 bytes ​	850aff1	3 years	Thierry Delisle	Added -Werror=return-type EVERYWHERE! Added -Wextra in some places.
repeat.c	3.7 KB ​	967e3c9	7 years	Thierry Delisle	Repeat tool can now redirect output
repeat.old	551 bytes ​	4149d9d	7 years	Thierry Delisle	replacing old repeat script with c program
stat.py	644 bytes ​	be5e34b	4 years	Thierry Delisle	Fixed stat.py to use python3
test_time.py	1.7 KB ​	03b1815	6 months	ajbeach	Added a Python script for reviewing the timing of the test suite.
watchdog.c	3.3 KB ​	7bdcac1	6 years	Thierry Delisle	Added the option to make longrun tests run until failure

Property mode set to 040000