pascalpoizat / fbpmn / 53

Builds Branch Commit Type Ran Committer Via Coverage
53 master bugfix: generate emptyset when no messages push pascalpoizat travis-ci pending completion   set done
52 master Merge branch 'master' into new-OR-gateway push pascalpoizat travis-ci pending completion   set done
49 master TLA push philippe-queinnec travis-ci pending completion   set done
48 master TLA push philippe-queinnec travis-ci pending completion   set done
47 master feature: new model (or test) push pascalpoizat travis-ci pending completion   set done
46 master bugfix: correct kind of gateways push pascalpoizat travis-ci pending completion   set done
45 master feat: add json2dot command for fbpmn push pascalpoizat travis-ci pending completion   set done
44 master feat: bpmn models push pascalpoizat travis-ci pending completion   set done
43 master feat: new model (dynamic creation) push pascalpoizat travis-ci pending completion   set done
42 master feat: add minimal dot export push pascalpoizat travis-ci pending completion   set done
40 master bugfix: correct typos push pascalpoizat travis-ci pending completion   set done
39 master refactor: clean up REPL push pascalpoizat travis-ci pending completion   set done
38 new-OR-gateway feat: add preE computation push pascalpoizat travis-ci pending completion   set done
37 master Bug corrected in target generation push philippe-queinnec travis-ci pending completion   set done
36 master Renommage exemple pour être compatible TLA + début json (plusieurs typos dans les noms) push philippe-queinnec travis-ci pending completion   set done