ethereum/act

Issues

• Failure to build Act executable

  #181 opened 5 months ago by zoep
  1

• SMT: Detect Collisions in Mapping Assignments

  #111 opened 3 years ago by d-xo
  0

• Typechecker: bad error message when referencing an undeclared storage var

  #130 opened 5 months ago by d-xo
  1

• hevm: unexpected counterexample

  #117 opened 5 months ago by d-xo
  2

• Type errors for undeclared storage references

  #98 opened 5 months ago by d-xo
  1

• Typechecker: two behaviours with the same name should be rejected

  #129 opened 7 months ago by d-xo
  1

• SMT: Case Consistency Checks

  #110 opened 7 months ago by d-xo
  3

• Unexpcted type checking error

  #176 opened 7 months ago by d-xo
  1

• Unify the approach of integer bounds assertions

  #171 opened 8 months ago by zoep
  0

• Automatically generate getter specs

  #166 opened 8 months ago by zoep
  0

• ActBook: Hevm section seems outdated

  #158 opened a year ago by mir-ikbch
  2

• Structured Interface Definitions In JSON Output

  #138 opened 2 years ago by d-xo
  0

• Syntax: change rewrite arrow to `<-`

  #128 opened 2 years ago by d-xo
  0

• cff backend

  #125 opened 3 years ago by d-xo
  0

• Move `Time t` from `TEntry` to `TStorageItem`

  #121 opened 3 years ago by kjekac
  0

• Choose one style of accessing records

  #120 opened 3 years ago by kjekac
  0

• SMT: Arithmetic bounds checking

  #109 opened 3 years ago by d-xo
  0

• Unify Error Handling

  #108 opened 3 years ago by d-xo
  0

• Typechecker: Issue type errors for invalid constructor preconditions

  #94 opened 3 years ago by d-xo
  0

• Test: Negative QuickCheck Tests

  #87 opened 3 years ago by d-xo
  0

• Test: JSON Roundtrip

  #86 opened 3 years ago by d-xo
  0

• Lack of blanks makes source look confusing

  #78 opened 4 years ago by leonardoalt
  0

• Solver timeout when attempting to prove mint(Pass)

  #137 opened 2 years ago by koolexcrypto
  4

• act hevm fails to prove Pass claim when Payable keyword is missing

  #136 opened 2 years ago by koolexcrypto
  3

• Support building outside of nix

  #134 opened 2 years ago by d-xo
  0

• Rounding Error Analysis

  #112 opened 3 years ago by d-xo
  1

• hevm: handle contracts with boolean mappings

  #118 opened 3 years ago by d-xo
  1

• Introduce & enforce pre / post operators

  #95 opened 3 years ago by d-xo
  27

• Pretty Print Counterexamples

  #63 opened 3 years ago by d-xo
  6

• SMT: further simplify exponentiation expressions

  #99 opened 3 years ago by d-xo
  0

• State var can be used to initialize itself

  #71 opened 3 years ago by leonardoalt
  2

• Ambiguous parse for read only storage blocks

  #81 opened 3 years ago by d-xo
  1

• Position information for backend errors

  #97 opened 3 years ago by d-xo
  9

• SMT: Destringify Mapping Keys

  #85 opened 3 years ago by d-xo
  1

• Decide on Semantics for Variable References in the Ensures Block

  #92 opened 3 years ago by d-xo
  9

• Seperate SMT Analysis Stages

  #62 opened 3 years ago by d-xo
  1

• SMT backend indirect constructor assignment

  #72 opened 3 years ago by leonardoalt
  6

• SMT: Remove Local Prestate for Constructor Queries

  #91 opened 3 years ago by d-xo
  5

• SMT: Move invariant enrichment to Enrich.hs

  #88 opened 3 years ago by d-xo
  0

• SMT backend env vars type constraints

  #66 opened 3 years ago by leonardoalt
  1

• Further Refine AST

  #64 opened 4 years ago by d-xo
  5

• Negative Integer Literals

  #61 opened 4 years ago by d-xo
  0

• Error in `prove` when assigning a state variable to another

  #75 opened 4 years ago by leonardoalt
  1

• Invariants ignored by `prove`

  #76 opened 4 years ago by leonardoalt
  2

• Multiple state vars with the same name are accepted

  #70 opened 4 years ago by leonardoalt
  2

• Internal error while parsing invalid code

  #73 opened 4 years ago by leonardoalt
  3

• Error message about type mismatch

  #65 opened 4 years ago by leonardoalt
  1

• SMT backend multi transaction counterexample

  #67 opened 4 years ago by leonardoalt
  1

• Internal error when assining `_` to variable

  #77 opened 4 years ago by leonardoalt
  1

• Internal error when type checking Real -> Int assignment

  #74 opened 4 years ago by leonardoalt
  1