These 1 commits are when the Protocol Buffers files have changed:
| Commit: | 36ceb56 | |
|---|---|---|
| Author: | Ranadeep Biswas | |
| Committer: | Thomas Pani | |
Extract Apalache proto files via grpc reflection Co-authored-by: Thomas Pani <thomas@informal.systems>
The documentation is generated from this commit.