runtimeverification/kevm-ethereumjs-vm issues and pull requests

#43 - Create testing harness for automatic test runs

Pull Request - State: closed - Opened by gtrepta about 5 years ago

#42 - Use KEVM releases for CI

Pull Request - State: closed - Opened by anvacaru about 5 years ago

#41 - Update ganache-cli dep to master

Pull Request - State: closed - Opened by eviefp about 5 years ago

#40 - use real tx gas limit

Pull Request - State: closed - Opened by dwightguth about 5 years ago

#39 - Build updates

Pull Request - State: closed - Opened by ehildenb about 5 years ago

#38 - Fix gasRefund in runTx.js

Pull Request - State: closed - Opened by anvacaru about 5 years ago

#37 - Use KEVM releases for CI

Pull Request - State: closed - Opened by anvacaru about 5 years ago - 1 comment

#36 - Set the length of the storage keys to 32 bytes

Pull Request - State: closed - Opened by anvacaru about 5 years ago

#35 - Add more tests to CI

Pull Request - State: closed - Opened by gtrepta about 5 years ago

#34 - Minor typo fixes

Pull Request - State: closed - Opened by anvacaru about 5 years ago

#33 - patch version bump

Pull Request - State: closed - Opened by eviefp about 5 years ago

#32 - Passing arguments to tests. Alternative to maketargets

Pull Request - State: closed - Opened by gtrepta about 5 years ago

#31 - remove debug logging unless user sets env var.

Pull Request - State: closed - Opened by dwightguth about 5 years ago

#30 - don't strip zeroes from addresses

Pull Request - State: closed - Opened by dwightguth about 5 years ago

#29 - extcodehash in kevm-ethereumjs-vm

Pull Request - State: closed - Opened by dwightguth about 5 years ago - 1 comment

#28 - Added make targets for easier spin-up and shutdown of the VM and tests

Pull Request - State: closed - Opened by gtrepta about 5 years ago - 1 comment

#27 - Socket

Pull Request - State: closed - Opened by dwightguth about 5 years ago

#26 - localize errors in ci

Pull Request - State: closed - Opened by dwightguth about 5 years ago

#25 - Add Jenkins stage to run the linter

Pull Request - State: closed - Opened by anvacaru about 5 years ago - 2 comments

#24 - Upload package

Pull Request - State: closed - Opened by eviefp about 5 years ago - 1 comment

#23 - Fix txValue in createCallContext

Pull Request - State: closed - Opened by gtrepta about 5 years ago

#22 - Makefile: remove duplicated command

Pull Request - State: closed - Opened by anvacaru about 5 years ago

#21 - try to remove broken jenkinsfile commands

Pull Request - State: closed - Opened by dwightguth about 5 years ago

#20 - Send the corect amount of ether to kevm-vm

Pull Request - State: closed - Opened by anvacaru about 5 years ago

#19 - Process the status code of a transaction

Pull Request - State: closed - Opened by anvacaru about 5 years ago

#18 - Contract address fix

Pull Request - State: closed - Opened by gtrepta about 5 years ago - 2 comments

#17 - Use same script for postinstall as for build:dist

Pull Request - State: closed - Opened by eviefp about 5 years ago

#16 - fix npm install error for cli

Pull Request - State: closed - Opened by eviefp about 5 years ago

#15 - Jenkins log

Pull Request - State: closed - Opened by anvacaru about 5 years ago - 2 comments

#14 - Display the correct revert reason in cli

Pull Request - State: closed - Opened by anvacaru about 5 years ago

#13 - Do the log files exist?

Pull Request - State: closed - Opened by eviefp about 5 years ago - 1 comment

#12 - Fixed the client not taking the full message from kevm-vm

Pull Request - State: closed - Opened by gtrepta about 5 years ago

#11 - Remove dist

Pull Request - State: closed - Opened by eviefp about 5 years ago

#10 - Test harness for ethereumjs-vm/kevm-vm

Pull Request - State: closed - Opened by anvacaru over 5 years ago - 2 comments

#9 - Moving client.write calls to a more local place in runCall.js

Pull Request - State: closed - Opened by gtrepta over 5 years ago - 1 comment

#8 - Process VMQuery message GETBLOCKHASH

Pull Request - State: closed - Opened by gtrepta over 5 years ago

#7 - Fix bug in running the "transfer" test

Pull Request - State: closed - Opened by anvacaru over 5 years ago

#6 - Update the state with results from kevm-vm

Pull Request - State: closed - Opened by anvacaru over 5 years ago - 1 comment

#5 - Add dist folder

Pull Request - State: closed - Opened by eviefp over 5 years ago

#4 - Send Account and StorageData and receive CallResult

Pull Request - State: closed - Opened by anvacaru over 5 years ago

#3 - Updated forks in EthereumConfig protobuf message

Pull Request - State: closed - Opened by anvacaru over 5 years ago

#2 - Kevm vm loop

Pull Request - State: closed - Opened by anvacaru over 5 years ago - 1 comment

#1 - Send CallContext message to KEVM-VM

Pull Request - State: closed - Opened by anvacaru over 5 years ago - 1 comment

GitHub / runtimeverification/kevm-ethereumjs-vm issues and pull requests