Lab for Automated Reasoning and Analysis LARA

Differences

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

Link to this comparison view

eldarica [2014/09/23 15:02]
vkuncak
eldarica [2014/09/23 17:16] (current)
hossein [Download]
Line 30: Line 30:
   * (July    2013): ​ ({{eldarica-2063.jar.gz|JAR file}}) (sp-2063)   * (July    2013): ​ ({{eldarica-2063.jar.gz|JAR file}}) (sp-2063)
   * (February 2014): ({{eldarica-2305.jar.gz|JAR file}}) (sp-2305)   * (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 ==== ==== Related Links ====
 
eldarica.txt · Last modified: 2014/09/23 17:16 by hossein
 
© EPFL 2018 - Legal notice