informalsystems / themis-tracer

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

Support YAML header data #24

Open shonfeder opened 3 years ago

shonfeder commented 3 years ago

Support extracting relevant data from YAML header metadata, both from markdown and from code (by looking for a demarcated section within a comment block appropriate to the language).

See https://github.com/ethereum/EIPs/blob/master/EIPS/eip-1.md#eip-header-preamble