commit | 8de7f864e3211af63d70ac863f7e40361ae550b3 | [log] [tgz] |
---|---|---|
author | Tony Aiuto <aiuto@google.com> | Fri Jun 16 15:35:43 2023 -0400 |
committer | Tony Aiuto <aiuto@google.com> | Fri Jun 16 15:35:43 2023 -0400 |
tree | 88a32c47d89103ff392b4432351b8e98aea611d3 | |
parent | f8b5c91cfe695b63bcba6e28993101be784101f6 [diff] | |
parent | c3f8a8b40cc362da12c18de6150c12f18dcde2dc [diff] |
Merge branch 'main' into rtest
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.