tree 6c155163de8f10e5e99258405246b941ab550a52
parent 4990f2b918f7151de2d92ce806ea257c81feaff4
parent 1851c7c6d3d7f79ba432e3f6284e3fa028e2ac4b
author Luca Cristoforetti <cristofo@fbk.eu> 1587628072 +0200
committer Luca Cristoforetti <cristofo@fbk.eu> 1587628072 +0200

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