Skip to content
Snippets Groups Projects
Select Git revision
  • main default protected
  • v1.0.0
2 results
You can move around the graph by using the arrow keys.
Created with Raphaël 2.2.024Apr232123Mar2222Sep218726Augfix testsmainmainremove extra spacesfix imi outputfix syntax example train intruderfirst draft of the train-intruder imitator modelimprove syntaxfix: remove _ in action labelsfix: add parenthesis surrounding the constraintsfix: do nothingadd fischer testadd discrete variablesunfolding fisheradd discrete variables in preamblefeat: add discrete variables to the parseradd INT in the syntaxfixing location namefirst draft of parseradd constraintswip: constraintsadd example with latest syntaxadd coffeeDrinker exampledocs: add documentation of the codefeat: first draft of the parser for the interpreter versionwip: add search cmdwip: computes sync actionswip: fix order in the display of clocks, params, etc.style: add spaces around operators"style: coffee intrpr filewip: add automaton parser to maudereplace names in the test examplewip: add init equationswip: add variableswip: add preamblewip: add interpreter parser in the clitests: add interpreter testv1.0.0v1.0.0feature: add CLI to run benchmarksfix notebookfix: benchmarks scripttests: update testsfeature: add reachability command to collapsing version