Access Control is now enabled for Gitlab Pages so you can now restrict Pages to authorized users only. If needed, make your website publicly available : Navigate to your project's Settings > General > Visibility and select Everyone in pages section.

Commit 1ef6155d authored by Tony Licata's avatar Tony Licata

added pv08

parent 09352f0d
![Logo HEIAFR](logo.png)
# PV de séance du 08.07, 10h30
Membres : Frédéric Bapst, Tony Licata
Lieu : domicile
## Ordre du jour
- validation du précédant PV
- point sur is/2 transformé en noeud Truffle
- ajout du prédicat builtin polyglot_eval/3
- discussion sur la suite du projet
## Validation du précédant PV
le précédant PV a été validé
## Objectifs du projet
- laisser de coté les constantes du prédicat is/2 (e, pi, tau) qui ne fonctionnent actuellement pas, laisser une trace de ce problème dans les todo ou dans le code
- comme convenu également lors de précédantes séances, ne pas implémenter le prédicat !/0 et documenter cela dans le rapport
## Rapport
- dans la documentation, il serait judicieux de ne pas documenter le code qui a été implémenté durant le projet, mais plutôt d'expliquer les différentes fonctionnalités qui ont été apportées d'une vue plus haut niveau, sans non plus se priver d'illuster du code.
- possibilité d'envoyer une version primitive du rapport à M. Bapst pour une première lecture
- un flyer sera également à fournir vendredi 17.07 en plus du rapport
## Autre
- il serait intéressant de contacter l'équipe GraalVM (pas forcément durant le projet, mais pourquoi pas par la suite) pour leur requêter d'ajouter ProloGraal à [la liste des langages répertoriés de GraalVM](https://github.com/oracle/graal/blob/master/truffle/docs/Languages.md) (orienté pour la section "Experiments")
## Tâches à réaliser
- implémentation de mécanismes d'optimisation via les annotation offertes par Truffle au sein du prédicat is/2
- migrer les prédicats builtins restants en noeuds Truffles
- implémenter l'écriture simplifiée pour le prédicat is/2 et ses opérateurs
- mettre en place des tests unitaires robustes pour tester les nouveaux prédicats
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment