commit | 834d48f2bef6d3858dd203634436fac440208536 | [log] [tgz] |
---|---|---|
author | aiuto <aiuto@google.com> | Fri Mar 31 16:10:36 2023 -0400 |
committer | GitHub <noreply@github.com> | Fri Mar 31 16:10:36 2023 -0400 |
tree | 0c3fe94ff125184e7a9edcaed44b5667675933dd | |
parent | 5dfafe2ae7a38ede7480d342d7d770308bd64406 [diff] | |
parent | 98ca5438f1ff2eb760a47c0853a77efa0ab364e9 [diff] |
Merge pull request #88 from aiuto/trc Move TraceInfo to a new place
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.