Issues

• Indices of mappings in storage updates should refer to the post state.

  argotorg/act#204 · Filter by author zoep opened on Sep 16, 2025

• Concrete syntax changes

  argotorg/act#194 · Filter by author zoep opened on Jun 30, 2025

• Multiple contracts, with a contract that is not created

  argotorg/act#184 · Filter by author jaa2 opened on Jul 25, 2024
  1

• Unify the approach of integer bounds assertions

  argotorg/act#171 · Filter by author zoep opened on Nov 3, 2023

• Automatically generate getter specs

  enhancement
  argotorg/act#166 · Filter by author zoep opened on Oct 25, 2023

• ActBook: Hevm section seems outdated

  argotorg/act#158 · Filter by author mir-ikbch opened on Aug 9, 2023
  2

• Structured Interface Definitions In JSON Output

  argotorg/act#138 · Filter by author d-xo opened on Oct 12, 2022

• Solver timeout when attempting to prove mint(Pass)

  argotorg/act#137 · Filter by author koolexcrypto opened on Oct 12, 2022
  4

• Support building outside of nix

  argotorg/act#134 · Filter by author d-xo opened on Apr 19, 2022

• Syntax: change rewrite arrow to <-

  enhancementgood first issue
  argotorg/act#128 · Filter by author d-xo opened on Mar 22, 2022
  2

• cff backend

  argotorg/act#125 · Filter by author d-xo opened on Sep 18, 2021

• Move Time t from TEntry to TStorageItem

  minor
  argotorg/act#121 · Filter by author kjekac opened on Jul 23, 2021
  2

• Choose one style of accessing records

  minor
  argotorg/act#120 · Filter by author kjekac opened on Jul 23, 2021

• hevm: handle contracts with boolean mappings

  bug
  argotorg/act#118 · Filter by author d-xo opened on Jul 21, 2021
  1

• Rounding Error Analysis

  enhancement
  argotorg/act#112 · Filter by author d-xo opened on May 12, 2021
  1

• SMT: Detect Collisions in Mapping Assignments

  enhancement
  argotorg/act#111 · Filter by author d-xo opened on May 12, 2021
  

• SMT: Arithmetic bounds checking

  enhancement
  argotorg/act#109 · Filter by author d-xo opened on May 12, 2021

• Unify Error Handling

  enhancement
  argotorg/act#108 · Filter by author d-xo opened on May 11, 2021

• Position information for backend errors

  enhancement
  argotorg/act#97 · Filter by author d-xo opened on Apr 29, 2021
  9

• Typechecker: Issue type errors for invalid constructor preconditions

  bug
  argotorg/act#94 · Filter by author d-xo opened on Apr 29, 2021

• Test: Negative QuickCheck Tests

  tests
  argotorg/act#87 · Filter by author d-xo opened on Jan 13, 2021

• Test: JSON Roundtrip

  tests
  argotorg/act#86 · Filter by author d-xo opened on Jan 13, 2021

• Lack of blanks makes source look confusing

  enhancement
  argotorg/act#78 · Filter by author leonardoalt opened on Dec 15, 2020

• SMT backend multi transaction counterexample

  enhancement
  argotorg/act#67 · Filter by author leonardoalt opened on Dec 15, 2020
  1

• Further Refine AST

  enhancement
  argotorg/act#64 · Filter by author d-xo opened on Dec 15, 2020
  5