java-rdp

Implémentation d'un simulateur de réseaux de Pétri en Java en utilisant Swing principalement

Matrice d'incidence C

Graphique des marquages accessibles

Comment on organise les branches ?

Calendrier organisation

Comment utiliser le répertoire ?

• IDE : Intellij IDEA (Ultimate ou Community) de préférence!
• Version JAVA du projet : 11

Il faut TOUJOURS travailler sur la branche develop !!

Si vous travaillez sur une feature importante, veillez à créer une branche "<< Nom feature >>" depuis la branche "develop". Toutes les modifications de la feature devront être réalisées sur la branche "<< Nom feature >>".

Lorsque vous avez terminé de coder votre feature, vous devrez créer une Pull Request (de la branche Feature à la branche develop), celle-ci sera validée si tout est bon et si tout fonctionne.

Et la branche main dans tout ça ?

A la fin de la création de chaque feature importante ajoutée et fonctionnelle, nous ferons un check-up du code et des fonctionnalités de la branche develop, en veillant à ce qu'il y ait le moins de bug possibles. Puis nous ferons une pull-request de la branche develop vers la branche main.

La branche main représente un livrable fonctionnel avec le moins de bug possible. C'est une sorte de release.