commit | d29216818673fb3acdb701c90a539b877c53aa12 | [log] [tgz] |
---|---|---|
author | aiuto <aiuto@google.com> | Thu Oct 19 14:45:04 2023 -0400 |
committer | GitHub <noreply@github.com> | Thu Oct 19 14:45:04 2023 -0400 |
tree | f9268332b6a15d7c15f12fc37269c9f80e02c17c | |
parent | 48d422c65d418928f87c82f657d79ea357d32848 [diff] | |
parent | ed29be24dd52ab6713f95dd7908feb2851ac1465 [diff] |
Merge pull request #114 from mering/fix-checker-demo 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.