| commit | 792a4890a5bccf396e4484d67e480589cc206882 | [log] [tgz] |
|---|---|---|
| author | Luca Cristoforetti <cristofo@fbk.eu> | Thu Mar 19 15:59:44 2020 +0100 |
| committer | Luca Cristoforetti <cristofo@fbk.eu> | Thu Mar 19 15:59:44 2020 +0100 |
| tree | 6bd5ea11ccb8f845489e3012730ba89748f9fceb | |
| parent | 4132ce6691380de11d9498a21da8cac4b9232fb2 [diff] |
Improve SysML checkers