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

Open All

34 open issues indexed

Loop invariants Open

enhancement

argotorg/act#2 · 1 comment · 1 reaction · 0 assignees · Indexed Sep 14, 2026
Unrolling loops with helper functions Open

enhancement

argotorg/act#3 · 13 comments · 0 reactions · 0 assignees · Indexed Sep 14, 2026
Container abstractions: arrays, mappings, .... Open

enhancement

argotorg/act#6 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 14, 2026
Specifying behaviour with calls to unknown code Open

enhancement

argotorg/act#18 · 2 comments · 0 reactions · 0 assignees · Indexed Sep 14, 2026
Rearrange examples that fit into 0.1 Open

documentation

argotorg/act#27 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 14, 2026
Document the language Open

documentation

argotorg/act#29 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 14, 2026
Fixed point types Open

enhancement

argotorg/act#36 · 0 comments · 1 reaction · 0 assignees · Indexed Sep 14, 2026
Integers & Bitvectors in Act and bytecode verifying backends Open

enhancement

argotorg/act#53 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 14, 2026
Unclear semantics for environment variables in the invariant block Open

enhancement

argotorg/act#59 · 20 comments · 0 reactions · 0 assignees · Indexed Sep 14, 2026
Further Refine AST Open

enhancement

argotorg/act#64 · 5 comments · 0 reactions · 0 assignees · Indexed Sep 14, 2026
SMT backend multi transaction counterexample Open

enhancement

argotorg/act#67 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 14, 2026
Lack of blanks makes source look confusing Open

enhancement

argotorg/act#78 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 14, 2026
Test: JSON Roundtrip Open

tests

argotorg/act#86 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 14, 2026
Test: Negative QuickCheck Tests Open

tests

argotorg/act#87 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 14, 2026
Typechecker: Issue type errors for invalid constructor preconditions Open

bug

argotorg/act#94 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 14, 2026
Position information for backend errors Open

enhancement

argotorg/act#97 · 9 comments · 0 reactions · 0 assignees · Indexed Sep 14, 2026
Unify Error Handling Open

enhancement

argotorg/act#108 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 14, 2026
SMT: Arithmetic bounds checking Open

enhancement

argotorg/act#109 · 0 comments · 1 reaction · 0 assignees · Indexed Sep 14, 2026
SMT: Detect Collisions in Mapping Assignments Open

enhancement

argotorg/act#111 · 0 comments · 0 reactions · 1 assignee · Indexed Sep 14, 2026
Rounding Error Analysis Open

enhancement

argotorg/act#112 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 14, 2026
hevm: handle contracts with boolean mappings Open

bug

argotorg/act#118 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 14, 2026
Choose one style of accessing records Open

minor

argotorg/act#120 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 14, 2026
Move `Time t` from `TEntry` to `TStorageItem` Open

minor

argotorg/act#121 · 2 comments · 0 reactions · 0 assignees · Indexed Sep 14, 2026
cff backend Open

argotorg/act#125 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 14, 2026
Syntax: change rewrite arrow to `<-` Open

enhancement good first issue

argotorg/act#128 · 2 comments · 0 reactions · 0 assignees · Indexed Sep 14, 2026
Support building outside of nix Open

argotorg/act#134 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 14, 2026
Solver timeout when attempting to prove mint(Pass) Open

argotorg/act#137 · 4 comments · 0 reactions · 0 assignees · Indexed Sep 14, 2026
Structured Interface Definitions In JSON Output Open

argotorg/act#138 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 14, 2026
ActBook: Hevm section seems outdated Open

argotorg/act#158 · 2 comments · 0 reactions · 0 assignees · Indexed Sep 14, 2026
Automatically generate getter specs Open

enhancement

argotorg/act#166 · 0 comments · 1 reaction · 0 assignees · Indexed Sep 14, 2026
Unify the approach of integer bounds assertions Open

argotorg/act#171 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 14, 2026
Multiple contracts, with a contract that is not created Open

argotorg/act#184 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 14, 2026
Concrete syntax changes Open

argotorg/act#194 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 14, 2026
Indices of mappings in storage updates should refer to the post state. Open

argotorg/act#204 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 14, 2026

argotorg/act

Get new issues in your inbox