Travaux pratiques

Les séances de travaux pratiques se structurent en deux blocs.

Dans un premier temps, nous allons prendre en main le langage synchrone
Heptagon à travers des exercices
de programmation. Les exercices en question se trouvent dans les fichiers
TP-XX.pdf

Dans un second temps, les séances de travaux pratiques serviront de soutien à la
réalisation du projet.

Si vous rencontrez des difficultés pour installer Heptagon sur votre ordinateur,
veuillez vous référer à la section ci-dessous.

Installation d’Heptagon

La façon la plus simple d’installer Heptagon sur votre machine est via OPAM, le
gestionnaire de paquets OCaml. L’installation de la bibliothèque graphique
LablGTK, qui permet d’obtenir le simulateur graphique hepts, est fortement
recommandée.

opam install lablgtk heptagon

Pour installer OCaml et OPAM, référez-vous aux instructions de votre
distribution Linux.