| commit | 9acf9997f2952c3473d8dc4d16c6257453618a9c | [log] [tgz] |
|---|---|---|
| author | Alberto Debiasi <adebiasi@fbk.eu> | Fri Sep 11 15:46:39 2020 +0200 |
| committer | Alberto Debiasi <adebiasi@fbk.eu> | Fri Sep 11 15:46:39 2020 +0200 |
| tree | bcba8dde1d1e3e5f177e522d321863a77901b6a3 | |
| parent | ea0f94d3a911f42e4ca87edb5bf212750e1a2d93 [diff] |
Add block2k2 command, update UMLStateMachineModel. Change-Id: I024fa883ac0106d1d316cb5e6a8c746b531d8142