Commits

Branch selector

 web3_emptyString

User selector

All users

Datepicker

All time

Commit History

Commits on Jan 23, 2020

• Merge branch 'master' into web3_emptyString

  anvacaru

  authored
  5ca78db

  Copy full SHA for 5ca78db

• Fail faster when forgetting def-module for prove mode (#689)

  Show description for 5a99fb3
  

  ehildenb

  and

  rv-jenkins

  committed
  5a99fb3

  Copy full SHA for 5a99fb3

• Merge branch 'master' into web3_emptyString

  anvacaru

  authored
  37a39f9

  Copy full SHA for 37a39f9

• Remove "from" requirement from eth_call and eth_estimateGas (#690)

  Show description for 51a0cfe
  

  gtrepta

  and

  rv-jenkins

  committed
  51a0cfe

  Copy full SHA for 51a0cfe

• Merge branch 'master' into web3_emptyString

  ehildenb

  authored
  3b205d2

  Copy full SHA for 3b205d2

• Clean failing.openzep list (#691)

  Show description for ab99640
  

  anvacaru

  authored and

  rv-jenkins

  committed
  ab99640

  Copy full SHA for ab99640

• failing.openzep: clean-up

  anvacaru

  committed
  a347903

  Copy full SHA for a347903

• formatting

  anvacaru

  committed
  6ee8af4

  Copy full SHA for 6ee8af4

• web3.md: ignore to field if empty

  anvacaru

  committed
  2b24915

  Copy full SHA for 2b24915

• add test

  anvacaru

  committed
  cfd17c8

  Copy full SHA for cfd17c8

Commits on Jan 22, 2020

• Process `notification` requests which do not have an `id` field (#682)

  Show description for a7d4bad
  

  2 peopleauthored and

  rv-jenkins

  committed
  a7d4bad

  Copy full SHA for a7d4bad

• Execute transaction sent by eth_sendRawTransacion (#687)

  Show description for 7145e4a
  

  anvacaru

  authored and

  rv-jenkins

  committed
  7145e4a

  Copy full SHA for 7145e4a

• Add missing NOGAS rule for eth_call (#686)

  Show description for 5ada372
  

  gtrepta

  and

  rv-jenkins

  committed
  5ada372

  Copy full SHA for 5ada372

• Enable proofs on Haskell backend dry run (#685)

  Show description for 966872d
  

  ehildenb

  authored and

  rv-jenkins

  committed
  966872d

  Copy full SHA for 966872d

Commits on Jan 21, 2020

• Make EDSL and lemmas.k compatible with bytes version of semantics (#670)

  Show description for 20c2a2f
  

  3 peoplecommitted
  20c2a2f

  Copy full SHA for 20c2a2f

• Set up accounts with proper balances for openzeppelin tests (#681)

  Show description for ec502f9
  

  gtrepta

  and

  rv-jenkins

  committed
  ec502f9

  Copy full SHA for ec502f9

• Blockhash for eth_getLogs (#677)

  Show description for 56ec06f
  

  3 peoplecommitted
  56ec06f

  Copy full SHA for 56ec06f

• Remove remaining nthbyteof and formatting lemmas file (#673)

  Show description for ffeb38f
  

  ehildenb

  and

  rv-jenkins

  committed
  ffeb38f

  Copy full SHA for ffeb38f

• Remove the hobby ERC20 for quicker tests (#680)

  Show description for f234666
  

  ehildenb

  authored and

  rv-jenkins

  committed
  f234666

  Copy full SHA for f234666

• Switch proofs to #buf abstraction (#676)

  Show description for a901171
  ehildenb

  authored
  a901171

  Copy full SHA for a901171

• List of slow openzeppelin tests and --dump flag for kevm-client (#679)

  Show description for 004de7f
  

  gtrepta

  authored and

  rv-jenkins

  committed
  004de7f

  Copy full SHA for 004de7f

Commits on Jan 20, 2020

• Haskell backend proof dry run (#678)

  Show description for f0f7352
  

  ehildenb

  authored and

  rv-jenkins

  committed
  f0f7352

  Copy full SHA for f0f7352

• Update the returned coverage report (#662)

  Show description for 609d018
  

  2 peopleauthored and

  rv-jenkins

  committed
  609d018

  Copy full SHA for 609d018

Commits on Jan 17, 2020

• Use Bytes datatype for local memory on Haskell backend (#664)

  Show description for a13db9b
  

  ehildenb

  and

  rv-jenkins

  committed
  a13db9b

  Copy full SHA for a13db9b

• Openzeppelin Testing Harness (#669)

  Show description for bde6456
  

  3 peoplecommitted
  bde6456

  Copy full SHA for bde6456

• tests/specs/benchmarks: remove redundant lemmas file (#675)

  Show description for eafda9c
  

  ehildenb

  and

  rv-jenkins

  committed
  eafda9c

  Copy full SHA for eafda9c

Commits on Jan 16, 2020

• Web3: Implement eth_getLogs (#638)

  Show description for 505869d
  

  3 peoplecommitted
  505869d

  Copy full SHA for 505869d

• Default ISTANBUL schedule in as many places as possible (#672)

  Show description for 9a89477
  ehildenb

  authored
  9a89477

  Copy full SHA for 9a89477

• Have eth_accounts only return accounts owned by client (#666)

  Show description for 76ea82c
  

  gtrepta

  and

  rv-jenkins

  committed
  76ea82c

  Copy full SHA for 76ea82c

Commits on Jan 15, 2020

• deps/plugin: update submodule (#665)

  Show description for 3f4c8f4
  

  rv-jenkins

  and

  gtrepta

  authored
  3f4c8f4

  Copy full SHA for 3f4c8f4

• Update readme (#667)

  Show description for c972454
  

  ehildenb

  authored and

  rv-jenkins

  committed
  c972454

  Copy full SHA for c972454

• EIP 1344 - CHAINID OpCode (#602)

  Show description for 99e72a6
  

  3 peoplecommitted
  99e72a6

  Copy full SHA for 99e72a6

Commits on Jan 14, 2020

• Add in percentage covered to reports (#661)

  Show description for 285d019
  

  2 peopleauthored and

  rv-jenkins

  committed
  285d019

  Copy full SHA for 285d019

• Less haskell vm tests (#663)

  Show description for c036b8c
  

  ehildenb

  authored and

  rv-jenkins

  committed
  c036b8c

  Copy full SHA for c036b8c

• Remove Proxygen dependency (#656)

  Show description for 391ac48
  

  2 peopleauthored and

  rv-jenkins

  committed
  391ac48

  Copy full SHA for 391ac48

Pagination

Previous

Next