commit | 45602dc1a76e6a3ed0d8051d6e50274eca307c9d | [log] [tgz] |
---|---|---|
author | Luca Cristoforetti <cristofo@fbk.eu> | Wed May 20 21:32:34 2020 +0200 |
committer | Luca Cristoforetti <cristofo@fbk.eu> | Wed May 20 21:32:34 2020 +0200 |
tree | 11fd868dc0337fb20bc1c825252e37d8dbacfbe4 | |
parent | 7b84cb3059583710f2472dd527f5acf79bc17127 [diff] | |
parent | 9bd86654cac32a19b20ade8391f4298e2f21bf24 [diff] |
Merge branch '253-review-checkers-execution' into 'master' Resolve "Review checkers execution" Closes #253 See merge request CPS_Design/CHESS!61