http://nts.imag.fr/index.php?action=history&feed=atom&title=Numerical_Transition_Systems%3ANts-lib 2026-05-06T16:53:59Z Revision history for this page on the wiki MediaWiki 1.26.2 http://nts.imag.fr/index.php?title=Numerical_Transition_Systems:Nts-lib&diff=6&oldid=prev 2013-01-31T14:19:34Z

<p>Radu iosif moved page <a href="/index.php/Nts-lib" class="mw-redirect" title="Nts-lib">Nts-lib</a> to <a href="/index.php/Numerical_Transition_Systems:Nts-lib" title="Numerical Transition Systems:Nts-lib">Numerical Transition Systems:Nts-lib</a></p> <table class='diff diff-contentalign-left'> <tr style='vertical-align: top;' lang='en'> <td colspan='1' style="background-color: white; color:black; text-align: center;">← Older revision</td> <td colspan='1' style="background-color: white; color:black; text-align: center;">Revision as of 14:19, 31 January 2013</td> </tr><tr><td colspan='2' style='text-align: center;' lang='en'><div class="mw-diff-empty">(No difference)</div> </td></tr></table>

Radu iosif http://nts.imag.fr/index.php?title=Numerical_Transition_Systems:Nts-lib&diff=5&oldid=prev 2013-01-31T14:18:41Z

<p></p> <table class='diff diff-contentalign-left'> <col class='diff-marker' /> <col class='diff-content' /> <col class='diff-marker' /> <col class='diff-content' /> <tr style='vertical-align: top;' lang='en'> <td colspan='2' style="background-color: white; color:black; text-align: center;">← Older revision</td> <td colspan='2' style="background-color: white; color:black; text-align: center;">Revision as of 14:18, 31 January 2013</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l8" >Line 8:</td> <td colspan="2" class="diff-lineno">Line 8:</td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>* OCaml distribution: ocaml-nts.tgz (build of 2012/07/11)</div></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>* OCaml distribution: ocaml-nts.tgz (build of 2012/07/11)</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"></td></tr> <tr><td class='diff-marker'>−</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>'IMPORTANT': The standardization of NTS is still ongoing. For this reason, slight changes in the language are to be expected in the future. These changes will not affect the basic language constructs, therefore existing NTS clients will work with future releases. For suggestions concerning the design and implementation of the NTS library, please contact:</div></td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins class="diffchange diffchange-inline">'</ins>'IMPORTANT<ins class="diffchange diffchange-inline">'</ins>': The standardization of NTS is still ongoing. For this reason, slight changes in the language are to be expected in the future. These changes will not affect the basic language constructs, therefore existing NTS clients will work with future releases. For suggestions concerning the design and implementation of the NTS library, please contact:</div></td></tr> </table>

Radu iosif http://nts.imag.fr/index.php?title=Numerical_Transition_Systems:Nts-lib&diff=4&oldid=prev 2013-01-31T14:18:27Z

<p>Created page with &quot; &#039;&#039;&#039;Numerical Transition Systems Library&#039;&#039;&#039; The NTS-lib consists of a language specification (NTL), a parser for the language, abstract syntax tree classes, and a pretty-prin...&quot;</p> <p><b>New page</b></p><div> '''Numerical Transition Systems Library'''<br /> <br /> 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.<br /> <br /> * The NTL language specification: pdf<br /> * Benchmarks<br /> * Java distribution: nts-java.tgz (build of 2013/01/14)<br /> * OCaml distribution: ocaml-nts.tgz (build of 2012/07/11)<br /> <br /> 'IMPORTANT': The standardization of NTS is still ongoing. For this reason, slight changes in the language are to be expected in the future. These changes will not affect the basic language constructs, therefore existing NTS clients will work with future releases. For suggestions concerning the design and implementation of the NTS library, please contact:</div>

Radu iosif