informalsystems / themis-tracer

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

Parse diffs so we can incrementally update databases based on changes to a spec #46

Open shonfeder opened 3 years ago

shonfeder commented 3 years ago

We track the file and line number of the logical units entered, and inspect the repos where their source artifacts live. So when we sync an already registered repo, we should find the tags that were changed in a diff, and update/add/remove the corresponding entry.

We can even optimize the reads from the file, once #33 is achieved, by only beginning parsing from the line where the tag occurs to extract the logical unit.