tree da84a6c86f480f5102c098c1eb9e5ca321eb1285
parent d3df512313aeaf847af96adc626d2a4388f000ca
parent e9f63706ad462cda1678bf4250438edc06dedb6d
author Luca Cristoforetti <cristofo@fbk.eu> 1585857374 +0200
committer Luca Cristoforetti <cristofo@fbk.eu> 1585857374 +0200

Merge branch '245-implement-a-checker-for-identifiers-validity' into 'master'

Resolve "Implement a checker for identifiers validity"

Closes #245

See merge request CPS_Design/CHESS!56