Differences

This shows you the differences between two versions of the page.

--- ntscomp_ntslib [2011/12/11 12:30] – radu.iosif
+++ ntscomp_ntslib [2013/02/13 10:48] (current) – radu.iosif
@@ Line 1: / Line 1: @@
-Numerical Transition Systems Library
+This page has moved [[http://nts.imag.fr/index.php/Main_Page|here]]
-====================================
-The NTS-lib consists of a language specification (NTL), a parser for the language, abstract syntax tree classes, and a pretty-printer. The NTS-lib provides a common exchange format for numerical program benchmarks.
-  * The **NTL language specification**: {{:ntslib.pdf|pdf}}
-  * **Java** distribution: {{:java-nts-1.0.0.tar|java-nts-1.0.0.tar}}
-  *   * Unordered List Item
-  * **OCaml** distribution: to be released soon