commit | ad97c7dcf0df30e7a9e9337d13b42fffca8fb962 | [log] [tgz] |
---|---|---|
author | aiuto <aiuto@google.com> | Wed Mar 15 10:47:05 2023 -0400 |
committer | GitHub <noreply@github.com> | Wed Mar 15 10:47:05 2023 -0400 |
tree | 58d22e39e315044bdd560faa284d28a895323d74 | |
parent | 40c82f29c65982bb8756bcfeb3aa7e32ca6813d6 [diff] | |
parent | 37f907fc2c8734eab1f4f4859b492675cffeebeb [diff] |
Merge pull request #82 from aiuto/x exec_tools => tools
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.