| commit | acf0e91081d34ee317e6160a21ada320afb2f60e | [log] [tgz] |
|---|---|---|
| author | Luca Cristoforetti <cristofo@fbk.eu> | Thu Apr 02 21:56:14 2020 +0200 |
| committer | Luca Cristoforetti <cristofo@fbk.eu> | Thu Apr 02 21:56:14 2020 +0200 |
| tree | da84a6c86f480f5102c098c1eb9e5ca321eb1285 | |
| parent | d3df512313aeaf847af96adc626d2a4388f000ca [diff] | |
| parent | e9f63706ad462cda1678bf4250438edc06dedb6d [diff] |
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