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:
(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: 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, gabriela/bat-file, gabriela/fix-quint-type-conversion, gabriela/handle-quint-quantified-variables, gabriela/release-note-sanitization, gabriela/remove-cronjob, igor/ci3, igor/ci4, igor/disable-coverage, igor/distinct2964, igor/powset-message, igor/scala-2.13.14, igor/search-timeout, igor/twophase-inductive, igor/update-sany2995, igor/z3-params, igor/z3-thread-fix, jk/noStateTinSMT, konnov-patch-1, 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.0, release/0.46.1, release/0.46.2, release/0.47.0, release/0.47.1, th/link-discourse, 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
Files
This documentation is generated from the following files: