Copyright © 2010-2012 LIAFA, University Paris Diderot and CNRS.
CELIA is a free software under LGPL license.
CELIA has been tested mainly on Linux distributions. Installation requirements:
- autoconf/automake
- an ANSI C compiler (only gcc with ansi option has been tested),
- the OCaml system, version 3.10 or up,
- the Frama-C platform, version Carbon.
Current version of CELIA: 0.3
- 0.3: Tar-gzipped sources with dependencies (APRON, FIXPOINT) but without Frama-C, Camlidl, PPL
Older distributed versions of CINV:
- 0.2.2: Tar-gzipped sources with dependencies (APRON, FIXPOINT) but without Frama-C, Camlidl, PPL
- 0.2.1: Tar-gzipped sources with dependencies (APRON, FIXPOINT) but without Frama-C, Camlidl, PPL
- 0.1