| commit | 457e3ed8b7d088146cf9d25f0062850891a04c1e | [log] [tgz] |
|---|---|---|
| author | Luca Cristoforetti <cristofo@fbk.eu> | Tue May 05 16:05:53 2020 +0200 |
| committer | Luca Cristoforetti <cristofo@fbk.eu> | Tue May 05 16:05:53 2020 +0200 |
| tree | 4f09527b394e8939003834de76f81ab5d176825c | |
| parent | 6698959ce42d0233e838867c7bac8295565e8901 [diff] | |
| parent | e41cbeace4d18145acedbfe7371314541375e879 [diff] |
Merge branch '252-add-new-constructors-to-statestatus-checker' into 'master' Resolve "Add new constructors to StateStatus checker" Closes #252 See merge request CPS_Design/CHESS!60