These 95 commits are when the Protocol Buffers files have changed:
| Commit: | 8fdce3c | |
|---|---|---|
| Author: | RV Jenkins | |
gh-pages: Updated the website
This commit does not contain any .proto files.
| Commit: | 661b99d | |
|---|---|---|
| Author: | RV Jenkins | |
gh-pages: Updated the website
This commit does not contain any .proto files.
| Commit: | 3437905 | |
|---|---|---|
| Author: | Theodoros Kasampalis | |
| Committer: | Theodoros Kasampalis | |
Support for precompiled contracts needed by Midnight
| Commit: | 0842e76 | |
|---|---|---|
| Author: | RV Jenkins | |
gh-pages: Updated the website
This commit does not contain any .proto files.
| Commit: | 0b28293 | |
|---|---|---|
| Author: | RV Jenkins | |
gh-pages: Updated the website
This commit does not contain any .proto files.
| Commit: | 1788c32 | |
|---|---|---|
| Author: | RV Jenkins | |
gh-pages: Updated the website
This commit does not contain any .proto files.
| Commit: | 6ad562d | |
|---|---|---|
| Author: | RV Jenkins | |
gh-pages: Updated the website
This commit does not contain any .proto files.
| Commit: | 989014c | |
|---|---|---|
| Author: | RV Jenkins | |
gh-pages: Updated the website
This commit does not contain any .proto files.
| Commit: | ded6185 | |
|---|---|---|
| Author: | RV Jenkins | |
gh-pages: Updated the website
This commit does not contain any .proto files.
| Commit: | 3c7a369 | |
|---|---|---|
| Author: | RV Jenkins | |
gh-pages: Updated the website
This commit does not contain any .proto files.
| Commit: | 4437162 | |
|---|---|---|
| Author: | RV Jenkins | |
gh-pages: Updated the website
This commit does not contain any .proto files.
| Commit: | 4aee28b | |
|---|---|---|
| Author: | RV Jenkins | |
gh-pages: Updated the website
This commit does not contain any .proto files.
| Commit: | c883415 | |
|---|---|---|
| Author: | RV Jenkins | |
gh-pages: Updated the website
This commit does not contain any .proto files.
| Commit: | bc406ac | |
|---|---|---|
| Author: | RV Jenkins | |
gh-pages: Updated the website
This commit does not contain any .proto files.
| Commit: | cc806c8 | |
|---|---|---|
| Author: | RV Jenkins | |
gh-pages: Updated the website
This commit does not contain any .proto files.
| Commit: | a9a519d | |
|---|---|---|
| Author: | RV Jenkins | |
gh-pages: Updated the website
This commit does not contain any .proto files.
| Commit: | f7a0a75 | |
|---|---|---|
| Author: | RV Jenkins | |
gh-pages: Updated the website
This commit does not contain any .proto files.
| Commit: | 057686d | |
|---|---|---|
| Author: | RV Jenkins | |
gh-pages: Updated the website
This commit does not contain any .proto files.
| Commit: | a7bd609 | |
|---|---|---|
| Author: | RV Jenkins | |
gh-pages: Updated the website
This commit does not contain any .proto files.
| Commit: | 7cf4255 | |
|---|---|---|
| Author: | RV Jenkins | |
gh-pages: Updated the website
This commit does not contain any .proto files.
| Commit: | 5304cc4 | |
|---|---|---|
| Author: | RV Jenkins | |
gh-pages: Updated the website
This commit does not contain any .proto files.
| Commit: | da424bc | |
|---|---|---|
| Author: | RV Jenkins | |
gh-pages: Updated the website
This commit does not contain any .proto files.
| Commit: | 5d215e8 | |
|---|---|---|
| Author: | RV Jenkins | |
gh-pages: Updated the website
This commit does not contain any .proto files.
| Commit: | 378fac4 | |
|---|---|---|
| Author: | RV Jenkins | |
gh-pages: Updated the website
This commit does not contain any .proto files.
| Commit: | 983f5ae | |
|---|---|---|
| Author: | RV Jenkins | |
gh-pages: Updated the website
This commit does not contain any .proto files.
| Commit: | f3fe0cd | |
|---|---|---|
| Author: | RV Jenkins | |
gh-pages: Updated the website
This commit does not contain any .proto files.
| Commit: | acb965f | |
|---|---|---|
| Author: | RV Jenkins | |
gh-pages: Updated the website
This commit does not contain any .proto files.
| Commit: | 5eac4fc | |
|---|---|---|
| Author: | RV Jenkins | |
gh-pages: Updated the website
This commit does not contain any .proto files.
| Commit: | 396de1f | |
|---|---|---|
| Author: | RV Jenkins | |
gh-pages: Updated the website
This commit does not contain any .proto files.
| Commit: | 4e857f7 | |
|---|---|---|
| Author: | RV Jenkins | |
gh-pages: Updated the website
This commit does not contain any .proto files.
| Commit: | 4a36633 | |
|---|---|---|
| Author: | RV Jenkins | |
gh-pages: Updated the website
This commit does not contain any .proto files.
| Commit: | 44cc4d4 | |
|---|---|---|
| Author: | RV Jenkins | |
gh-pages: Updated the website
This commit does not contain any .proto files.
| Commit: | b380941 | |
|---|---|---|
| Author: | RV Jenkins | |
gh-pages: Updated the website
This commit does not contain any .proto files.
| Commit: | 75a475c | |
|---|---|---|
| Author: | RV Jenkins | |
gh-pages: Updated the website
This commit does not contain any .proto files.
| Commit: | 7bccc5a | |
|---|---|---|
| Author: | RV Jenkins | |
gh-pages: Updated the website
This commit does not contain any .proto files.
| Commit: | a7ce904 | |
|---|---|---|
| Author: | RV Jenkins | |
gh-pages: Updated the website
This commit does not contain any .proto files.
| Commit: | 31cfa41 | |
|---|---|---|
| Author: | RV Jenkins | |
gh-pages: Updated the website
This commit does not contain any .proto files.
| Commit: | 4f807f8 | |
|---|---|---|
| Author: | RV Jenkins | |
gh-pages: Updated the website
This commit does not contain any .proto files.
| Commit: | f940320 | |
|---|---|---|
| Author: | RV Jenkins | |
gh-pages: Updated the website
This commit does not contain any .proto files.
| Commit: | 1125ce7 | |
|---|---|---|
| Author: | RV Jenkins | |
gh-pages: Updated the website
This commit does not contain any .proto files.
| Commit: | be0554d | |
|---|---|---|
| Author: | RV Jenkins | |
gh-pages: Updated the website
This commit does not contain any .proto files.
| Commit: | 82013ff | |
|---|---|---|
| Author: | RV Jenkins | |
gh-pages: Updated the website
This commit does not contain any .proto files.
| Commit: | e13acf0 | |
|---|---|---|
| Author: | RV Jenkins | |
gh-pages: Updated the website
This commit does not contain any .proto files.
| Commit: | 6aa864e | |
|---|---|---|
| Author: | RV Jenkins | |
gh-pages: Updated the website
This commit does not contain any .proto files.
| Commit: | a465209 | |
|---|---|---|
| Author: | RV Jenkins | |
gh-pages: Updated the website
This commit does not contain any .proto files.
| Commit: | e1b2ba1 | |
|---|---|---|
| Author: | RV Jenkins | |
gh-pages: Updated the website
This commit does not contain any .proto files.
| Commit: | 5b7023c | |
|---|---|---|
| Author: | RV Jenkins | |
gh-pages: Updated the website
This commit does not contain any .proto files.
| Commit: | 81a8c4c | |
|---|---|---|
| Author: | RV Jenkins | |
gh-pages: Updated the website
This commit does not contain any .proto files.
| Commit: | f72acd6 | |
|---|---|---|
| Author: | gtrepta | |
| Committer: | GitHub | |
Coverage collection for Firefly (#266) * iele-coverage.md: Add coverage collection semantics * VM responds with coverage over protobuf * Add configuration variable for enabling coverage * Add coverage test * proto/proto/VERSION: 1.2 -> 3.0 * vm/c/vm.cpp: Include bytecode in CodeCoverage message
The documentation is generated from this commit.
| Commit: | 1a8a59e | |
|---|---|---|
| Author: | RV Jenkins | |
gh-pages: Updated the website
This commit does not contain any .proto files.
| Commit: | e8f131d | |
|---|---|---|
| Author: | RV Jenkins | |
gh-pages: Updated the website
This commit does not contain any .proto files.
| Commit: | 596e6e1 | |
|---|---|---|
| Author: | RV Jenkins | |
gh-pages: Updated the website
This commit does not contain any .proto files.
| Commit: | c06608c | |
|---|---|---|
| Author: | RV Jenkins | |
gh-pages: Updated the website
This commit does not contain any .proto files.
| Commit: | 7ec8b83 | |
|---|---|---|
| Author: | RV Jenkins | |
gh-pages: Updated the website
This commit does not contain any .proto files.
| Commit: | 3a7f35e | |
|---|---|---|
| Author: | RV Jenkins | |
gh-pages: Updated the website
This commit does not contain any .proto files.
| Commit: | 6c26646 | |
|---|---|---|
| Author: | RV Jenkins | |
gh-pages: Updated the website
This commit does not contain any .proto files.
| Commit: | 469e090 | |
|---|---|---|
| Author: | RV Jenkins | |
gh-pages: Updated the website
This commit does not contain any .proto files.
| Commit: | ee1ca27 | |
|---|---|---|
| Author: | RV Jenkins | |
gh-pages: Updated the website
This commit does not contain any .proto files.
| Commit: | 637aa76 | |
|---|---|---|
| Author: | RV Jenkins | |
gh-pages: Updated the website
This commit does not contain any .proto files.
| Commit: | a59af8a | |
|---|---|---|
| Author: | RV Jenkins | |
gh-pages: Updated the website
This commit does not contain any .proto files.
| Commit: | 8a8ff01 | |
|---|---|---|
| Author: | RV Jenkins | |
gh-pages: Updated the website
This commit does not contain any .proto files.
| Commit: | c62ba2f | |
|---|---|---|
| Author: | RV Jenkins | |
gh-pages: Updated the website
This commit does not contain any .proto files.
| Commit: | a657606 | |
|---|---|---|
| Author: | RV Jenkins | |
gh-pages: Updated the website
This commit does not contain any .proto files.
| Commit: | 0ef5bf3 | |
|---|---|---|
| Author: | RV Jenkins | |
gh-pages: Updated the website
This commit does not contain any .proto files.
| Commit: | 96a2573 | |
|---|---|---|
| Author: | RV Jenkins | |
gh-pages: Updated the website
This commit does not contain any .proto files.
| Commit: | 166e2df | |
|---|---|---|
| Author: | RV Jenkins | |
gh-pages: Updated the website
This commit does not contain any .proto files.
| Commit: | 121304b | |
|---|---|---|
| Author: | RV Jenkins | |
gh-pages: Updated the website
This commit does not contain any .proto files.
| Commit: | a353204 | |
|---|---|---|
| Author: | RV Jenkins | |
gh-pages: Updated the website
This commit does not contain any .proto files.
| Commit: | d3006de | |
|---|---|---|
| Author: | RV Jenkins | |
gh-pages: Updated the website
This commit does not contain any .proto files.
| Commit: | a0b157a | |
|---|---|---|
| Author: | RV Jenkins | |
gh-pages: Updated the website
This commit does not contain any .proto files.
| Commit: | 598f1df | |
|---|---|---|
| Author: | RV Jenkins | |
gh-pages: Updated the website
This commit does not contain any .proto files.
| Commit: | 4d8cbae | |
|---|---|---|
| Author: | RV Jenkins | |
gh-pages: Updated the website
This commit does not contain any .proto files.
| Commit: | b064920 | |
|---|---|---|
| Author: | RV Jenkins | |
gh-pages: Updated the website
This commit does not contain any .proto files.
| Commit: | 5c2ce68 | |
|---|---|---|
| Author: | RV Jenkins | |
gh-pages: Updated the website
This commit does not contain any .proto files.
| Commit: | 7fbea0d | |
|---|---|---|
| Author: | RV Jenkins | |
gh-pages: Updated the website
This commit does not contain any .proto files.
| Commit: | b42746d | |
|---|---|---|
| Author: | RV Jenkins | |
gh-pages: Updated the website
This commit does not contain any .proto files.
| Commit: | 652c896 | |
|---|---|---|
| Author: | RV Jenkins | |
gh-pages: Updated the website
This commit does not contain any .proto files.
| Commit: | 0594345 | |
|---|---|---|
| Author: | RV Jenkins | |
gh-pages: Updated the website
This commit does not contain any .proto files.
| Commit: | 5b8c35c | |
|---|---|---|
| Author: | RV Jenkins | |
gh-pages: Updated the website
This commit does not contain any .proto files.
| Commit: | aef53e3 | |
|---|---|---|
| Author: | RV Jenkins | |
gh-pages: Updated the website
This commit does not contain any .proto files.
| Commit: | 2263fa2 | |
|---|---|---|
| Author: | RV Jenkins | |
gh-pages: Updated the website
This commit does not contain any .proto files.
| Commit: | bb07826 | |
|---|---|---|
| Author: | RV Jenkins | |
gh-pages: Updated the website
This commit does not contain any .proto files.
| Commit: | 20298d3 | |
|---|---|---|
| Author: | RV Jenkins | |
gh-pages: Updated the website
This commit does not contain any .proto files.
| Commit: | 35d66fc | |
|---|---|---|
| Author: | RV Jenkins | |
gh-pages: Updated the website
This commit does not contain any .proto files.
| Commit: | 6cc090a | |
|---|---|---|
| Author: | RV Jenkins | |
gh-pages: Updated the website
This commit does not contain any .proto files.
| Commit: | 0a81025 | |
|---|---|---|
| Author: | RV Jenkins | |
gh-pages: Updated the website
This commit does not contain any .proto files.
| Commit: | 2f24fca | |
|---|---|---|
| Author: | RV Jenkins | |
gh-pages: Updated the website
This commit does not contain any .proto files.
| Commit: | f62a6f8 | |
|---|---|---|
| Author: | RV Jenkins | |
gh-pages: Updated the website
This commit does not contain any .proto files.
| Commit: | a5c5820 | |
|---|---|---|
| Author: | RV Jenkins | |
gh-pages: Updated the website
This commit does not contain any .proto files.
| Commit: | 5412d0c | |
|---|---|---|
| Author: | RV Jenkins | |
gh-pages: Updated the website
This commit does not contain any .proto files.
| Commit: | 45f0fbf | |
|---|---|---|
| Author: | RV Jenkins | |
gh-pages: Updated the website
This commit does not contain any .proto files.
| Commit: | 87737a9 | |
|---|---|---|
| Author: | RV Jenkins | |
gh-pages: Updated the website
This commit does not contain any .proto files.
| Commit: | d025e8a | |
|---|---|---|
| Author: | gtrepta | |
| Committer: | GitHub | |
Bring in IELE specific files from plugin submodule (#193) * Remove dependency on vm{,-c} folders of plugin submodule * Move more from plugin/plugin-c into proto/ folder * Makefile: Fix messed up target dependency Co-authored-by: Dwight Guth <dwight.guth@runtimeverification.com>
| Commit: | 1ff53c9 | |
|---|---|---|
| Author: | dwightguth | |
| Committer: | GitHub | |
Update IELE semantics to work with latest version of blockchain k plugin (#73) * delete old plugin code (moved to subtree) * add blockchain-k-plugin submodule * Makefile: refer to files via subtree * Makefile, iele-node.md, iele.md: changes to bring IELE VM server in alignment with KEVM * Makefile, blockchaintest, data.md, ethereum.md, iele.md: more changes to align KEVM with IELE * iele-node.md: remove empty accounts at end of transaction execution * iele-node.md: add documentation for rule not being non-confluent
This commit does not contain any .proto files.
| Commit: | 1d57721 | |
|---|---|---|
| Author: | dwightguth | |
| Committer: | GitHub | |
Refactor IELE semantics to separate out logic for initializing accounts/storage/code/blockhashes (#60) * Makefile, data.md, ethereum.md, iele-binary.md, iele-gas.md, iele-syntax.md, iele.md, krypto.md: split IELE into node version and standalone version * ethereum.md, iele-gas.md, iele.md: refactoring to remove unnecessary mentions of balance and nonce * iele-gas.md, iele.md: refactor out #lookupStorage to deal with computing the value of the storage cell for a particular index * iele.md: refactor code so that code can be missing (.Contract) and loaded by #lookupCode * tests/iele/unit: add test for blockhash to iele-tests * Makefile, ethereum.md, iele-node.md, iele-semantics-plugin: add MANTIS module to iele semantics plugin so that the semantics can use the API to get world state * Makefile: improvements to Makefile * ethereum.md: remove stray unused cell * ethereum.md, iele-gas.md, iele-node.md, iele.md: refactor #newAccount into #loadAccount and #initAccount * ethereum.md, iele.md: refactor structure of logData cell * iele-binary.md ,iele.md: refactor disassembled contract to keep byte string * iele-gas.md: refactor #accountEmpty slightly * iele-semantics-plugin/caching.ml: add Caching.is_code_empty * MANTIS.ml, world.ml: cleanup InMemoryWorldState * world.ml: use 2s-complement big endian for big integer serialization * msg.proto: update proto to sync with mantis again * iele-node.md, iele-vm: add iele-vm process that tests iele transactions in node config * tests/iele: update tests to new format * Makefile: add ocamlc compilation mode * ethereum.md: remove rules from node build that conflict with node rewriting * iele-node.md, MANTIS.ml: add isCodeEmpty to fix .Contract loading for empty accounts * iele-node.md, iele.md: fix rewriting for node client to terminate correctly * caching.ml, ieleVM.ml: clear cache between transactions * world.ml: fix to_z and of_z * world.ml, ieleTestClient.ml, ieleVM.ml: update iele test client * ieleVM.ml: fix account_is_modified * ieleVM.ml: fix get_code_bytes for .Contract * msg.proto: update proto to be closer to in sync * ieleVM.ml: fix run_transaction rewriting * tests/iele * data.md, ethereum.md, iele-gas.md, ieleTestClient.ml, ieleVM.ml: compute initial gas correctly * ieleTestClient.ml: fail on failing assertions * tests/iele * Makefile: improve make node * ieleTestClient.ml: fix to_hex of zero * tests/iele * data.md: fix rlpEncodeInts * ethereum.md, iele.md: fix driver to support new test format * world.ml, ieleVM.ml: fix byte padding of LogEntry * Makefile: iele-test-node target * iele.md: formatting * ethereum.md: remove unused rules from node * Makefile: remove ifeq and replace with make variables * ethereum.md: fix typo in tangling