commit | b5543233da4bfeb835489fab5a87794a6b4b11ec | [log] [tgz] |
---|---|---|
author | Tony Aiuto <aiuto@google.com> | Fri Dec 16 13:13:08 2022 -0500 |
committer | Tony Aiuto <aiuto@google.com> | Fri Dec 16 13:14:57 2022 -0500 |
tree | d3851a7000d11836f07a284a203468c8b537b507 | |
parent | b6abe9dc04c0ad96432975c502ea93e9c9c52b59 [diff] | |
parent | 989ccbf8d64556d248b10d8797951bd03a9ea326 [diff] |
Merge from main
This repository contains a set of rules and tools for
WARNING: The code here is still in active initial development and will churn a lot.
If you want to follow along:
Background reading: These is for learning about the problem space, and our approach to solutions. Concrete specifications will always appear in checked in code rather than documents.