search

informalsystems / themis-tracer

A tool for managing complex contexts for developing critical systems
Apache License 2.0
4 stars 0 forks source link

Support tag synonyms #79

Open shonfeder opened 3 years ago

shonfeder commented 3 years ago

Need to add support for parsing out tag synonyms, as specified in https://github.com/informalsystems/vdd/pull/21