Nantes Université
Skip to content
GitLab
Explorer
Connexion
S'inscrire
Navigation principale
Rechercher ou aller à…
Projet
E
ecn-sec-sfe
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 conteneur
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
Sebastien FAUCOU
ecn-sec-sfe
Graphe
main
Sélectionner une révision Git
Branches
1
main
par défaut
protégée
1 résultat
Vous pouvez vous déplacer dans le graphe en utilisant les touches fléchées.
Commencer avec la validation sélectionnée
Created with Raphaël 2.2.0
26
May
24
20
13
26
May
6
Jun
4
1
31
May
30
25
24
23
22
31
May
30
29
28
13
update refactoring
main
main
update refactoring
rename folder
Merge branch 'main' of https://gitlab.univ-nantes.fr/faucou-s/ecn-sec-sfe
ajout nouvelle activité de relecture de code
Update file exo4b.md
Update file exo4d.md
Update file exo4d.md
Update file sec3b.md
Update file exo4b3.md
add misra_rules
Merge branch 'main' of https://gitlab.univ-nantes.fr/faucou-s/ecn-sec-sfe
update reachability
Update exo4c2.md
Update exo4c.md
Update exo4b3.md
Update exo4b2.md
Update exo4b.md
Update README.md
Update exo3.md
Update exo3.md
Update exo2.md
Ajout commentaire compte rendu
Update file README.md
update lab1 frama-c
cours : ajouts exemples float
cours : wip partie 2
cours : correction exemple hcomp
cours : ajouts correction exemples
cours : ajout exemple shift
Merge branch 'main' of gitlab.univ-nantes.fr:faucou-s/ecn-sec-sfe
wip: cisbad
reformulatin exo4b2
correction tri.c tutorial-metrics
coquilles tutorial et lab
coquilles tuto 1
coquilles tuto 1
pdf cours 24 mai 2023
2023, cours séance1
modifs cours version 2023
Chargement en cours