Search results

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

Status: Open.

#204 In argotorg/act;

· zoep opened on Sep 16, 2025

Concrete syntax changes

Status: Open.

#194 In argotorg/act;

· zoep opened on Jun 30, 2025

Multiple contracts, with a contract that is not created

Status: Open.

#184 In argotorg/act;

· jaa2 opened on Jul 25, 2024

Unify the approach of integer bounds assertions

Status: Open.

#171 In argotorg/act;

· zoep opened on Nov 3, 2023

Automatically generate getter specs

enhancementNew feature or requestNew feature or request

Status: Open.

#166 In argotorg/act;

· zoep opened on Oct 25, 2023

ActBook: Hevm section seems outdated

Status: Open.

#158 In argotorg/act;

· mir-ikbch opened on Aug 9, 2023

Structured Interface Definitions In JSON Output

Status: Open.

#138 In argotorg/act;

· d-xo opened on Oct 12, 2022

Solver timeout when attempting to prove mint(Pass)

Status: Open.

#137 In argotorg/act;

· koolexcrypto opened on Oct 12, 2022

Support building outside of nix

Status: Open.

#134 In argotorg/act;

· d-xo opened on Apr 19, 2022

Syntax: change rewrite arrow to <-

enhancementNew feature or requestNew feature or request

good first issueGood for newcomersGood for newcomers

Status: Open.

#128 In argotorg/act;

· d-xo opened on Mar 22, 2022

cff backend

Status: Open.

#125 In argotorg/act;

· d-xo opened on Sep 18, 2021

Move Time t from TEntry to TStorageItem

minorStyle details and clean codeStyle details and clean code

Status: Open.

#121 In argotorg/act;

· kjekac opened on Jul 23, 2021