Nantes Université
Skip to content
GitLab
Explorer
Connexion
S'inscrire
Navigation principale
Rechercher ou aller à…
Projet
V
Verifast
Gestion
Activité
Membres
Labels
Programmation
Tickets
Tableaux des tickets
Jalons
Wiki
Code
Requêtes de fusion
Dépôt
Branches
Validations
Étiquettes
Graphe du dépôt
Comparer les révisions
Extraits de code
Compilation
Pipelines
Jobs
Planifications de pipeline
Artéfacts
Déploiement
Releases
Registre de paquets
Registre de conteneurs
Registre de modèles
Opération
Environnements
Modules Terraform
Surveillance
Incidents
Service d'assistance
Analyse
Données d'analyse des chaînes de valeur
Analyse des contributeurs
Données d'analyse CI/CD
Données d'analyse du dépôt
Expériences du modèle
Aide
Aide
Support
Documentation de GitLab
Comparer les forfaits GitLab
Forum de la communauté
Contribuer à GitLab
Donner votre avis
Raccourcis clavier
?
Extraits de code
Groupes
Projets
Afficher davantage de fils d'Ariane
Corentin GUILLEVIC
Verifast
Graphe du dépôt
Graphe du dépôt
Vous pouvez vous déplacer dans le graphe en utilisant les touches fléchées.
master
Sélectionner une révision Git
Branches
1
master
par défaut
protégée
1 résultat
Commencer avec la validation sélectionnée
Created with Raphaël 2.2.0
28
Nov
21
13
12
22
Oct
19
Ajout d'un test dans usine2.java
master
master
Add some test of usine1 in usine2
Add usine1-variante-question6.java
Refactoring des tests ; petites modifications
Petit refactoring de usine1.java ; Fin des questions dans usine2.java
Add usine2.java (question 13)
Ajout du dossier projet et du fichier usine1.java
Add of exercises 4 and 5
Add tp1
Add of verifast repository
Chargement en cours