source:
configs/testing/bash
@
577
Name | Size | Rev | Age | Author | Last Change |
---|---|---|---|---|---|
../ | |||||
junk | 506 | 8 years | dubos | configs/testing : towards first working version | |
build.sh | 1.3 KB | 547 | 7 years | dubos | Testing : renamed build directories + minor fixes |
create_runs.sh | 7.0 KB | 577 | 7 years | dubos | Testing : store source tree in logs/ |
daily.sh | 1.0 KB | 506 | 8 years | dubos | configs/testing : towards first working version |
info.sh | 90 bytes | 560 | 7 years | dubos | testing : fix some issues with auto-generated correctness report |
post.sh | 2.1 KB | 560 | 7 years | dubos | testing : fix some issues with auto-generated correctness report |
report.sh | 152 bytes | 506 | 8 years | dubos | configs/testing : towards first working version |
submit.sh | 309 bytes | 506 | 8 years | dubos | configs/testing : towards first working version |
X64_CURIE.sh | 3.0 KB | 577 | 7 years | dubos | Testing : store source tree in logs/ |
xml.sh | 12.4 KB | 576 | 7 years | dubos | Testing : output initial condition |
Note: See TracBrowser
for help on using the repository browser.