Skip to content
Snippets Groups Projects
Select Git revision
  • develop
  • feature/taha
  • main default protected
  • v1.0.0
  • v0.1.0
5 results
You can move around the graph by using the arrow keys.
Created with Raphaël 2.2.014Mar1110927Feb22212018531Jan7631Dec30282726242321201918171631Jan262423221918171615141316Decrefactor: refactoring method where the paths are generatedfeature/tahafeature/taharefactor: remove duplicated coderefactor: some refactoring in the main.cppfeat: update mainmodif update lgerror in update language fixedfeat: add philo2 modelrefactor: apply some refactoring to the codefix: ExtractPath returns the good typewip: code compiles with the new type of pathsrefactor: remove unused coderefactor: remove redundant conditionalrefactor: add Kais's version of the function calcul1fix: replace Path and Paths by the correct typeswip: main.cppwip: expressionrefactor: use namespace to avoid conflictsdevelopdevelopfix: put public .hpp filesrefactor: put main in the app folderrunning example commented in main.cppMin Max weight donefix compile pbcalcul poids chemins observésstyle: apply formattingbug fixedchore: uncomment linesrefactor: petri_net_sogrefactor: aggregate filewip: update weightsfeat: compute weigths for the aggregatesfix: save SOG also when the abstract paths are generateddocs: add some commentswip: compute weight of an aggregaterefactor: remove commented codemainmainrefactor: add AddArc methodcleaning generate SOG functionfix: take into account the observable transitionsfix: require CMake >= 3.22feat: function to generate the SOGrefactor: remove nb_marking variable