Skip to content

An OCaml implementation of a programming language, Built in static analyst with constants propagations, variables, signs, calculation.

Notifications You must be signed in to change notification settings

baptiste-fourmont/polish

Repository files navigation

Projet PF5 2021 : Polish

Sujet de projet

Voir projet.pdf

Modalités du projet, des rendus et de l'évaluation

Voir CONSIGNES.md

Usage de git et GitLab

Voir GIT.md

Prérequis à installer

Voir INSTALL.md sur le site du cours.

  • ocaml évidemment
  • dune et make

Compilation et lancement

Par défaut, make est seulement utilisé pour abréger les commandes dune (voir Makefile pour plus de détails):

  • make sans argument lancera la compilation dune de polish.exe, c'est-à-dire votre programme en code natif.

  • make clean pour effacer le répertoire provisoire _build produit par dune lors de ses compilations.

Enfin pour lancer votre programme: ./run arg1 arg2 ...

polish

About

An OCaml implementation of a programming language, Built in static analyst with constants propagations, variables, signs, calculation.

Topics

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published