search

informalsystems / themis-tracer

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

Scaffold out code with specs #20

Open shonfeder opened 4 years ago

shonfeder commented 4 years ago

We have specs for this product defined in https://github.com/informalsystems/vdd/blob/master/traceability/traceability.md. Towards #5, let's start by guiding our implementation by the specs.