Skip to content
Snippets Groups Projects
Select Git revision
  • develop
  • feature/electricity_theft_example
  • master default protected
  • v2.2.0
  • v2.1.3
  • v2.1.2
  • v2.1.1
  • v2.1.0
  • v2.0.0
  • v1.0.0
10 results
You can move around the graph by using the arrow keys.
Created with Raphaël 2.2.021Apr2025Oct130Sep29141312Feb29Jan27201815141317Dec7418Nov17Oct16876524Aug28Jul2423211510987325Jun24191615985428May27262522201928Apr272423211514107615Dec131217Oct6432130Sep26251915131230Aug292827221915May5Dec27Nov262322212019161514131110987543131Oct3024191817161510912Sepupdate appveyor.ymlfix modgraph translationadd full model generationfeature: add computation timefix appveyorMerge branch 'develop'fix: remove nok loop transition in leavesMerge branch 'develop'v2.1.3v2.1.3fix: add an offset to the identifier of statesfix: add -top prefix to the file containing the root automaton in the modgraph tranformationfix: transition names in the modgraph formatfeature: translates the EAMAS model into the modgraph formatMerge branch 'develop'v2.1.2v2.1.2doc: documentation of the new functionsMerge branch 'feature/or_strategy' into developfix: implement the strategy when there are OR gatesMerge branch 'develop'v2.1.1v2.1.1rename assignment type into assignment_tMerge branch 'feature/fix_sand_minimal' into developadd comments to added coderemove commentsImplementation of the new algorithm for minimal schedulingMerge branch 'develop'v2.1.0v2.1.0Merge branch 'feature/layered_reductions' into developrefactor all the coderefactor codeadd layered reductions to clifix: copy guards and updates of the removed transition in the optimizationfix: include algorithm libraryfix: unfold nok loop only if incoming transition has no the same actionupdate optimization of end loops in imitator parserfix: return True as guard when empty vector of guardsremove transitions with label actions from t transitionsapply reduction to all depthsguards in automaton is a vector and not only one inequalityadd method that updates transitions with depth variablesadd method to ge the lst transitionsadd method to get t transitionsadd method to get the sync actions not found in the childadd funtion to get the sync actions of an automaton