Difference between revisions of "Benchmarks"
From Numerical Transition Systems
Radu iosif (Talk | contribs) (Created page with "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 is...") |
Radu iosif (Talk | contribs) |
||
| Line 1: | Line 1: | ||
| − | The NTS benchmarks are currently organized in this [https://github.com/pierreganty/NTSLib/ GIT] repository. | + | 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> or <pierre dot ganty at imdea dot org> in case this does not work. |
| − | + | ||
| − | 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> or <pierre dot ganty at imdea dot org> in case this does not work. | + | |
Revision as of 15:53, 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> or <pierre dot ganty at imdea dot org> in case this does not work.
