Differences

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

--- eldarica [2013/07/14 21:54]
vkuncak
+++ eldarica [2014/09/23 17:16] (current)
hossein [Download]
@@ Line 1: / Line 1: @@
 ====== ELDARICA ======
+----
+NEW: GitHub link: https://github.com/uuverifiers/eldarica
+----
 |     [[http://www.public.asu.edu/~camartin/plants/Plant%20html%20files/pinuseldarica.html|{{ eldarica.jpg?150| }}]]      |       {{reachability.png?100}}   |
@@ Line 23: / Line 29: @@
   * (March   2013):  ({{eldarica-1930.jar.gz|JAR file}}) (sp-1930)
   * (July    2013):  ({{eldarica-2063.jar.gz|JAR file}}) (sp-2063)
+  * (February 2014): ({{eldarica-2305.jar.gz|JAR file}}) (sp-2305)
+We have released the Eldarica source code under the BSD 3-Clause license on [[https://github.com/uuverifiers/eldarica/|Github]].
+We won't post the new releases in this webpage anymore.
 ==== Related Links ====
@@ Line 32: / Line 40: @@
   * Some {{horn-benchmarks.tar.gz|Horn}} clauses.
   * [[horn-nonrec-benchmarks|Non-recursive Horn benchmarks.]]
+  * [[horn-parametric-benchmarks|Parametric Time Automata Horn benchmarks.]]
   * [[https://svn.sosy-lab.org/software/sv-benchmarks/trunk/clauses/LIA/Eldarica/|Horn clauses]] in SMT-LIB format.
 ==== Running ====
 \\