Fortress: Newshttps://forge.ispras.ru/https://forge.ispras.ru/favicon.ico?16490126692023-03-16T10:02:23ZOpen-Source Projects
Redmine Fortress v0.4.35 releasedhttps://forge.ispras.ru/news/7692023-03-16T10:02:23ZAlexander Protsenkoprotsenko@ispras.ru
The new release contains the following changes:
<ul>
<li>The data model:<br /> - Support for arbitrary function definition and application, including recursive functions<br /> - Support for datatypes</li>
<li><strong>SMT-LIB</strong> interoperation layer:<br /> - Support for assertion levels<br /> - Support for multiple constraints in a single solver invocation</li>
<li>Fixed several issues leading to runtime exceptions</li>
</ul>
<p>The library can be downloaded from here: <a class="external" href="http://forge.ispras.ru/projects/solver-api/files">http://forge.ispras.ru/projects/solver-api/files</a></p> Fortress v0.4.34 releasedhttps://forge.ispras.ru/news/7462020-09-16T07:46:16ZSergey Smolovsmolov@ispras.ru
The new release contains the following changes:
<ul>
<li><a href="https://boolector.github.io" class="external">Boolector</a> solver is supported</li>
<li>CVC4 1.8 solver is used</li>
<li>Bug fixes and code improvements</li>
</ul>
<p>The library can be downloaded from here: <a class="external" href="http://forge.ispras.ru/projects/solver-api/files">http://forge.ispras.ru/projects/solver-api/files</a><br />The complete list of resolved issues is available <a href="https://forge.ispras.ru/projects/solver-api/issues?utf8=%E2%9C%93&set_filter=1&sort=id%3Adesc&f%5B%5D=status_id&op%5Bstatus_id%5D=c&f%5B%5D=cf_3&op%5Bcf_3%5D=%7E&v%5Bcf_3%5D%5B%5D=0.4.34-beta-200916&f%5B%5D=&available_columns%5B%5D=cf_3&c%5B%5D=tracker&c%5B%5D=status&c%5B%5D=priority&c%5B%5D=subject&c%5B%5D=author&c%5B%5D=assigned_to&c%5B%5D=fixed_version&group_by=&t%5B%5D=" class="external">here</a></p> Fortress v0.4.33 releasedhttps://forge.ispras.ru/news/7182019-07-22T11:18:46ZSergey Smolovsmolov@ispras.ru
The new release contains the following changes:
<ul>
<li>New SmtKeyword class for SMT-LIBv2 keywords</li>
<li>Print user data for unsupported operation</li>
<li>SmtTextSolver: always parse model for array values</li>
<li>Other bug fixes and code improvements</li>
</ul>
<p>The library can be downloaded from here: <a class="external" href="http://forge.ispras.ru/projects/solver-api/files">http://forge.ispras.ru/projects/solver-api/files</a></p> Fortress v0.4.32 releasedhttps://forge.ispras.ru/news/7022018-08-20T08:50:16ZAndrei Tatarnikovandrewt@ispras.ru
<p>The new release contains the following changes:</p>
<ul>
<li>Enhancements in type calculation logic</li>
<li>New method <code>DataType.isTypeId</code></li>
<li>New methods <code>Data.getString</code> and <code>NodeValue.getString</code></li>
<li>Methods <code>Data.newArray</code> and <code>NodeValue.newArray</code> were renamed to newMap</li>
<li>Other bug fixes and code improvements</li>
</ul>
<p>The library can be downloaded from here: <a class="external" href="http://forge.ispras.ru/projects/solver-api/files">http://forge.ispras.ru/projects/solver-api/files</a></p> Fortress v0.4.31 releasedhttps://forge.ispras.ru/news/6902018-05-04T15:24:04ZAndrei Tatarnikovandrewt@ispras.ru
<p>The new release contains the following changes:</p>
<ul>
<li>New standard operation <code>FUNCTION</code></li>
<li>Support for new operations in <code>VerilogExprPrinter</code> and <code>VhdlExprPrinter</code></li>
<li>Support for IO streams in <code>XmlConstraintLoader</code> and <code>XmlConstraintSaver</code></li>
<li>New utility method <code>Node.deepestCopy</code> to preserve user data</li>
<li>New convenience method <code>NodeValue.newBitVector(boolean)</code></li>
<li>New <code>BitVectorMath</code> methods: <code>nandr</code>, <code>norr</code>, and <code>xnorr</code></li>
<li>Removed redundant size checks for multiplication and division from <code>BitVectorMath</code></li>
<li>Bug fix in <code>BitVector.valueOf(byte[], int)</code></li>
<li>Other bug fixes and code improvements</li>
</ul>
<p>The library can be downloaded from here: <a class="external" href="http://forge.ispras.ru/projects/solver-api/files">http://forge.ispras.ru/projects/solver-api/files</a></p> Fortress v0.4.30 releasedhttps://forge.ispras.ru/news/6862018-02-19T07:50:59ZAndrei Tatarnikovandrewt@ispras.ru
<p>The new release contains the following changes:</p>
<ul>
<li>New utility methods <code>ExprUtils.isOperation</code>, <code>Node.isType</code>, and <code>CollectionUtils.mergeLists</code></li>
<li>New method <code>Transformer.substitute(Node, NodeProvider)</code> that facilitates node substitution</li>
</ul>
<p>The library can be downloaded from here: <a class="external" href="http://forge.ispras.ru/projects/solver-api/files">http://forge.ispras.ru/projects/solver-api/files</a></p> Fortress v0.4.29 releasedhttps://forge.ispras.ru/news/6842018-02-02T13:04:50ZAndrei Tatarnikovandrewt@ispras.ru
<p>The new release contains the following changes:</p>
<ul>
<li>Pretty printing of SMT code</li>
<li>Improvements in the Java printer</li>
<li>New convenience methods <code>NodeValue.newBitVector</code></li>
<li>Additional <code>NodeVariable</code> constructor that takes a dynamic data object</li>
<li>Some general code improvements</li>
</ul>
<p>The library can be downloaded from here: <a class="external" href="http://forge.ispras.ru/projects/solver-api/files">http://forge.ispras.ru/projects/solver-api/files</a></p> Fortress v0.4.28 releasedhttps://forge.ispras.ru/news/6832018-01-22T08:21:29ZAndrei Tatarnikovandrewt@ispras.ru
<p>The new release contains the following changes:</p>
<ul>
<li>Utility class <code>Nodes</code> that provides shortcuts for constructing operation nodes</li>
<li>Printer for saving expressions into Java code</li>
<li>Code conventions enforced, which caused some renaming in public methods</li>
</ul>
<p>The library can be downloaded from here: <a class="external" href="http://forge.ispras.ru/projects/solver-api/files">http://forge.ispras.ru/projects/solver-api/files</a></p> Fortress v0.4.27 releasedhttps://forge.ispras.ru/news/6592017-08-17T20:26:15ZAndrei Tatarnikovandrewt@ispras.ru
<p>The new release contains the following changes:</p>
<ul>
<li>Bug fixes and improvements in <code>BitVector</code> (mappings were reviewed)</li>
</ul>
<p>The library can be downloaded from here: <a class="external" href="http://forge.ispras.ru/projects/solver-api/files">http://forge.ispras.ru/projects/solver-api/files</a></p> Fortress v0.4.26 releasedhttps://forge.ispras.ru/news/6582017-08-16T15:10:29ZAndrei Tatarnikovandrewt@ispras.ru
<p>The new release contains the following changes:</p>
<ul>
<li>Fix in <code>BitVectorMapping</code></li>
<li>Improvement in type calculation rules (support for unbounded <code>BVCONCAT</code>)</li>
</ul>
<p>The library can be downloaded from here: <a class="external" href="http://forge.ispras.ru/projects/solver-api/files">http://forge.ispras.ru/projects/solver-api/files</a></p>