| commit | 6698959ce42d0233e838867c7bac8295565e8901 | [log] [tgz] |
|---|---|---|
| author | Luca Cristoforetti <cristofo@fbk.eu> | Thu Apr 23 09:47:52 2020 +0200 |
| committer | Luca Cristoforetti <cristofo@fbk.eu> | Thu Apr 23 09:47:52 2020 +0200 |
| tree | 6c155163de8f10e5e99258405246b941ab550a52 | |
| parent | 4990f2b918f7151de2d92ce806ea257c81feaff4 [diff] | |
| parent | 1851c7c6d3d7f79ba432e3f6284e3fa028e2ac4b [diff] |
Merge branch '250-add-new-constructors-to-namedistance-checker' into 'master' Resolve "Add new constructors to NameDistance checker" Closes #250 See merge request CPS_Design/CHESS!58