search

informalsystems / themis-tracer

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

[TRC-IMPL.2::PREFIX.2] Record tag implementation relationships #44

Closed shonfeder closed 3 years ago

shonfeder commented 3 years ago

This actually unneeded, because it is trivially reconstructed from the the database and the structure of tags..