runtimeverification/evm-semantics issues and pull requests

#84 - Byzantium Hardfork

Pull Request - State: closed - Opened by dwightguth over 7 years ago - 6 comments

#83 - Review/ehildenb/blockchain tests2

Pull Request - State: closed - Opened by ehildenb over 7 years ago - 1 comment

#82 - weakening starting claim

Pull Request - State: closed - Opened by grosu over 7 years ago

#81 - Revised issues

Pull Request - State: closed - Opened by grosu over 7 years ago

#80 - test all vm and generalstatetests

Pull Request - State: closed - Opened by dwightguth over 7 years ago

#79 - Review/ehildenb/blockchain tests2

Pull Request - State: closed - Opened by dwightguth over 7 years ago - 4 comments

#78 - Split ci from build

Pull Request - State: closed - Opened by ehildenb over 7 years ago

#77 - Fix all GeneralStateTests

Pull Request - State: closed - Opened by dwightguth over 7 years ago - 7 comments

#76 - Begin work executing blockchain tests

Pull Request - State: closed - Opened by dwightguth over 7 years ago - 9 comments

#75 - recover old build system that runs 12x faster on Jenkins

Pull Request - State: closed - Opened by dwightguth over 7 years ago - 2 comments

#74 - Some neuance that perhaps should be included in the README.

Issue - State: closed - Opened by barrywhitehat1 over 7 years ago - 5 comments

#73 - Cleanup

Pull Request - State: closed - Opened by ehildenb over 7 years ago

#72 - Xiaoran/rebase perf

Pull Request - State: closed - Opened by ehildenb over 7 years ago

#71 - Develop

Pull Request - State: closed - Opened by ehildenb over 7 years ago

#70 - Cleanup

Pull Request - State: closed - Opened by ehildenb over 7 years ago

#69 - Merge hkg-token verification and tests.

Pull Request - State: closed - Opened by nishantjr over 7 years ago

#68 - Verification - Reorganization + Testing

Pull Request - State: closed - Opened by msaxena2 over 7 years ago

#67 - tests/ethereum-tests: Update submodule to newest devel

Pull Request - State: closed - Opened by nishantjr over 7 years ago - 1 comment

#66 - Develop

Pull Request - State: closed - Opened by nishantjr over 7 years ago - 8 comments

#65 - Njr/build cleanup

Pull Request - State: closed - Opened by ehildenb over 7 years ago

#64 - Verification fixes

Pull Request - State: closed - Opened by ehildenb over 7 years ago

#63 - Evm issues

Pull Request - State: closed - Opened by ehildenb over 7 years ago

#62 - performance fixes

Pull Request - State: closed - Opened by dwightguth over 7 years ago - 1 comment

#61 - Gas analyzer

Pull Request - State: closed - Opened by ehildenb over 7 years ago - 1 comment

#60 - Opcode create

Pull Request - State: closed - Opened by ehildenb over 7 years ago - 1 comment

#59 - Miscellaneous fixes

Pull Request - State: closed - Opened by dwightguth over 7 years ago

#58 - Gas with teeth

Pull Request - State: closed - Opened by ehildenb over 7 years ago

#57 - Vmlimits

Pull Request - State: closed - Opened by dwightguth over 7 years ago

#56 - Gas

Pull Request - State: closed - Opened by ehildenb over 7 years ago

#55 - Iotests

Pull Request - State: closed - Opened by dwightguth over 7 years ago - 16 comments

#54 - Vm sha3 test

Pull Request - State: closed - Opened by ehildenb over 7 years ago

#53 - fast rvk interpreter

Pull Request - State: closed - Opened by dwightguth over 7 years ago - 1 comment

#52 - Sha3 tests

Pull Request - State: closed - Opened by msaxena2 over 7 years ago - 1 comment

#51 - Fix #unparseByteStack

Pull Request - State: closed - Opened by msaxena2 over 7 years ago - 1 comment

#50 - fast interpreter for evm

Pull Request - State: closed - Opened by dwightguth over 7 years ago - 2 comments

#49 - Rvk3

Pull Request - State: closed - Opened by ehildenb over 7 years ago - 1 comment

#48 - Rvk2

Pull Request - State: closed - Opened by ehildenb over 7 years ago - 1 comment

#47 - ehildenb/symbolic exe

Pull Request - State: closed - Opened by ehildenb over 7 years ago

#46 - dwight's fixes to ethereum for rv k

Pull Request - State: closed - Opened by dwightguth over 7 years ago

#45 - gitmodules: Change remote to gh:ethereum from gh:ethereumproject

Pull Request - State: closed - Opened by nishantjr over 7 years ago

#44 - Gas prep

Pull Request - State: closed - Opened by nishantjr over 7 years ago

#43 - keeping track of tests that have passed (to avoid retesting)

Pull Request - State: closed - Opened by ehildenb over 7 years ago

#42 - Create operation

Pull Request - State: closed - Opened by ehildenb over 7 years ago

#41 - Njr/gas

Pull Request - State: closed - Opened by ehildenb over 7 years ago

#40 - cleaning up repo a bit

Pull Request - State: closed - Opened by ehildenb over 7 years ago

#39 - Prettier input

Pull Request - State: closed - Opened by ehildenb over 7 years ago

#38 - added ktest capabilites to makefile

Pull Request - State: closed - Opened by msaxena2 over 7 years ago

#37 - Build test: exit with correct error code on failure

Pull Request - State: closed - Opened by nishantjr over 7 years ago

#36 - VmIOAndFlowOperations

Pull Request - State: closed - Opened by msaxena2 over 7 years ago

#35 - Vm environmental info test

Pull Request - State: closed - Opened by ehildenb over 7 years ago - 1 comment

#34 - replace tangle with Build and a Makefile

Pull Request - State: closed - Opened by nishantjr over 7 years ago - 1 comment

#33 - fixing flush and adding start commmand for driving execution

Pull Request - State: closed - Opened by ehildenb over 7 years ago - 1 comment

#32 - Vm push dup swap test

Pull Request - State: closed - Opened by ehildenb over 7 years ago

#31 - removing old paper

Pull Request - State: closed - Opened by ehildenb over 7 years ago

#30 - Vm push dup swap test

Pull Request - State: closed - Opened by ehildenb over 7 years ago

#29 - vmBitwise and tangle improvements

Pull Request - State: closed - Opened by nishantjr over 7 years ago - 2 comments

#28 - Vm arithmetic test

Pull Request - State: closed - Opened by ehildenb over 7 years ago

#27 - added templates for output and config.xml

Pull Request - State: closed - Opened by msaxena2 over 7 years ago - 2 comments

#26 - Globs when running tests and other niceties.

Pull Request - State: closed - Opened by nishantjr over 7 years ago

#25 - Test harness

Pull Request - State: closed - Opened by msaxena2 over 7 years ago

#24 - Paper final

Pull Request - State: closed - Opened by kumarde about 8 years ago

#23 - Prover example

Pull Request - State: closed - Opened by msaxena2 about 8 years ago

#22 - Prover example

Pull Request - State: closed - Opened by kumarde about 8 years ago

#21 - adding demo script

Pull Request - State: closed - Opened by kumarde about 8 years ago

#20 - Evm gas

Pull Request - State: closed - Opened by kumarde about 8 years ago

#19 - Evm gas

Pull Request - State: closed - Opened by kumarde about 8 years ago

#18 - added the evaluation section

Pull Request - State: closed - Opened by msaxena2 about 8 years ago

#17 - adding world_state.evm.out file back

Pull Request - State: closed - Opened by kumarde about 8 years ago

#16 - Evm gas

Pull Request - State: closed - Opened by kumarde about 8 years ago

#15 - complicated bug fix

Pull Request - State: closed - Opened by msaxena2 about 8 years ago

#14 - changed the remaining files

Pull Request - State: closed - Opened by msaxena2 about 8 years ago

#13 - methodology fleshed out a bit, fix tests with new name for id cell

Pull Request - State: closed - Opened by kumarde about 8 years ago

#12 - expanded methodology section

Pull Request - State: closed - Opened by kumarde about 8 years ago

#11 - Evm gas

Pull Request - State: closed - Opened by kumarde about 8 years ago

#10 - Paper parts

Pull Request - State: closed - Opened by msaxena2 about 8 years ago

#9 - added background + methodology related stuff

Pull Request - State: closed - Opened by msaxena2 about 8 years ago

#8 - Empty Program File

Pull Request - State: closed - Opened by msaxena2 about 8 years ago

#7 - Verification2

Pull Request - State: closed - Opened by msaxena2 about 8 years ago

#6 - Program Verification 1 to N

Pull Request - State: closed - Opened by msaxena2 about 8 years ago

#5 - changed #range from end index to size

Pull Request - State: closed - Opened by msaxena2 about 8 years ago

#4 - Kumarde/dup

Pull Request - State: closed - Opened by kumarde about 8 years ago

#3 - Return calls

Pull Request - State: closed - Opened by msaxena2 about 8 years ago

#2 - Foreign Account Function Calls

Pull Request - State: closed - Opened by msaxena2 over 8 years ago

#1 - Merging some more basic EVM commands, LT, GT, EQ

Pull Request - State: closed - Opened by kumarde over 8 years ago

GitHub / runtimeverification/evm-semantics issues and pull requests