search

informalsystems / themis-tracer

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

Generate database of specs #9

Closed shonfeder closed 3 years ago

shonfeder commented 4 years ago

Initially, it will suffice just to have a key-value store recording logical units. Well query this when listing or searching specs.