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