From 7392680a5f14be892489ef4add1e4628b71ce12e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Gwena=C3=ABl=20Delaval?=
Heptagon is developed in
the Parkas (ENS)
- and Pop-Art (LIG/INRIA) research teams.
+ and Ctrl-A (LIG/INRIA) research teams.
The easiest and recommended way to install Heptagon/BZR is to use
+the OCaml Package Manager (OPAM). The installation sequence using OPAM is :
+ Publications about Heptagon: definition, compilation, case studies
+ Publications about Heptagon/BZR: definition, compilation, case studies
-
+
+
+
+
Heptagon
+ Heptagon/BZR
How to get it or try it
-Download
+Installation with OPAM
+
+
+
+ opam init
+ opam switch 4.02.3
+ eval `opam config env`
+
+ opam install heptagon
+
To use the controller synthesis tool ReaX with Heptagon/BZR : +
+ opam repo add nberth-repo "http://nberth.space/opam-repo" + opam update ++
opam install fixpoint bddapron reatk bzreax+
The source code is also available from the Heptagon/BZR web page for manual
+ compilation and installation. Further indications about ReaX can
+ be found on the ReaX/ReaTk
+ page.
+
Heptagon can be freely downloaded here. +
-+The use of the Heptagon compiler by itself does not require any +additional tools. However, the usual use involves a compiler for the +generated code (target languages are currently C or Java). +
++ To manually compile and install the Heptagon compiler, the following tools and libraries are needed: +
The tools below are optional or are related to some subparts of Heptagon:
Once the previously described libraries and tools are installed, the Heptagon compiler and libraries can be installed with: +
+ ./configure + make + make install ++ +
+Please +contact us +for further information. +
Gwenaël Delaval | -Assistant Prof. at UJF | +Gwenaël Delaval | +Assistant Prof. at UGA | +33 4 76 61 54 31 | web | |
Léonard Gérard | -PhD student at ENS | -- | - | |||
Adrien Guatto | -PhD student at ENS | -- | web | -|||
Hervé Marchand | +Hervé Marchand | Researcher at INRIA | +33 2 99 84 75 09 | web | -||
Cédric Pasteur | -PhD student at ENS | -- | web | -|||
Marc Pouzet | Professor at ENS | diff --git a/web/pub/RR-7631.pdf b/web/pub/RR-7631.pdf deleted file mode 100644 index c21e99b47180dfb367f3b58c1423e8ae794ce6cc..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 384891 zcmagFbwC_Vm*^eb-F