argotorg/act

View on GitHub

Smart contract specification language

Stars: 279
Forks: 51
Open beginner issues: 0
Indexed issues: 34
Avg merge: 17h 42m
Merged PRs (30d): 1

Dominant language: Haskell
License: AGPL-3.0
Last GitHub push: Sep 4, 2026
Latest indexed: Sep 14, 2026
Contributing guide: No contributing guide
Code of conduct: No code of conduct
Beginner labels: good first issue

Beginner friendly Everything

Open All

34 open issues indexed

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

Difficulty 4/5 3-5 days Newbie friendliness 35/100

argotorg/act#204 · Opened Sep 16, 2025
Concrete syntax changes Open

Difficulty 4/5 3-5 days Newbie friendliness 35/100

argotorg/act#194 · Opened Jun 30, 2025
Multiple contracts, with a contract that is not created Open

Difficulty 5/5 Over a week Newbie friendliness 20/100

argotorg/act#184 · 1 comment · Opened Jul 25, 2024
Unify the approach of integer bounds assertions Open

Difficulty 5/5 Over a week Newbie friendliness 25/100

argotorg/act#171 · Opened Nov 3, 2023
Automatically generate getter specs Open

enhancement

Difficulty 5/5 Over a week Newbie friendliness 30/100

argotorg/act#166 · 1 reaction · Opened Oct 25, 2023
ActBook: Hevm section seems outdated Open

Difficulty 3/5 1-2 days Newbie friendliness 30/100

argotorg/act#158 · 2 comments · Opened Aug 9, 2023
Structured Interface Definitions In JSON Output Open

Difficulty 4/5 3-5 days Newbie friendliness 35/100

argotorg/act#138 · Opened Oct 12, 2022
Solver timeout when attempting to prove mint(Pass) Open

Difficulty 4/5 3-5 days Newbie friendliness 25/100

argotorg/act#137 · 4 comments · Opened Oct 12, 2022
Support building outside of nix Open

Difficulty 5/5 Over a week Newbie friendliness 20/100

argotorg/act#134 · Opened Apr 19, 2022
Syntax: change rewrite arrow to `<-` Open

enhancement good first issue

Difficulty 4/5 3-5 days Newbie friendliness 30/100

argotorg/act#128 · 2 comments · Opened Mar 22, 2022
cff backend Open

Difficulty 5/5 Over a week Newbie friendliness 25/100

argotorg/act#125 · Opened Sep 18, 2021
Move `Time t` from `TEntry` to `TStorageItem` Open

minor

Difficulty 5/5 Over a week Newbie friendliness 25/100

argotorg/act#121 · 2 comments · Opened Jul 23, 2021
Choose one style of accessing records Open

minor

Difficulty 3/5 1-2 days Newbie friendliness 45/100

argotorg/act#120 · Opened Jul 23, 2021
hevm: handle contracts with boolean mappings Open

bug

Difficulty 4/5 3-5 days Newbie friendliness 38/100

argotorg/act#118 · 1 comment · Opened Jul 21, 2021
Rounding Error Analysis Open

enhancement

Difficulty 5/5 Over a week Newbie friendliness 25/100

argotorg/act#112 · 1 comment · Opened May 12, 2021
SMT: Detect Collisions in Mapping Assignments Open

enhancement

argotorg/act#111 · 1 assignee · Opened May 12, 2021
SMT: Arithmetic bounds checking Open

enhancement

Difficulty 5/5 Over a week Newbie friendliness 30/100

argotorg/act#109 · 1 reaction · Opened May 12, 2021
Unify Error Handling Open

enhancement

Difficulty 5/5 Over a week Newbie friendliness 25/100

argotorg/act#108 · Opened May 11, 2021
Position information for backend errors Open

enhancement

Difficulty 5/5 Over a week Newbie friendliness 25/100

argotorg/act#97 · 9 comments · Opened Apr 29, 2021
Typechecker: Issue type errors for invalid constructor preconditions Open

bug

Difficulty 4/5 3-5 days Newbie friendliness 45/100

argotorg/act#94 · Opened Apr 29, 2021
Test: Negative QuickCheck Tests Open

tests

Difficulty 4/5 3-5 days Newbie friendliness 35/100

argotorg/act#87 · Opened Jan 13, 2021
Test: JSON Roundtrip Open

tests

Difficulty 4/5 3-5 days Newbie friendliness 45/100

argotorg/act#86 · Opened Jan 13, 2021
Lack of blanks makes source look confusing Open

enhancement

Difficulty 3/5 1-2 days Newbie friendliness 38/100

argotorg/act#78 · Opened Dec 15, 2020
SMT backend multi transaction counterexample Open

enhancement

Difficulty 4/5 3-5 days Newbie friendliness 35/100

argotorg/act#67 · 1 comment · Opened Dec 15, 2020
Further Refine AST Open

enhancement

Difficulty 5/5 Over a week Newbie friendliness 25/100

argotorg/act#64 · 5 comments · Opened Dec 15, 2020
Unclear semantics for environment variables in the invariant block Open

enhancement

Difficulty 5/5 Over a week Newbie friendliness 25/100

argotorg/act#59 · 20 comments · Opened Dec 15, 2020
Integers & Bitvectors in Act and bytecode verifying backends Open

enhancement

Difficulty 5/5 Over a week Newbie friendliness 30/100

argotorg/act#53 · Opened Oct 14, 2020
Fixed point types Open

enhancement

Difficulty 5/5 Over a week Newbie friendliness 25/100

argotorg/act#36 · 1 reaction · Opened Aug 26, 2020
Document the language Open

documentation

Difficulty 4/5 3-5 days Newbie friendliness 25/100

argotorg/act#29 · 1 comment · Opened Jul 9, 2020
Rearrange examples that fit into 0.1 Open

documentation

Difficulty 5/5 Over a week Newbie friendliness 10/100

argotorg/act#27 · Opened Jul 9, 2020
Specifying behaviour with calls to unknown code Open

enhancement

Difficulty 5/5 Over a week Newbie friendliness 25/100

argotorg/act#18 · 2 comments · Opened May 3, 2020
Container abstractions: arrays, mappings, .... Open

enhancement

Difficulty 5/5 Over a week Newbie friendliness 25/100

argotorg/act#6 · Opened Nov 25, 2019
Unrolling loops with helper functions Open

enhancement

Difficulty 5/5 Over a week Newbie friendliness 25/100

argotorg/act#3 · 13 comments · Opened Nov 13, 2019
Loop invariants Open

enhancement

Difficulty 5/5 Over a week Newbie friendliness 15/100

argotorg/act#2 · 1 comment · 1 reaction · Opened Oct 11, 2019

argotorg/act

Get new issues in your inbox