Skip to content
GitLab
Explore
Sign in
Primary navigation
Search or go to…
Project
S
sogMBT
Manage
Activity
Members
Labels
Plan
Issues
0
Issue boards
Milestones
Wiki
Code
Merge requests
0
Repository
Branches
Commits
Tags
Repository graph
Compare revisions
Snippets
Build
Pipelines
Jobs
Pipeline schedules
Artifacts
Deploy
Releases
Package Registry
Model registry
Operate
Environments
Terraform modules
Monitor
Incidents
Analyze
Value stream analytics
Contributor analytics
CI/CD analytics
Repository analytics
Model experiments
Help
Help
Support
GitLab documentation
Compare GitLab plans
Community forum
Contribute to GitLab
Provide feedback
Keyboard shortcuts
?
Snippets
Groups
Projects
Show more breadcrumbs
PMC-SOG
sogMBT
Graph
80268576a52f535f31498fdb49cc5437bb5ffa7c
Select Git revision
Branches
3
develop
feature/taha
main
default
protected
Tags
2
v1.0.0
v0.1.0
5 results
You can move around the graph by using the arrow keys.
Begin with the selected commit
Created with Raphaël 2.2.0
14
Mar
11
10
9
27
Feb
22
21
20
18
5
31
Jan
7
6
31
Dec
30
28
27
26
24
23
21
20
19
18
17
16
31
Jan
26
24
23
22
19
18
17
16
15
14
13
16
Dec
refactor: refactoring method where the paths are generated
feature/taha
feature/taha
refactor: remove duplicated code
refactor: some refactoring in the main.cpp
feat: update main
modif update lg
error in update language fixed
feat: add philo2 model
refactor: apply some refactoring to the code
fix: ExtractPath returns the good type
wip: code compiles with the new type of paths
refactor: remove unused code
refactor: remove redundant conditional
refactor: add Kais's version of the function calcul1
fix: replace Path and Paths by the correct types
wip: main.cpp
wip: expression
refactor: use namespace to avoid conflicts
develop
develop
fix: put public .hpp files
refactor: put main in the app folder
running example commented in main.cpp
Min Max weight done
fix compile pb
calcul poids chemins observés
style: apply formatting
bug fixed
chore: uncomment lines
refactor: petri_net_sog
refactor: aggregate file
wip: update weights
feat: compute weigths for the aggregates
fix: save SOG also when the abstract paths are generated
docs: add some comments
wip: compute weight of an aggregate
refactor: remove commented code
main
main
refactor: add AddArc method
cleaning generate SOG function
fix: take into account the observable transitions
fix: require CMake >= 3.22
feat: function to generate the SOG
refactor: remove nb_marking variable
Loading