Commits

Branch selector

 develop

User selector

All users

Datepicker

All time

Commit History

Commits on Dec 30, 2020

• Merge pull request #10579 from ethereum/supportMetaTypeNameSol2Yul

  Show description for 0e32fa8
  mijovic

  authored
  0e32fa8

  Copy full SHA for 0e32fa8

• Updating gas costs and cmdline tests.

  mijovic

  committed
  67c92b7

  Copy full SHA for 67c92b7

• Refactoring copyLiteralToMemoryFunction and reusing it from other functions.

  Show description for 047d693
  

  mijovic

  and

  axic

  committed
  047d693

  Copy full SHA for 047d693

• Deleting yul unimplemented test.

  mijovic

  committed
  b74c081

  Copy full SHA for b74c081

• [Sol->Yul] Implementing type name.

  mijovic

  committed
  ddb0576

  Copy full SHA for ddb0576

• Merge pull request #10661 from ethereum/smt_checked

  Show description for 1837e0a
  mijovic

  authored
  1837e0a

  Copy full SHA for 1837e0a

• [SMTChecker] Support check/unchecked

  

  Leonardo Alt

  committed
  78d55e6

  Copy full SHA for 78d55e6

• Merge pull request #10702 from blishko/smt-block-constraints

  Show description for eb05826
  

  Leonardo

  authored
  eb05826

  Copy full SHA for eb05826

Commits on Dec 29, 2020

• [SMTChecker] Added constraints for block properties

  

  Martin Blicha

  committed
  be0a0f4

  Copy full SHA for be0a0f4

• Merge pull request #10685 from ethereum/smt_virtual_functions

  Show description for 86c30b4
  

  Leonardo

  authored
  86c30b4

  Copy full SHA for 86c30b4

• [SMTChecker] Fix calls to virtual/overriden functions

  

  Leonardo Alt

  committed
  9482e7d

  Copy full SHA for 9482e7d

• Merge pull request #10662 from blishko/smt-external-error

  Show description for 840b194
  

  Leonardo

  authored
  840b194

  Copy full SHA for 840b194

Commits on Dec 28, 2020

• updates to the tests

  

  Martin Blicha

  committed
  41d31fe

  Copy full SHA for 41d31fe

• removed extra parameter from PredicateInstance::nondetInterface

  

  Martin Blicha

  committed
  bb0003f

  Copy full SHA for bb0003f

• Changelog entry

  

  Martin Blicha

  committed
  5873105

  Copy full SHA for 5873105

• disabling some tests because of nondeterminism in Spacer

  

  Martin Blicha

  committed
  77dff22

  Copy full SHA for 77dff22

• updates to the tests

  

  Martin Blicha

  committed
  745466b

  Copy full SHA for 745466b

• [SMTChecker] Detect errors caused by reentrancy

  

  Martin Blicha

  committed
  f76ff35

  Copy full SHA for f76ff35

• Merge pull request #10691 from ethereum/arrayCopyIRCheck

  Show description for 8e9a5a0
  mijovic

  authored
  8e9a5a0

  Copy full SHA for 8e9a5a0

• Adding more tests for array copying.

  Show description for c41f996
  

  mijovic

  and

  hrkrshnn

  committed
  c41f996

  Copy full SHA for c41f996

• Merge pull request #10697 from GKStretton/patch-1

  Show description for e06af46
  hrkrshnn

  authored
  e06af46

  Copy full SHA for e06af46

• Fix typo

  GKStretton

  authored
  6aa6161

  Copy full SHA for 6aa6161

• Merge pull request #10694 from suriyaa/patch-1

  Show description for 03946bc
  

  Leonardo

  authored
  03946bc

  Copy full SHA for 03946bc

Commits on Dec 27, 2020

• Update Natspec documentation URL

  suriyaa

  authored
  8649df1

  Copy full SHA for 8649df1

Commits on Dec 22, 2020

• Merge pull request #10677 from ethereum/dirtyMemoryBytesSol2Yul

  Show description for e299d8b
  chriseth

  authored
  e299d8b

  Copy full SHA for e299d8b

• Merge pull request #10492 from ethereum/arrayClearingDiffBaseSol2Yul

  Show description for 04d83af
  chriseth

  authored
  04d83af

  Copy full SHA for 04d83af

• [Sol->Yul] Disable old codegen test viaYul and create new one that fits IR semantics.

  Show description for a204596
  

  mijovic

  and

  chriseth

  committed
  a204596

  Copy full SHA for a204596

• Merge pull request #10678 from blishko/refactor

  Show description for 6bcae84
  

  Leonardo

  authored
  6bcae84

  Copy full SHA for 6bcae84

• [SMTChecker] Refactoring

  

  Martin Blicha

  committed
  d90b9da

  Copy full SHA for d90b9da

• Merge pull request #10079 from ethereum/catchPanic

  Show description for d987834
  chriseth

  authored
  d987834

  Copy full SHA for d987834

• Fix length check when decoding error data.

  chriseth

  committed
  0437ee7

  Copy full SHA for 0437ee7

• Catch panic.

  chriseth

  committed
  b965446

  Copy full SHA for b965446

Commits on Dec 21, 2020

• Merge pull request #10577 from ethereum/deleteMappingSol2Yul

  Show description for b78443a
  mijovic

  authored
  b78443a

  Copy full SHA for b78443a

• Merge pull request #10670 from blishko/smt-virtual-modifiers-fix

  Show description for a48106c
  

  Leonardo

  authored
  a48106c

  Copy full SHA for a48106c

• [Sol->Yul] Fixing array clearing when copying from storage to storage.

  mijovic

  committed
  adb9d0c

  Copy full SHA for adb9d0c

Pagination

Previous

Next