Commits

Breadcrumbs

History for

on54e4252

User selector

All users

Datepicker

All time

Commit History

Commits on Apr 12, 2024

• Clean up tab/space mix and tabs used for alignment

  cameel

  committed
  54e4252

  Copy full SHA for 54e4252

Commits on Apr 8, 2024

• Fix error msg for hex number combined with unit denomination

  pcw109550

  committed
  0c32ddb

  Copy full SHA for 0c32ddb

Commits on Apr 3, 2024

• Optimize the magicVariableToID function. (ethereum#14901)

  Show description for 10b1b3c
  

  vcvvvc

  and

  nikola-matic

  authored
  10b1b3c

  Copy full SHA for 10b1b3c

Commits on Mar 26, 2024

• Remove redundant word (ethereum#14952)

  Show description for 06fc835
  InventiveCoder

  authored
  06fc835

  Copy full SHA for 06fc835

Commits on Mar 11, 2024

• Merge pull request ethereum#14926 from ethereum/fix-unnecessary-compilation-with-via-ir

  Show description for cc79c91
  ekpyron

  authored
  cc79c91

  Copy full SHA for cc79c91

• SMTChecker: Fix usage of Eldarica with SMT callback

  Show description for 0219d1e
  blishko

  committed
  0219d1e

  Copy full SHA for 0219d1e

Commits on Mar 8, 2024

• Fix unnecessary compilation when --via-ir is used on its own

  cameel

  committed
  9762ebb

  Copy full SHA for 9762ebb

• fix typos

  hyhnet

  committed
  e084f71

  Copy full SHA for e084f71

Commits on Feb 27, 2024

• SMTCommand: Remember to flush query before calling solver

  Show description for 125767e
  blishko

  committed
  125767e

  Copy full SHA for 125767e

Commits on Feb 23, 2024

• TypeInference: Require declarations for type variables

  cameel

  committed
  cd52e5a

  Copy full SHA for cd52e5a

• Add parser support for quantified function definitions

  cameel

  committed
  4d051c1

  Copy full SHA for 4d051c1

• Add ForAllQuantifier AST node

  cameel

  committed
  fa35ed5

  Copy full SHA for fa35ed5

• Parser::parseFunctionDefinition(): Return FunctionDefinition, not ASTNode

  cameel

  committed
  e095590

  Copy full SHA for e095590

Commits on Feb 19, 2024

• SMTChecker: Respect signedness of integer type

  Show description for ac39886
  blishko

  committed
  ac39886

  Copy full SHA for ac39886

• CompilerStack: Don't swallow details include in OptimizerException

  Show description for 18cabee
  cameel

  committed
  18cabee

  Copy full SHA for 18cabee

Commits on Feb 14, 2024

• Use MCOPY when copying byte arrays

  nikola-matic

  committed
  44da00d

  Copy full SHA for 44da00d

Commits on Feb 6, 2024

• Print a warning about function parameter names being used instead of values in SMTChecker (ethereum#14832)

  pgebal

  authored
  c7db606

  Copy full SHA for c7db606

Commits on Jan 30, 2024

• Fixing type variables in type definitions

  

  cameel

  authored and

  ekpyron

  committed
  8e210d2

  Copy full SHA for 8e210d2

• Fixing type variables in defined type classes and functions

  

  cameel

  authored and

  ekpyron

  committed
  fce70ef

  Copy full SHA for fce70ef

• Use different prefixes when printing fixed and generic type variables

  

  cameel

  authored and

  ekpyron

  committed
  fd3c393

  Copy full SHA for fd3c393

• Introduce fixed type variables

  

  cameel

  authored and

  ekpyron

  committed
  44ffdb1

  Copy full SHA for 44ffdb1

• TypeSystemHelper: substitute()

  

  cameel

  authored and

  ekpyron

  committed
  e545e93

  Copy full SHA for e545e93

Commits on Jan 26, 2024

• TypeInference: Remove unreachable errors on missing instantiation annotations guaranteed by previous passes

  cameel

  committed
  fb99132

  Copy full SHA for fb99132

• Fix typos

  rex4539

  committed
  6d5aa39

  Copy full SHA for 6d5aa39

Commits on Jan 25, 2024

• Add support to import EVM assembly via Standard JSON.

  

  aarlt

  authored and

  cameel

  committed
  4ed2380

  Copy full SHA for 4ed2380

• Issue a warning when comparing internal function pointers

  

  nikola-matic

  authored and

  cameel

  committed
  631fd9d

  Copy full SHA for 631fd9d

Commits on Jan 24, 2024

• Test new semantic of selfdestruct added by EIP-6780

  r0qs

  committed
  261e8b9

  Copy full SHA for 261e8b9

• Support bytes concat in formal verification (ethereum#14685)

  pgebal

  authored
  ce98680

  Copy full SHA for ce98680

Commits on Jan 22, 2024

• Add blobhash high-level global function.

  

  r0qs

  authored and

  cameel

  committed
  81268e3

  Copy full SHA for 81268e3

Commits on Jan 17, 2024

• Fix typos

  

  GoodDaisy

  authored and

  matheusaaguiar

  committed
  b8d0077

  Copy full SHA for b8d0077

Commits on Jan 12, 2024

• Introduce block.blobbasefee in Solidity and blobbasefee in Yul

  nikola-matic

  committed
  bf59ff8

  Copy full SHA for bf59ff8

Commits on Dec 18, 2023

• Add basic type inference infrastructure for experimental Solidity

  Show description for 194b114
  

  4 peopleauthored and

  r0qs

  committed
  194b114

  Copy full SHA for 194b114

Commits on Nov 30, 2023

• Assert import AST

  matheusaaguiar

  committed
  fc65c0c

  Copy full SHA for fc65c0c

• [REFACTOR] Use solUnimplementedAssert instead of solAssert

  matheusaaguiar

  committed
  9b09afe

  Copy full SHA for 9b09afe

• [FIXUP] Remove TODO comment

  matheusaaguiar

  committed
  7006535

  Copy full SHA for 7006535

Pagination

Previous

Next