THESE RESULTS ARE NOW OBSOLETE. PLEASE CONSULT THE
CELIA plugin site.
The results are given for each domain and each parameter using:
In the HTML version of this manual, it is possible to browse the log directory.
The present time and memory performances have been obtained on an Intel 686 2GHz and 1 Go of RAM.
- Log file:
is a directory in
sample/log containing a log file and the files storing the shapes generated
is the most interesting constraint synthesized by the analysis; this constraint is given in the specification language (see Specification logic).