sireum/v3-compcert repository overview

To run the latest release version of Sireum v3:

cd /opt/sireum-v3 git checkout release git pull ./sireum

To run the latest development version of Sireum v3:

cd /opt/sireum-v3 git checkout master git pull ./sireum

⁠Notice on CompCert License⁠

"The CompCert verified compiler is Copyright by Institut National de Recherche en Informatique et en Automatique (INRIA) and AbsInt Angewandte Informatik GmbH."

"The CompCert verified compiler is distributed under the terms of the INRIA Non-Commercial License Agreement" (see http://compcert.inria.fr/doc/LICENSE⁠) "or under the terms of a Software Usage Agreement of AbsInt Angewandte Informatik GmbH. The latter is a separate contract document."

"The INRIA Non-Commercial License Agreement is a non-free license that grants you the right to use the CompCert verified compiler for educational, research or evaluation purposes only, but prohibits any commercial use."

"For commercial use you need a Software Usage Agreement from AbsInt Angewandte Informatik GmbH."