| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 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 |