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.015Jan141317Dec7418Nov17Oct16876524Aug28Jul2423211510987325Jun24191615985428May27262522201928Apr272423211514107615Dec131217Oct6432130Sep26251915131230Aug292827221915May5Dec27Nov262322212019161514131110987543131Oct3024191817161510912Sepfix: 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 automatonadd funtion to get the sync actions of an automatonfix: add includesadd methods to calculate number of children in node and in depthcalculate depths and height of a sg treerefactor projectrefactor structure of the projectMerge branch 'develop'v2.0.0v2.0.0fix: pointer error in translation for SAND gaterefactor: add generic exception classupdate CLI11 libraryfix: transform command load model from filefeature: generate log file with stdoutMerge branch 'bugfix/fix_ci' into developci: add libclang-9ci: update dependencies for linux targetci: update linux image for appveyoradd cand and scand typesfix: support cand and scand namesci: add libclang as dependencyremove cosyverif filesfix: replace scaling.hpp by icfem2020.hppfix: red bars are width != childrenUpdate of the scaling examplefix scripts to generate a good scalable examplesort values in the tablefix width calculationsremove margins to figuresexport figures to pdf and pngadd filename to csv file