commit | f60915de1dc45733bc60d016fd93c665940a667d | [log] [tgz] |
---|---|---|
author | Tony Aiuto <aiuto@google.com> | Tue Nov 01 22:42:36 2022 -0400 |
committer | Tony Aiuto <aiuto@google.com> | Tue Nov 01 22:42:36 2022 -0400 |
tree | 525f1003063bff0be421938a967839331961f908 | |
parent | fc1c80db238cc0f6c995f96b8ad1c260a7c19b47 [diff] | |
parent | 3b80554a610916e34d2cda79f77f0eb35a5c7b84 [diff] |
Merge branch 'main' into add_restricted
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.