Find a file
2021-12-01 21:19:08 +01:00
.vscode feat: 💩 on avance dans jeu 2021-12-01 20:55:46 +01:00
docs docs: 📝 create doc about ltl properties 2021-12-01 10:25:23 +01:00
enigme.java feat: 🔥 fin du prototyyyype java 2021-12-01 21:19:08 +01:00
workspace feat: 💩 on avance dans jeu 2021-12-01 20:55:46 +01:00
.editorconfig feat: xtext ~ json 2021-11-30 21:50:41 +01:00
.gitignore feat: 💩 on avance dans jeu 2021-12-01 20:55:46 +01:00
enigme.game feat: 💩 on avance dans jeu 2021-12-01 20:55:46 +01:00
enigme.ktz feat: add ltl property for enigme.net 2021-12-01 10:15:44 +01:00
enigme.ltl feat: add ltl property for enigme.net 2021-12-01 10:15:44 +01:00
enigme.net enigme.net 2021-11-30 19:37:07 +01:00
enigme.scn feat: add ltl property for enigme.net 2021-12-01 10:15:44 +01:00
LICENSE correction ecore 2021-11-21 18:26:05 +01:00
README.md correction ecore 2021-11-21 18:26:05 +01:00
test.game Merge branch 'master' of git.inpt.fr:tocard-inc/enseeiht/gls/projet 2021-12-01 09:48:42 +01:00

Projet d'Ingénierie Dirigée par les Modèles (IDM)

Built with

Contributing

Please use conventional commits.

License

Distributed under the MIT license. See LICENSE for more information.

Contacts

Damien Guillotin <damguillotin@gmail.com>
Laurent Fainsin <laurentfainsin@protonmail.com>
Philippe Negrel-Jerzy <philippe.negreljerzy@etu.inp-n7.fr>
Sébastien Pont <sebastien.pont@etu.inp-n7.fr>