Enseignements au Master d'Informatique M1

Cours de mise à niveau Ocaml

Projet de compilation

Projet : Compilateur Pascal avec filtrage

Sujet partie 1 et corrigé
Tous les tests : positifs et négatifs (le tout sous forme d'archive)
Sujet partie 2 et corrigé
Tous les tests : positifs et négatifs (le tout sous forme d'archive)
Sujet partie 3 et corrigé
Tous les tests (le tout sous forme d'archive)

Pour tester, voici un programme Pascal complet couvrant une grande partie du sujet : roue_lorenz.pas (la roue hydraulique de Lorenz).

Machine virtuelle

La machine virtuelle utilisée pour le projet est installée au 640 (binaires vm et gvm installés dans /homes/filliatr/bin).

Sa documentation (sera distribuée en TP)

Si vous souhaitez l'installer chez vous, voici les

sources : vm-1.6.tar.gz (note : la version graphique nécessite lablgtk2)

Si vous souhaitez l'utiliser sous Windows, vous pouvez recompiler les sources. Toutefois, la compilation de la machine graphique (gvm) est assez difficile. Voici un binaire Windows de la version 1.4 (il manque seulement quelques instructions) :

gvm-1.4.zip