commit | fa81342531f49673a58ce9d0a40104628a441b47 | [log] [tgz] |
---|---|---|
author | Tony Aiuto <aiuto@google.com> | Mon May 15 15:13:19 2023 -0400 |
committer | Tony Aiuto <aiuto@google.com> | Mon May 15 15:13:19 2023 -0400 |
tree | 37476927c7103762dfea6d213e9f910fcedd91ee | |
parent | ad06caa7c0f4121ec4159b252605ef6670748643 [diff] | |
parent | 9496f6ec965a10a3c1be3f43f1cd1647aa38a9e4 [diff] |
Merge branch 'main' into ver
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.