Commits

History for

Commits on Nov 26, 2019

*.md, tests/*: rename sort JSONList => JSONs
ehildenb
committed

Commits on Sep 19, 2019

Empty account defaults to .Account (#486)

ehildenb
authored and
rv-jenkins
committed

Commits on Sep 5, 2019

Disassemble on the fly (#448)

dwightguth
authored and
rv-jenkins
committed

Commits on Aug 27, 2019

Isolate blockchain state for client (#459)

anvacaru
authored and
ehildenb
committed

Commits on Jun 24, 2019

Test that `driver.md` fails correctly, modularize in K_RELEASE and KEVM_DIR (#380)

ehildenb
authored and
dwightguth
committed

Commits on May 8, 2019

Configuration changes (#335)
ehildenb
authored

Commits on May 6, 2019

Updates which make KEVM build on Arch Linux with LLVM backend (#343)
ehildenb
authored

Commits on May 3, 2019

Haskell backend uses exit code before diffing (#342)

ehildenb
authored and
dwightguth
committed

Commits on Dec 17, 2018

kevm, tests/templates/: backend-specific successful output files
Everett Hildenbrandt
committed

Commits on Oct 2, 2018

kevm, Makefile, tests/templates: add test for java backend execution
Dwight Guth
committed

Commits on Apr 19, 2018

evm, driver, tests/.../output: add <statusCode> cell using status codes from NETWORK
Everett Hildenbrandt
committed

Commits on Apr 16, 2018

evm, driver, tests/{*.out,proofs}: remove <callLog> cell for VMTests mode, disable checking `callcreates` keys
Everett Hildenbrandt
committed
tests/templates/output-success.kast: remove unused output file
Everett Hildenbrandt
committed

Commits on Apr 11, 2018

Makefile, tests/{templates,interactive}: switch to generic way of checking output of interactive tests

Everett Hildenbrandt
authored and
pirapira
committed
evm, tests/: move parts of state saved by #pushCallStack into cell callState

Everett Hildenbrandt
authored and
pirapira
committed

Commits on Mar 14, 2018

kevm, tests/templates/proof-success: switch to using git diff for portability of pretty_diff
Everett Hildenbrandt
committed

Commits on Feb 28, 2018

driver.md, evm.md, proofs/hkg.md, proofs/token-buggy-spec.md, tests/interactive, tests/templates/output-success.txt: refactor EVM to remove need to track whether an account is empty
Dwight Guth
committed

Commits on Jan 30, 2018

tests/{templates/output-success.txt,gas-analysis/sumTo10.evm.out}: update output for RVK

Everett Hildenbrandt
authored and
dwightguth
committed

Commits on Jan 17, 2018

ethereum.md, Build, tests/templates: set mode to SUCCESS on success
Everett Hildenbrandt
committed

Commits on Dec 21, 2017

ethereum.md, evm.md: implement STATICCALL opcode
Dwight Guth
committed

Commits on Oct 24, 2017

Commits on Sep 11, 2017

output-uiuck.txt: Update output to relect new configuration

msaxena2
authored and
dwightguth
committed

Commits on Aug 12, 2017

Build: run_test now uniformly runs uiuck and rvk
Everett Hildenbrandt - FSL-CI
committed
Build: use $test_file.out if it exists for test comparison
Everett Hildenbrandt
committed
test output files: update to newest version of semantics
Everett Hildenbrandt
committed

Commits on Jul 18, 2017

evm.md, ethereum.md: remove the <op> cell, use only the <k> cell for performance on RV-K
Everett Hildenbrandt
committed
Build: allow different test modes to use different linters

nishantjr
authored and
ehildenb
committed

Commits on Jul 15, 2017

Drop support for ktest

nishantjr
authored and
ehildenb
committed

Commits on Jul 7, 2017

adding gas analysis tools for EVM
Everett Hildenbrandt
committed