Project informalsystems/quint
On this site you can view the documentation of the Protocol Buffers (Protobuf) files / API in the Quint project.
Last checked for updates at:
(we're working on daily update checks)
This website is new and is still being built. You're welcome to talk with us about possible improvements we can make.
Source
Generated from commit: 36ceb56
This documentation applies to the following branches and tags, which have the same .proto files as commit 36ceb56:
- Branches: change-tuple-structure, example-of-using-apalache-config-for-cinit, gabriela/checkpoints, gabriela/ci-rust-platforms-check, gabriela/compile-optional-flattening, gabriela/erc20-sum-types, gabriela/invariant-and-witness-keywords, gabriela/leftpad-model-checking, gabriela/tree-sitter-quint, igor/dec, igor/fix1108, igor/ics23-fix, igor/import1180, igor/integration, igor/parser-qual, igor/peggy-parser, igor/syntax-errors17, ivan/convenienceSpells, MahtabNorouzi-patch-1, main, poly-type-resolver, romac/eval-assume, sf/ir-fold, sf/th/manage-shai, sf/transaction-commit, shon/two-phase-three-modules, tatjana/consensus-example, th/tuple-unpacking
- Tags: evaluator/v0.0.0-pre.2, evaluator/v0.1.0, v0.13.0, v0.14.0, v0.14.1, v0.14.2, v0.14.3, v0.14.4, v0.15.0, v0.16.0, v0.17.0, v0.17.1, v0.18.0, v0.18.1, v0.18.2, v0.18.3, v0.19.0, v0.19.1, v0.19.2, v0.19.3, v0.19.4, v0.20.0, v0.21.0, v0.21.1, v0.21.2, v0.22.0, v0.22.1, v0.22.2, v0.22.3, v0.22.4, v0.23.0, v0.23.1, v0.24.0
Files
This documentation is generated from this file: