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:
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: carlos/1965-rangeerror-invalid-string-length-error-when-running-large-simulations, change-tuple-structure, copilot/fix-c5926580-7dd2-48b6-b803-6be8d3742219, copilot/sync-rust-evaluator-changes, erick/fix-repl-tests-w-rust, erick/llm-full.txt, erick/lsp-worker, example-of-using-apalache-config-for-cinit, gabriela/assert-step-over-runs, gabriela/checkpoints, gabriela/ci-rust-platforms-check, gabriela/compile-optional-flattening, gabriela/erc20-sum-types, gabriela/fix-var-polymorphism-between-instances, gabriela/invariant-and-witness-keywords, gabriela/leftpad-model-checking, gabriela/poc-increment-model-checking, gabriela/poc-invariant-breakdown, gabriela/poc-trace-validation, gabriela/rust-repl-poc, 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, josef/consensus-remove-getOnlyElement, josef/dij-ss-ind-inv, josefina/doc-improvements, 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, yassine/ci-tests-refactoring, yassine/fix-run-overflow, yassine/remove-bluespec
- Tags: evaluator/v0.0.0-pre.2, evaluator/v0.1.0, evaluator/v0.2.0, evaluator/v0.3.0, evaluator/v0.4.0, evaluator/v0.5.0, evaluator/v0.6.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, v0.25.0, v0.25.1, v0.26.0, v0.27.0, v0.28.0, v0.29.0, v0.29.1, v0.30.0, v0.31.0, v0.32.0
Files
This documentation is generated from this file: