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.07Nov5Jul14May54129Apr212025Oct130Sep29141312Feb29Jan27201815141317Dec7418Nov17Oct16876524Aug28Jul2423211510987325Jun24191615985428May27262522201928Apr272423211514107615Dec131217Oct6432130Sep26251915131230Aug292827221915May5Dec27Nov262322212019161514131110987543131Oct3024191817161510912Sepci: update appveyor configurationdevelop masterdevelop masterfix codemeta.jsonadd codemeta.jsonMerge branch 'develop'v2.2.0v2.2.0feat: add full-model for or gatesfeat: add full-model for SNAND gatefeature: add full-model for SAND gatefeature: add full-model for nand gatefix: error message for translation fullfix: cast node id to stringfeature: add symprod compatibility modefix: include unordered_map libraryadd symprod compatibilityMerge branch 'develop'fix full model for AND gateMerge branch 'develop'fix: bug in print-scheduling flagupdate catch11 libraryupdate 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 scheduling