Project runtimeverification/iele-semantics

On this site you can view the documentation of the Protocol Buffers (Protobuf) files / API in the Iele-semantics 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: f72acd6

This documentation applies to the following branches and tags, which have the same .proto files as commit f72acd6:

Files

This documentation is generated from this file: