commit | ed29be24dd52ab6713f95dd7908feb2851ac1465 | [log] [tgz] |
---|---|---|
author | maleo <maleo@google.com> | Mon Sep 11 14:39:21 2023 +0000 |
committer | maleo <maleo@google.com> | Mon Sep 11 14:39:21 2023 +0000 |
tree | 6f40c4cb6db47a1c317e9e0dcdd40cf620095984 | |
parent | e160ce519a3ab82d407bc57a0f0b0510d61a3a59 [diff] |
Fix checker demo
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.