Difference between revisions of "Benchmarks"

From Numerical Transition Systems
Jump to: navigation, search
 
(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] 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.
+
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.