Commits

Branch selector

 0.7

User selector

All users

Datepicker

All time

Commit History

Commits on Jun 2, 2022

• Update docker

  hajduakos

  committed
  8ea107c

  Copy full SHA for 8ea107c

Commits on Jan 11, 2021

• Move publications to wiki

  hajduakos

  authored
  0106cfb

  Copy full SHA for 0106cfb

Commits on Jan 8, 2021

• Fix string in config

  hajduakos

  committed
  049cd9a

  Copy full SHA for 049cd9a

• Revert "Remove all, but solc-verify tests from weekly run"

  Show description for bdfcacd
  hajduakos

  committed
  bdfcacd

  Copy full SHA for bdfcacd

• Remove all, but solc-verify tests from weekly run

  hajduakos

  authored
  89b9288

  Copy full SHA for 89b9288

• Update default branch for nightly CircleCI builds

  hajduakos

  authored
  bd7de94

  Copy full SHA for bd7de94

• Extend readme a bit

  hajduakos

  committed
  ff5e96b

  Copy full SHA for ff5e96b

• Extend ether unit tests with gwei

  hajduakos

  committed
  eebf599

  Copy full SHA for eebf599

• Add test case for address payable conversion

  hajduakos

  committed
  40cc7bf

  Copy full SHA for 40cc7bf

Commits on Jan 7, 2021

• Add test case for struct at file level

  hajduakos

  committed
  edc41ad

  Copy full SHA for edc41ad

• Add testcase for enum at file level

  hajduakos

  committed
  428104d

  Copy full SHA for 428104d

• Clarify in readme

  hajduakos

  committed
  943c00f

  Copy full SHA for 943c00f

• Updates to the readme

  hajduakos

  committed
  ef9bf01

  Copy full SHA for ef9bf01

Commits on Dec 15, 2020

• [0.7] uprade script to work with boogie 0.8 (/nologo was removed)

  

  Dejan Jovanovic

  committed
  e018562

  Copy full SHA for e018562

• [0.7] fix typo

  

  Dejan Jovanovic

  committed
  1cf176e

  Copy full SHA for 1cf176e

• [0.7] yet another attempt to fix build

  

  Dejan Jovanovic

  committed
  28a24dc

  Copy full SHA for 28a24dc

• [0.7] another attempt to fix build

  

  Dejan Jovanovic

  committed
  3d49905

  Copy full SHA for 3d49905

• [0.7] remove dead code to fix build

  

  Dejan Jovanovic

  committed
  2613d49

  Copy full SHA for 2613d49

• Merge remote-tracking branch 'upstream/develop' into 0.7

  

  Dejan Jovanovic

  committed
  d8eaa0c

  Copy full SHA for d8eaa0c

• Merge pull request #10611 from ethereum/fix-10609

  Show description for 1521e9e
  chriseth

  authored
  1521e9e

  Copy full SHA for 1521e9e

• AsmAnalysis: Fix out of bounds read due to incorrect bounds checking on literal arguments

  bshastry

  committed
  9b38176

  Copy full SHA for 9b38176

• Merge pull request #10590 from ethereum/deposit-test

  Show description for 4e86390
  chriseth

  authored
  4e86390

  Copy full SHA for 4e86390

• Merge pull request #10594 from ethereum/add-sanitized-gmp-to-ossfuzz-docker

  Show description for 31107e0
  bshastry

  authored
  31107e0

  Copy full SHA for 31107e0

• Merge pull request #10592 from ethereum/abiv2-isabelle-test-values-fix-bugs

  Show description for e0e30fc
  bshastry

  authored
  e0e30fc

  Copy full SHA for e0e30fc

• Merge pull request #10575 from ethereum/calldataArraySlices

  Show description for 2a54079
  chriseth

  authored
  2a54079

  Copy full SHA for 2a54079

• Merge pull request #10601 from blishko/smt-fix-constructor-recursive-struct

  Show description for 2552a9b
  

  Leonardo

  authored
  2552a9b

  Copy full SHA for 2552a9b

• ossfuzz docker: Add sanitized build of gmp library that replaces system installed lib

  bshastry

  committed
  3439e92

  Copy full SHA for 3439e92

• Abiv2 fuzzer: Enable differential fuzzing and remove support for string coding

  Show description for b273e52
  

  bshastry

  and

  Leonardo

  committed
  b273e52

  Copy full SHA for b273e52

• Fix integer overflow due to large unsigned cpp_int

  bshastry

  committed
  39f1893

  Copy full SHA for 39f1893

• [SMTChecker] Fix internal error on constructor of a recursive struct

  

  Martin Blicha

  committed
  e2c27b8

  Copy full SHA for e2c27b8

• Change assertions to align to TypeChecker.

  mijovic

  committed
  64f0120

  Copy full SHA for 64f0120

• Adding tests for conversion of calldata slices to memory and storage and fixing syntax tests.

  mijovic

  committed
  d479c98

  Copy full SHA for d479c98

Commits on Dec 14, 2020

• Merge pull request #10599 from blishko/smt-inc-dec-push-fix

  Show description for d83ce0b
  

  Leonardo

  authored
  d83ce0b

  Copy full SHA for d83ce0b

• [SMTChecker] Fixed internal error when increment/decrement is applied on a result of push().

  

  Martin Blicha

  committed
  71f835b

  Copy full SHA for 71f835b

• [Sol->Yul] Implementing conversion from calldata slices to memory arrays.

  Show description for 8aa4568
  

  mijovic

  and

  cameel

  committed
  8aa4568

  Copy full SHA for 8aa4568

Pagination

Previous

Next