[PPL-devel] [GIT] ppl/w3ppl(master): Added link to SpaceEx.

[Roberto Bagnara]

Module: ppl/w3ppl
Branch: master
Commit: 7b8df5899045579e4d9e24594a48d66f46452ce0
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=7b8df5899045579e4d9e24594a48d66f46452ce0

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Fri Aug 19 08:45:14 2011 +0200

Added link to SpaceEx.

---

 htdocs/Applications/Applications.raw |    5 +++++
 1 files changed, 5 insertions(+), 0 deletions(-)

diff --git a/htdocs/Applications/Applications.raw b/htdocs/Applications/Applications.raw
index 3980cb9..00c429c 100644
--- a/htdocs/Applications/Applications.raw
+++ b/htdocs/Applications/Applications.raw
@@ -10,6 +10,11 @@ Here are the ones we are aware of.
 
 <UL>
   <LI>
+    The <A HREF="http://spaceex.imag.fr/">SpaceEx</A> tool platform
+    facilitates the implementation of algorithms related to reachability
+    and safety verification.
+  </LI>
+  <LI>
     <A HREF="http://gcc.gnu.org/wiki/Graphite">Graphite</A>
     (Gimple Represented as Polyhedra), a framework for high-level
     loop optimizations that is now part of