Difference between revisions of "Benchmarks"
From Numerical Transition Systems
Radu iosif (Talk | contribs) |
Radu iosif (Talk | contribs) |
||
| (3 intermediate revisions by the same user not shown) | |||
| Line 1: | Line 1: | ||
| − | The NTS benchmarks are currently organized in this [https://github.com/pierreganty/NTSLib/ GIT | + | The NTS benchmarks are currently organized in this [https://github.com/pierreganty/NTSLib/ GIT repository]. |
| + | |||
| + | To add more benchmarks, you can fork a new branch from it, and issue a pull request. | ||
| + | |||
| + | Please contact <radu dot iosif at imag dot fr> and <pierre dot ganty at imdea dot org> in case something goes wrong. | ||
Latest revision as of 16:15, 1 February 2013
The NTS benchmarks are currently organized in this GIT repository.
To add more benchmarks, you can fork a new branch from it, and issue a pull request.
Please contact <radu dot iosif at imag dot fr> and <pierre dot ganty at imdea dot org> in case something goes wrong.
