Project apalache-mc/apalache
On this site you can view the documentation of the Protocol Buffers (Protobuf) files / API in the Apalache 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: cfcae70
This documentation applies to the following branches and tags, which have the same .proto files as commit cfcae70:
- Branches: 2858/sanitize-when-pretty-printing, 2863/deprime-quint-init, add-variants-to-extends, copilot/replace-exception-or-value-with-either, copilot/update-github-actions-workflow, copilot/upgrade-mdbook-in-ci, gabriela/bat-file, gabriela/fix-quint-type-conversion, gabriela/handle-quint-quantified-variables, gabriela/release-note-sanitization, gabriela/remove-cronjob, igor/ai-policy, igor/fix3225, igor/rewriter-tests-to-typed-builder, igor/rewriter-tests-to-typed-builder0, igor/rewriter-tests-to-typed-builder1, igor/scala-2.13.14, igor/test-dco2, igor/test-utfprinter3336, igor/typechecker-perf, igor/unicode2995, igor/update-committers, igor/z3-thread-fix, main, release/0.44.10, release/0.44.11, release/0.44.7, release/0.44.9, release/0.45.0, release/0.45.1, release/0.45.2, release/0.45.3, release/0.45.5, release/0.45.6, release/0.46.1, release/0.46.2, release/0.47.0, release/0.47.1, release/0.52.0, release/0.52.2, release/0.52.3, release/0.54.0, release/0.55.0, release/0.56.0, release/0.56.1, release/0.57.1, release/0.58.0, release/0.58.1, release/0.58.2, th/cvc5, th/cvc5-funarrays, th/fix-docker-tlaplus-mount-main, th/fix-links, th/update-devcontainer, update-flake
- Tags: v0.44.10, v0.44.11, v0.44.7, v0.44.8, v0.44.9, v0.45.1, v0.45.2, v0.45.3, v0.45.4, v0.45.6, v0.46.1, v0.46.2, v0.47.0, v0.47.2, v0.47.3, v0.48.0, v0.48.1, v0.49.0, v0.49.1, v0.50.0, v0.50.1, v0.50.2, v0.50.3, v0.51.1, v0.52.0, v0.52.1, v0.52.2, v0.52.3, v0.54.0, v0.55.0, v0.56.0, v0.56.1, v0.57.0, v0.57.1, v0.58.0, v0.58.2
Files
This documentation is generated from the following files: