Age | Commit message (Collapse) | Author | |
---|---|---|---|
2020-06-16 | Update copyright headers. | Aina Niemetz | |
2020-06-10 | (proof-new) Add eager proof generator utility. (#4592) | Andrew Reynolds | |
Adds the eager proof generator. This lives in theory/ since it has utilities for generating TrustNode, which is specific to theory/. |