| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2022-12-17 | Write experiment details to file | Adam M. Stück | |
| Write useful details about the experiment to a 'details' file in '$OUTPUT_PATH/pipeline/details'. We now only copy the 'start' and 'run-model' scripts to the experiment's pipeline as the other scripts are not experiment specific. This speeds up the script a bit due to the reduced I/O operations. | |||
| 2022-12-17 | Simplified 'start' script usage | Adam M. Stück | |
| Removed switch to use sbatch. Using sbatch is now the default. The line to run VerifyPN locally is just left as a comment beneath the sbatch call. Added a BINARY argument, so I don't have to hardcode each experiments binary. Updated and improved the help message to reflect the changes. | |||
| 2022-12-17 | Simplified 'start_jobs' function | Adam M. Stück | |
| 2022-12-16 | Improved file structure | Adam M. Stück | |
 |
index : pipeline | |
| Scripts for VerifyPN (RPFS) experiments on DEIS cluster | Adam Stück |
| summaryrefslogtreecommitdiff |