Code

Address casting#188

Code

Open

zoep wants to merge 100 commits intomainethereum/act:mainfrom addr-blockethereum/act:addr-blockCopy head branch name to clipboard

+3,871-1,425

Commits

Commits on Aug 19, 2024

• WIP in compiling Act

  zoep

  committed
  d8a1767

  Copy full SHA for d8a1767

Commits on Aug 20, 2024

• Act compiling

  zoep

  committed
  c8883cd

  Copy full SHA for c8883cd

• Nits

  zoep

  committed
  ae2a518

  Copy full SHA for ae2a518

Commits on Aug 23, 2024

• Thread fresh address to hevm

  zoep

  committed
  75fcaf4

  Copy full SHA for 75fcaf4

• WIP fresh addresses

  zoep

  committed
  73c56f4

  Copy full SHA for 73c56f4

Commits on Aug 24, 2024

• Fix fresh address bug

  zoep

  committed
  6640941

  Copy full SHA for 6640941

• Add new tests

  zoep

  committed
  bb55c5d

  Copy full SHA for bb55c5d

Commits on Aug 26, 2024

• WIP in adding contract casting

  zoep

  committed
  520a173

  Copy full SHA for 520a173

• WIP in adding contract casting

  zoep

  committed
  8f8e69b

  Copy full SHA for 8f8e69b

• Compiling contract casting

  zoep

  committed
  e7cc824

  Copy full SHA for e7cc824

• nits in casting

  zoep

  committed
  2e04b30

  Copy full SHA for 2e04b30

• Adding more tests

  zoep

  committed
  e4a6c65

  Copy full SHA for e4a6c65

• Fix bug in typing multiple constracts

  zoep

  committed
  62a7754

  Copy full SHA for 62a7754

• Nits

  zoep

  committed
  8de51e8

  Copy full SHA for 8de51e8

• WIP checking aliasing

  zoep

  committed
  8f3afd7

  Copy full SHA for 8f3afd7

• WIP checking aliasing

  zoep

  committed
  def570a

  Copy full SHA for def570a

• WIP checking aliasing

  zoep

  committed
  5c07f12

  Copy full SHA for 5c07f12

• Merge casting with main + decompilation

  zoep

  committed
  914e15a

  Copy full SHA for 914e15a

• Fix compilation error after rebase

  zoep

  committed
  2ec04a6

  Copy full SHA for 2ec04a6

Commits on Aug 27, 2024

• Fix off-by-one error

  zoep

  committed
  e4cbf6c

  Copy full SHA for e4cbf6c

Commits on Aug 29, 2024

• Fix addr constraints

  zoep

  committed
  6adc789

  Copy full SHA for 6adc789

Commits on Aug 30, 2024

• toExpr from contract variables -- this allows returning contracts from behaviours

  zoep

  committed
  d737ad3

  Copy full SHA for d737ad3

Commits on Sep 4, 2024

• tests: add tests from Act issue #184

  zoep

  committed
  5238f0a

  Copy full SHA for 5238f0a

• ignore backup files

  zoep

  committed
  f146225

  Copy full SHA for f146225

• Support contract equality

  zoep

  committed
  deb66c8

  Copy full SHA for deb66c8

Commits on Sep 9, 2024

• WIP

  zoep

  committed
  11dffd9

  Copy full SHA for 11dffd9

Commits on Sep 17, 2024

• syntax for pointers block

  zoep

  committed
  8eb0ca4

  Copy full SHA for 8eb0ca4

• No Contract type in the AST

  zoep

  committed
  d2af737

  Copy full SHA for d2af737

• WIP typing

  zoep

  committed
  43aafd3

  Copy full SHA for 43aafd3

Commits on Sep 19, 2024

• WIP type checking

  zoep

  committed
  c814eb4

  Copy full SHA for c814eb4

Commits on Sep 20, 2024

• WIP type checking

  zoep

  committed
  eca7a7d

  Copy full SHA for eca7a7d

Commits on Sep 23, 2024

• regenerate parse tests

  zoep

  committed
  9e60317

  Copy full SHA for 9e60317

• Fix type checker

  zoep

  committed
  e6439c4

  Copy full SHA for e6439c4

• Fix typo in type checker

  zoep

  committed
  f632abd

  Copy full SHA for f632abd

• Fix parser

  zoep

  committed
  ae83f62

  Copy full SHA for ae83f62

• Fix typo in type checker

  zoep

  committed
  8cd76e0

  Copy full SHA for 8cd76e0

• Update test

  zoep

  committed
  ba43359

  Copy full SHA for ba43359

• Fix in hevm

  zoep

  committed
  2b8a558

  Copy full SHA for 2b8a558

• Nit in type

  zoep

  committed
  ca19531

  Copy full SHA for ca19531

• Update tests

  zoep

  committed
  634d365

  Copy full SHA for 634d365

Commits on Sep 25, 2024

• WIP hemv

  zoep

  committed
  2dd3153

  Copy full SHA for 2dd3153

Commits on Sep 26, 2024

• WIP hemv init maps

  zoep

  committed
  bc89573

  Copy full SHA for bc89573

• WIP hevm init maps

  zoep

  committed
  661c82a

  Copy full SHA for 661c82a

Commits on Sep 30, 2024

• Refactor to use StateT and WIP in check aliasing

  zoep

  committed
  a9dc1a3

  Copy full SHA for a9dc1a3

Commits on Oct 1, 2024

• WIP hevm init maps

  zoep

  committed
  4f965ee

  Copy full SHA for 4f965ee

Commits on Oct 2, 2024

• Implementation of inital contract state map with aliasing check

  zoep

  committed
  ae21e8f

  Copy full SHA for ae21e8f

Commits on Oct 3, 2024

• Add makefile rule to make fast hevm tests

  zoep

  committed
  7325eec

  Copy full SHA for 7325eec

• WIP debugging

  zoep

  committed
  84bc6e9

  Copy full SHA for 84bc6e9

Commits on Oct 7, 2024

• More debugging and contract type contraints for addresses

  zoep

  committed
  eac9a6f

  Copy full SHA for eac9a6f

Commits on Oct 8, 2024

• Added new test -- wip debugging

  zoep

  committed
  23d2fcd

  Copy full SHA for 23d2fcd

• comment

  zoep

  committed
  05c9a56

  Copy full SHA for 05c9a56

• new test

  zoep

  committed
  61c3dc4

  Copy full SHA for 61c3dc4

• WIP support for variable fields access

  zoep

  committed
  d95389c

  Copy full SHA for d95389c

• WIP in typing

  zoep

  committed
  457b8ef

  Copy full SHA for 457b8ef

Commits on Oct 9, 2024

• WIP in typing

  zoep

  committed
  7353ffb

  Copy full SHA for 7353ffb

Commits on Oct 10, 2024

• WIP typing of contract fields

  zoep

  committed
  3289e0c

  Copy full SHA for 3289e0c

Commits on Oct 14, 2024

• wip

  zoep

  committed
  be59399

  Copy full SHA for be59399

• wip

  zoep

  committed
  a7c0c1c

  Copy full SHA for a7c0c1c

Commits on Oct 15, 2024

• Compiled struct fields for variables

  zoep

  committed
  9e80458

  Copy full SHA for 9e80458

• Fix bugs in the typechecker

  zoep

  committed
  a1c71ff

  Copy full SHA for a1c71ff

Commits on Oct 16, 2024

• Simplification required when making abstract contract maps

  zoep

  committed
  ee9e431

  Copy full SHA for ee9e431

• WIP in checking contract storage isomorphism

  zoep

  committed
  a19e34f

  Copy full SHA for a19e34f

Commits on Oct 17, 2024

• WIP in checking contract storage isomorphism

  zoep

  committed
  9c6b845

  Copy full SHA for 9c6b845

• Check store isomorphism after behavoours and examples

  zoep

  committed
  e4c692d

  Copy full SHA for e4c692d

Commits on Oct 22, 2024

• Add typechecking for arguments that map to contructors

  zoep

  committed
  40316e2

  Copy full SHA for 40316e2

Commits on Oct 24, 2024

• debug typechecker

  zoep

  committed
  7fc2910

  Copy full SHA for 7fc2910

Commits on Oct 27, 2024

• Nits in the typechecker and more tests

  zoep

  committed
  942f4f4

  Copy full SHA for 942f4f4

• Regenerate test output

  zoep

  committed
  9439ae6

  Copy full SHA for 9439ae6

Commits on Oct 29, 2024

• fix test

  zoep

  committed
  a79f7de

  Copy full SHA for a79f7de

• merge with main

  zoep

  committed
  6ec3563

  Copy full SHA for 6ec3563

• fix merge errors

  zoep

  committed
  7063486

  Copy full SHA for 7063486

Commits on Oct 30, 2024

• remove warnings

  zoep

  committed
  d8c1f42

  Copy full SHA for d8c1f42

Commits on Oct 31, 2024

• Fix errors in main

  zoep

  committed
  fd60c94

  Copy full SHA for fd60c94

• Fix for decompiler QC tests

  zoep

  committed
  f464723

  Copy full SHA for f464723

Commits on Nov 4, 2024

• Implement check that all symbolic addesses are unique, until we do internal renaming

  zoep

  committed
  1141ca5

  Copy full SHA for 1141ca5

• Cleaning up the AST

  zoep

  committed
  d099015

  Copy full SHA for d099015

• WIP cleaning up AST

  zoep

  committed
  f928d9a

  Copy full SHA for f928d9a

• WIP cleaning up AST

  zoep

  committed
  f0bbcfe

  Copy full SHA for f0bbcfe

• WIP cleaning up AST

  zoep

  committed
  89d6773

  Copy full SHA for 89d6773

Commits on Nov 26, 2024

• nit

  zoep

  authored
  5928699

  Copy full SHA for 5928699

Commits on Dec 2, 2024

• WIP adding sigleton types for Variable references

  zoep

  committed
  2df51e7

  Copy full SHA for 2df51e7

• merge

  zoep

  committed
  8a4dad3

  Copy full SHA for 8a4dad3

Commits on Dec 3, 2024

• WIP adding sigleton types for Variable references

  zoep

  committed
  1b7b8be

  Copy full SHA for 1b7b8be

• Well-typed substitutions for singleton types

  zoep

  committed
  48a2009

  Copy full SHA for 48a2009

• Well-typed substitutions for singleton types

  zoep

  committed
  49fcecd

  Copy full SHA for 49fcecd

• Translation refactoring for entries

  zoep

  committed
  d145bc3

  Copy full SHA for d145bc3

Commits on Dec 4, 2024

• Revert makefile

  zoep

  committed
  cdfdcdd

  Copy full SHA for cdfdcdd

• Small bug fixes and nits

  zoep

  committed
  28bd310

  Copy full SHA for 28bd310

• Regenerate test outputs

  zoep

  committed
  55bb4b5

  Copy full SHA for 55bb4b5

Commits on Dec 14, 2024

• Remove pragmas

  zoep

  committed
  722c7cd

  Copy full SHA for 722c7cd

• Fix handling f variable timing in typing

  zoep

  committed
  17fae59

  Copy full SHA for 17fae59

• Sneaky bug in Eq instance definition that made Decompilation nonterminating

  zoep

  committed
  6bbf502

  Copy full SHA for 6bbf502

• Fix in typechecker

  zoep

  committed
  be362d2

  Copy full SHA for be362d2

Commits on Dec 15, 2024

• Fix in timing

  zoep

  committed
  3b5ba31

  Copy full SHA for 3b5ba31

• Regenerate test output

  zoep

  committed
  aa16347

  Copy full SHA for aa16347

• Remove imports

  zoep

  committed
  e17833f

  Copy full SHA for e17833f

• Remove imports

  zoep

  committed
  17252f9

  Copy full SHA for 17252f9

• Add back import

  zoep

  committed
  fedbe1c

  Copy full SHA for fedbe1c

Commits on Dec 16, 2024

• Tweak generator so that it keeps type info for vars

  zoep

  committed
  9a17d63

  Copy full SHA for 9a17d63

Commits on Dec 21, 2024

• nit in Makefile

  zoep

  authored
  96131c4

  Copy full SHA for 96131c4