Commits

Breadcrumbs

History for

onweb3_opcode

User selector

All users

All time

Commit History

Commits on Dec 17, 2019

• Data.md refactoring (#632)

  Show description for 70e3f47
  

  gtrepta

  authored and

  ehildenb

  committed
  70e3f47

  Copy full SHA for 70e3f47

Commits on Dec 14, 2019

• Reduce nondeterminism in merkle calculations (#626)

  Show description for 4c01130
  

  ehildenb

  authored and

  rv-jenkins

  committed
  4c01130

  Copy full SHA for 4c01130

Commits on Dec 6, 2019

• Use Bytes for the Haskell backend (#596)

  Show description for f84c925
  

  ttuegel

  authored and

  rv-jenkins

  committed
  f84c925

  Copy full SHA for f84c925

Commits on Dec 5, 2019

• Replace [concrete] attributes by rule tags (#589)

  Show description for 0e124ae
  

  daejunpark

  authored and

  rv-jenkins

  committed
  0e124ae

  Copy full SHA for 0e124ae

Commits on Dec 4, 2019

• data.md: handle the case where non-even length byte array is passed in (#598)

  

  ehildenb

  authored and

  rv-jenkins

  committed
  4d66123

  Copy full SHA for 4d66123

Commits on Dec 2, 2019

• Remove sort JSONList (#584)

  Show description for 16ac53f
  ehildenb

  authored
  16ac53f

  Copy full SHA for 16ac53f

Commits on Nov 29, 2019

• Factor out JSON modules (#571)

  Show description for 4a1a105
  ehildenb

  authored
  4a1a105

  Copy full SHA for 4a1a105

Commits on Nov 26, 2019

• edsl: fix #abiEventLog (#575)

  Show description for ca16867
  

  daejunpark

  authored and

  rv-jenkins

  committed
  ca16867

  Copy full SHA for ca16867

Commits on Nov 25, 2019

• data: improve element access to have constant amortized cost (#567)

  Show description for 448449d
  

  daejunpark

  authored and

  rv-jenkins

  committed
  448449d

  Copy full SHA for 448449d

Commits on Nov 20, 2019

• eth_getBlockByNumber (#553)

  Show description for 4c33a5d
  

  gtrepta

  authored and

  ehildenb

  committed
  4c33a5d

  Copy full SHA for 4c33a5d

Commits on Nov 14, 2019

• Improve proof import structure (#462)

  Show description for dfcd773
  

  ehildenb

  authored and

  rv-jenkins

  committed
  dfcd773

  Copy full SHA for dfcd773

• CREATE opcode proof (#544)

  Show description for f4294a0
  

  yzhang90

  authored and

  rv-jenkins

  committed
  f4294a0

  Copy full SHA for f4294a0

Commits on Nov 6, 2019

• Calculate transactionsRoot (#537)

  Show description for 061d899
  

  gtrepta

  authored and

  rv-jenkins

  committed
  061d899

  Copy full SHA for 061d899

Commits on Nov 4, 2019

• stateRoot Implementation (#533)

  Show description for 05e76b7
  

  gtrepta

  authored and

  ehildenb

  committed
  05e76b7

  Copy full SHA for 05e76b7

Commits on Oct 31, 2019

• storageRoot Implementation (#532)

  Show description for b304508
  

  gtrepta

  authored and

  rv-jenkins

  committed
  b304508

  Copy full SHA for b304508

Commits on Oct 29, 2019

• Merkle Tree bugfix + new function (#530)

  Show description for 3cecbb6
  

  gtrepta

  authored and

  rv-jenkins

  committed
  3cecbb6

  Copy full SHA for 3cecbb6

Commits on Oct 22, 2019

• Merkle Patricia Tries (#524)

  Show description for 9a1e580
  

  gtrepta

  authored and

  rv-jenkins

  committed
  9a1e580

  Copy full SHA for 9a1e580

Commits on Oct 19, 2019

• make ByteArray a synonym and remove casts (#520)

  

  dwightguth

  authored and

  rv-jenkins

  committed
  96d7b64

  Copy full SHA for 96d7b64

Commits on Oct 3, 2019

• Call `kast` when interpreting, run sum-to-n proof on Haskell backend (#502)

  Show description for bd41346
  

  ehildenb

  authored and

  rv-jenkins

  committed
  bd41346

  Copy full SHA for bd41346

Commits on Sep 17, 2019

• Implement #executeTx (#478)

  Show description for 635f43e
  

  anvacaru

  authored and

  rv-jenkins

  committed
  635f43e

  Copy full SHA for 635f43e

Commits on Sep 13, 2019

• data.md: Add memo attribute to symbolic ByteArray functions (#485)

  Show description for 044d20f
  

  ttuegel

  authored and

  ehildenb

  committed
  044d20f

  Copy full SHA for 044d20f

Commits on Sep 12, 2019

• Modification to evm-semantics for single opcode proof (#480)

  Show description for f7f0e1c
  

  yzhang90

  authored and

  rv-jenkins

  committed
  f7f0e1c

  Copy full SHA for f7f0e1c

Commits on Sep 2, 2019

• Performance fixes for the haskell backend. (#437)

  

  virgil-serbanuta

  authored and

  ehildenb

  committed
  6937d05

  Copy full SHA for 6937d05

Commits on Aug 27, 2019

• personal_importRawKey (#460)

  Show description for ad3520e
  

  gtrepta

  authored and

  ehildenb

  committed
  ad3520e

  Copy full SHA for ad3520e

Commits on Aug 23, 2019

• Use raw Bool for JSON responses, better web3 testing harness (#456)

  Show description for 26de1dd
  ehildenb

  authored
  26de1dd

  Copy full SHA for 26de1dd

• #padToWidth is quadratic (#458)

  Show description for 0dccd01
  

  ttuegel

  authored and

  ehildenb

  committed
  0dccd01

  Copy full SHA for 0dccd01

Commits on Aug 22, 2019

• Compute log bloom and gas used (#453)

  Show description for d938b30
  

  dwightguth

  authored and

  ehildenb

  committed
  d938b30

  Copy full SHA for d938b30

Commits on Aug 13, 2019

• Fix the SIGNEXTEND kore/haskell backend test. (#434)

  Show description for ea55a76
  

  virgil-serbanuta

  authored and

  ehildenb

  committed
  ea55a76

  Copy full SHA for ea55a76

• Start implementing semantics for a Web3 RPC server (#427)

  Show description for 615db59
  

  gtrepta

  authored and

  ehildenb

  committed
  615db59

  Copy full SHA for 615db59

Commits on Jul 30, 2019

• Use Bytes type for concrete backends (#414)

  Show description for a51ccb7
  

  dwightguth

  authored
  a51ccb7

  Copy full SHA for a51ccb7

Commits on Jul 18, 2019

• Add functional attribute to #sizeWordStack (#400)

  

  ttuegel

  authored and

  ehildenb

  committed
  3c4f314

  Copy full SHA for 3c4f314

Commits on Jul 11, 2019

• data.md: Remove excess chops for monotonically decreasing word ops (#387)

  Show description for 8b73f8e
  

  MrChico

  authored and

  ehildenb

  committed
  8b73f8e

  Copy full SHA for 8b73f8e

• data.md: add [concrete] flag to #signed and #unsigned (#396)

  

  MrChico

  authored and

  ehildenb

  committed
  15d98f3

  Copy full SHA for 15d98f3

Commits on May 22, 2019

• edsl.md: add uint16 ABI calldata type (#352)

  Show description for f40ff90
  

  livnev

  authored and

  ehildenb

  committed
  f40ff90

  Copy full SHA for f40ff90

Commits on May 6, 2019

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

  Show description for 0dd4ae6
  ehildenb

  authored
  0dd4ae6

  Copy full SHA for 0dd4ae6