Module: ppl/w3ppl Branch: master Commit: 7b8df5899045579e4d9e24594a48d66f46452ce0 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=7b8df589904...
Author: Roberto Bagnara bagnara@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