ethereum/act

Issues

• Negative Integer Literals

  #61 opened 4 years ago
  0

• Polymorphic Equality

  #60 opened 4 years ago
  0

• Unclear semantics for environment variables in the invariant block

  #59 opened 4 years ago
  20

• SMT: Fix encoding for mappings

  #58 opened 4 years ago
  0

• Wrong treatment of `iff` conditions

  #55 opened 4 years ago
  5

• Integers & Bitvectors in Act and bytecode verifying backends

  #53 opened 4 years ago
  0

• Fail specs should not contain stateUpdates

  #42 opened 4 years ago
  0

• Incorrect AST output for `token` specs

  #38 opened 4 years ago
  1

• Fixed point types

  #36 opened 4 years ago
  0

• Document the language

  #29 opened 4 years ago
  1

• [Act 0.1] Grammar

  #28 opened 4 years ago
  1

• Rearrange examples that fit into 0.1

  #27 opened 4 years ago
  0

• Define Language Scope for 0.1

  #26 opened 4 years ago
  2

• hevm build errors in nix-shell

  #24 opened 4 years ago
  3

• nix fails to fetch dapptools

  #21 opened 4 years ago
  0

• Specifying behaviour with calls to unknown code

  #18 opened 5 years ago
  2

• SMT checks of spec validity

  #14 opened 4 years ago
  8

• Container abstractions: arrays, mappings, ....

  #6 opened 5 years ago
  0

• If vs Case: globalizing pre- & postconditions

  #5 opened 5 years ago
  2

• Unrolling loops with helper functions

  #3 opened 5 years ago
  13

• Loop invariants

  #2 opened 5 years ago
  1

• Basic features

  #1 opened 5 years ago
  9