No description
Find a file
2023-01-17 20:00:23 +01:00
src Rework the search of a solution 2023-01-17 20:00:23 +01:00
tests Quelques tests pour la partie II du projet 2022-12-08 00:48:42 +01:00
.gitignore Fix some bugs 2022-12-11 09:53:03 +01:00
CONSIGNES.md CONSIGNES.md et GIT.md : indications plus explicites 2022-12-06 16:21:28 +01:00
dune-project projet PF5 2022-2023 : XpatSolver 2022-11-15 10:07:43 +01:00
GIT.md CONSIGNES.md et GIT.md : indications plus explicites 2022-12-06 16:21:28 +01:00
Makefile Fix some bugs 2022-12-11 09:53:03 +01:00
Rapport.md Add Rapport.md 2023-01-11 00:21:48 +01:00
README.md projet PF5 2022-2023 : XpatSolver 2022-11-15 10:07:43 +01:00
run projet PF5 2022-2023 : XpatSolver 2022-11-15 10:07:43 +01:00
SOUTENANCES.md Add SOUTENANCES.md 2023-01-13 05:58:24 +01:00
SUJET.md sujet : paragraphe sur les tests 2022-11-15 15:30:43 +01:00
test-summary Script test-summary donnant juste le nombre de tests réussis 2022-12-09 17:39:18 +01:00

Projet PF5 2022 : XpatSolver

Sujet de projet

Voir SUJET.md

Une version pdf peut s'obtenir via : pandoc SUJET.md -o sujet.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 XpatSolver.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 ...