Commits

Branch selector

 symtest

User selector

All users

Datepicker

All time

Commit History

Commits on Dec 21, 2019

• Revert "increase test-prove timeout: 80 => 90 min"

  Show description for 22ce20f
  daejunpark

  committed
  22ce20f

  Copy full SHA for 22ce20f

• increase test-prove timeout: 80 => 90 min

  daejunpark

  committed
  9143b9c

  Copy full SHA for 9143b9c

Commits on Dec 20, 2019

• failing: tests/specs/symtest/bectoken-test-batchtransfer-spec.k

  daejunpark

  committed
  332ef18

  Copy full SHA for 332ef18

• concrete-rules: fix module name

  daejunpark

  committed
  82de19c

  Copy full SHA for 82de19c

• add symtest specs

  daejunpark

  committed
  ff813a8

  Copy full SHA for ff813a8

• kevm web3-ganache: allow passing args (#641)

  

  ehildenb

  authored and

  rv-jenkins

  committed
  a5dded4

  Copy full SHA for a5dded4

• Update dependencies (#631)

  Show description for 6d0386d
  rv-jenkins

  authored
  6d0386d

  Copy full SHA for 6d0386d

Commits on Dec 19, 2019

• Decontextualize transaction functions (#635)

  Show description for 996bf12
  

  gtrepta

  authored and

  rv-jenkins

  committed
  996bf12

  Copy full SHA for 996bf12

• Format tests/web3 files using `jq`, remove nondeterminism (#636)

  Show description for 9312b3f
  ehildenb

  authored
  9312b3f

  Copy full SHA for 9312b3f

Commits on Dec 17, 2019

• Web3: Extra padding in `sig R` and `sig S` (#633)

  Show description for cc66a4b
  

  anvacaru

  authored and

  rv-jenkins

  committed
  cc66a4b

  Copy full SHA for cc66a4b

• Data.md refactoring (#632)

  Show description for 70e3f47
  

  gtrepta

  authored and

  ehildenb

  committed
  70e3f47

  Copy full SHA for 70e3f47

Commits on Dec 16, 2019

• evm: remove vestigial Gsstorestipend (#630)

  

  ehildenb

  authored and

  rv-jenkins

  committed
  3949e08

  Copy full SHA for 3949e08

Commits on Dec 15, 2019

• Update dependencies (#629)

  Show description for 8bbaf04
  rv-jenkins

  authored
  8bbaf04

  Copy full SHA for 8bbaf04

Commits on Dec 14, 2019

• EIP 2200 - SSTORE/SLOAD net-metered stores (#594)

  Show description for d9b0b8d
  

  anvacaru

  authored and

  rv-jenkins

  committed
  d9b0b8d

  Copy full SHA for d9b0b8d

• EIP 1884 - SELFBALANCE and repricing (#608)

  Show description for b6c389e
  

  ehildenb

  authored and

  rv-jenkins

  committed
  b6c389e

  Copy full SHA for b6c389e

• Remove ocaml backend (#627)

  Show description for a694c56
  

  gtrepta

  authored and

  rv-jenkins

  committed
  a694c56

  Copy full SHA for a694c56

• Partial erc20 test extensions (#628)

  Show description for b1a2109
  

  gtrepta

  authored and

  rv-jenkins

  committed
  b1a2109

  Copy full SHA for b1a2109

• 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 13, 2019

• Update dependencies (#604)

  Show description for 64cc54a
  rv-jenkins

  authored
  64cc54a

  Copy full SHA for 64cc54a

• 5 more `-partial` tests from OpenZeppelin test-suite (#624)

  Show description for 169eb94
  

  anvacaru

  authored and

  rv-jenkins

  committed
  169eb94

  Copy full SHA for 169eb94

• PGM[I] is always defined when evaluating #computeValidJumpDests (#625)

  

  yzhang90

  authored and

  rv-jenkins

  committed
  e2a3c34

  Copy full SHA for e2a3c34

Commits on Dec 12, 2019

• Update dependencies (#623)

  Show description for b03b49d
  rv-jenkins

  authored
  b03b49d

  Copy full SHA for b03b49d

• getTransactionReceipt fixes (#622)

  Show description for 87fc50a
  

  gtrepta

  authored and

  rv-jenkins

  committed
  87fc50a

  Copy full SHA for 87fc50a

• tests/specs: removing `rule #sizeWordStack ( WS , N:Int )` lemma (#610)

  Show description for 611efd3
  

  denis-bogdanas

  authored and

  rv-jenkins

  committed
  611efd3

  Copy full SHA for 611efd3

• ./kevm web3-send allows sending files as well (#617)

  Show description for 0176314
  

  ehildenb

  authored and

  rv-jenkins

  committed
  0176314

  Copy full SHA for 0176314

• web3.md: add unimplemented rpc methods (#621)

  Show description for 7680572
  

  anvacaru

  authored and

  rv-jenkins

  committed
  7680572

  Copy full SHA for 7680572

• Makefile: minor fix (#609)

  

  denis-bogdanas

  authored and

  rv-jenkins

  committed
  30422a8

  Copy full SHA for 30422a8

• deps/plugin: update submodule (#620)

  rv-jenkins

  authored
  e8a4e62

  Copy full SHA for e8a4e62

Commits on Dec 11, 2019

• lemmas: fix #145 (#614)

  Show description for e8e1979
  

  daejunpark

  authored and

  rv-jenkins

  committed
  e8e1979

  Copy full SHA for e8e1979

• Update dependencies (#616)

  Show description for 3c0be77
  rv-jenkins

  authored
  3c0be77

  Copy full SHA for 3c0be77

• eth_call fixes (#615)

  Show description for 0aef385
  

  2 peopleauthored and

  rv-jenkins

  committed
  0aef385

  Copy full SHA for 0aef385

• Update dependencies (#603)

  Show description for 03cab97
  rv-jenkins

  authored
  03cab97

  Copy full SHA for 03cab97

Commits on Dec 10, 2019

• Correct and expand edsl copy (#611)

  

  MrChico

  authored and

  ehildenb

  committed
  3eaf68c

  Copy full SHA for 3eaf68c

Commits on Dec 7, 2019

• Add ./kevm interpret for haskell|java backends (#606)

  Show description for 652576c
  

  ehildenb

  authored and

  rv-jenkins

  committed
  652576c

  Copy full SHA for 652576c

Commits on Dec 6, 2019

• EIP 2028 - Reduce Gtxdatanonzero (#607)

  Show description for b8817dd
  

  ehildenb

  authored and

  rv-jenkins

  committed
  b8817dd

  Copy full SHA for b8817dd

Pagination

Previous

Next