commit | c3f8a8b40cc362da12c18de6150c12f18dcde2dc | [log] [tgz] |
---|---|---|
author | aiuto <aiuto@google.com> | Fri Jun 16 15:35:12 2023 -0400 |
committer | GitHub <noreply@github.com> | Fri Jun 16 15:35:12 2023 -0400 |
tree | 8e1953533d7afafe3b0a47fb909dbf884bc7462b | |
parent | acee90188bd0f33f6645374e6f438ede05034804 [diff] | |
parent | 881459f516407780d7402761657a9b9ccb458028 [diff] |
Merge pull request #104 from aiuto/main rel6 fix
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.