Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Remove the file and column options from RTSpin.ovh | Christopher Kenna | 2011-10-11 |
| | |||
* | Add a new version of RTSpin | Christopher Kenna | 2011-10-10 |
This version uses nanoseconds as its parameters and takes an extra parameter that is the time to run for; i.e., RTSpin does not run for its WCET, but something less than that. |