Identify logical unit tags from commit messages as well as github issues and pull requests - Githubissues

informalsystems / themis-tracer

A tool for managing complex contexts for developing critical systems

Apache License 2.0

4 stars 0 forks source link

Identify logical unit tags from commit messages as well as github issues and pull requests #45

Open shonfeder opened 3 years ago

shonfeder commented 3 years ago

An extension of [TRC-REF.1::SYNTAX.2].