Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
eldarica [2014/02/12 16:30] hossein [Download] |
eldarica [2014/09/23 17:16] hossein [Download] |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| ====== ELDARICA ====== | ====== 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}} | | | [[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) | * (March 2013): ({{eldarica-1930.jar.gz|JAR file}}) (sp-1930) | ||
| * (July 2013): ({{eldarica-2063.jar.gz|JAR file}}) (sp-2063) | * (July 2013): ({{eldarica-2063.jar.gz|JAR file}}) (sp-2063) | ||
| - | * (February 2013): ({{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 ==== | ||