tools.sh
|
61 |
7 years |
cdecanni |
* improved scripts.
|
|
tabulate
|
79 |
7 years |
cdecanni |
* many changes, including a script to generate html tables from the
performanc... |
|
run
|
100 |
7 years |
cdecanni |
* a few small changes in the scripts.
|
|
results.css
|
79 |
7 years |
cdecanni |
* many changes, including a script to generate html tables from the
performanc... |
|
manual.rc
|
40 |
7 years |
cdecanni |
* added new makefiles.
* slightly modified test vectors.
* did some cleanup in s... |
|
configure
|
100 |
7 years |
cdecanni |
* a few small changes in the scripts.
|
|
collect
|
88 |
7 years |
cdecanni |
* (hopefully) fixed a bug which caused scripts/run to return prematurely.
* made... |
|
cleanup
|
100 |
7 years |
cdecanni |
* a few small changes in the scripts.
|
