argotorg/act

Vedi su GitHub

Smart contract specification language

Stelle: 279
Fork: 51
Issue aperte per principianti: 0
Issue indicizzate: 34
Merge medio: 17h 42m
PR unite (30g): 1

Lingua principale: Haskell
Licenza: AGPL-3.0
Ultimo push su GitHub: 4/9/2026
Ultima indicizzazione: 14/9/2026
Guida per i contributori: Nessuna guida per i contributori
Codice di condotta: Nessun codice di condotta
Label per principianti: good first issue

Adatte ai principianti Tutto

Aperta Tutte

34 issue aperte indicizzate

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

Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100

argotorg/act#204 · Aperta il 16/9/2025
Concrete syntax changes Aperta

Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100

argotorg/act#194 · Aperta il 30/6/2025
Multiple contracts, with a contract that is not created Aperta

Difficoltà 5/5 Più di una settimana Idoneità per principianti 20/100

argotorg/act#184 · 1 commento · Aperta il 25/7/2024
Unify the approach of integer bounds assertions Aperta

Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100

argotorg/act#171 · Aperta il 3/11/2023
Automatically generate getter specs Aperta

enhancement

Difficoltà 5/5 Più di una settimana Idoneità per principianti 30/100

argotorg/act#166 · 1 reazione · Aperta il 25/10/2023
ActBook: Hevm section seems outdated Aperta

Difficoltà 3/5 1-2 giorni Idoneità per principianti 30/100

argotorg/act#158 · 2 commenti · Aperta il 9/8/2023
Structured Interface Definitions In JSON Output Aperta

Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100

argotorg/act#138 · Aperta il 12/10/2022
Solver timeout when attempting to prove mint(Pass) Aperta

Difficoltà 4/5 3-5 giorni Idoneità per principianti 25/100

argotorg/act#137 · 4 commenti · Aperta il 12/10/2022
Support building outside of nix Aperta

Difficoltà 5/5 Più di una settimana Idoneità per principianti 20/100

argotorg/act#134 · Aperta il 19/4/2022
Syntax: change rewrite arrow to `<-` Aperta

enhancement good first issue

Difficoltà 4/5 3-5 giorni Idoneità per principianti 30/100

argotorg/act#128 · 2 commenti · Aperta il 22/3/2022
cff backend Aperta

Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100

argotorg/act#125 · Aperta il 18/9/2021
Move `Time t` from `TEntry` to `TStorageItem` Aperta

minor

Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100

argotorg/act#121 · 2 commenti · Aperta il 23/7/2021
Choose one style of accessing records Aperta

minor

Difficoltà 3/5 1-2 giorni Idoneità per principianti 45/100

argotorg/act#120 · Aperta il 23/7/2021
hevm: handle contracts with boolean mappings Aperta

bug

Difficoltà 4/5 3-5 giorni Idoneità per principianti 38/100

argotorg/act#118 · 1 commento · Aperta il 21/7/2021
Rounding Error Analysis Aperta

enhancement

Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100

argotorg/act#112 · 1 commento · Aperta il 12/5/2021
SMT: Detect Collisions in Mapping Assignments Aperta

enhancement

argotorg/act#111 · 1 assegnatario · Aperta il 12/5/2021
SMT: Arithmetic bounds checking Aperta

enhancement

Difficoltà 5/5 Più di una settimana Idoneità per principianti 30/100

argotorg/act#109 · 1 reazione · Aperta il 12/5/2021
Unify Error Handling Aperta

enhancement

Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100

argotorg/act#108 · Aperta il 11/5/2021
Position information for backend errors Aperta

enhancement

Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100

argotorg/act#97 · 9 commenti · Aperta il 29/4/2021
Typechecker: Issue type errors for invalid constructor preconditions Aperta

bug

Difficoltà 4/5 3-5 giorni Idoneità per principianti 45/100

argotorg/act#94 · Aperta il 29/4/2021
Test: Negative QuickCheck Tests Aperta

tests

Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100

argotorg/act#87 · Aperta il 13/1/2021
Test: JSON Roundtrip Aperta

tests

Difficoltà 4/5 3-5 giorni Idoneità per principianti 45/100

argotorg/act#86 · Aperta il 13/1/2021
Lack of blanks makes source look confusing Aperta

enhancement

Difficoltà 3/5 1-2 giorni Idoneità per principianti 38/100

argotorg/act#78 · Aperta il 15/12/2020
SMT backend multi transaction counterexample Aperta

enhancement

Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100

argotorg/act#67 · 1 commento · Aperta il 15/12/2020
Further Refine AST Aperta

enhancement

Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100

argotorg/act#64 · 5 commenti · Aperta il 15/12/2020
Unclear semantics for environment variables in the invariant block Aperta

enhancement

Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100

argotorg/act#59 · 20 commenti · Aperta il 15/12/2020
Integers & Bitvectors in Act and bytecode verifying backends Aperta

enhancement

Difficoltà 5/5 Più di una settimana Idoneità per principianti 30/100

argotorg/act#53 · Aperta il 14/10/2020
Fixed point types Aperta

enhancement

Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100

argotorg/act#36 · 1 reazione · Aperta il 26/8/2020
Document the language Aperta

documentation

Difficoltà 4/5 3-5 giorni Idoneità per principianti 25/100

argotorg/act#29 · 1 commento · Aperta il 9/7/2020
Rearrange examples that fit into 0.1 Aperta

documentation

Difficoltà 5/5 Più di una settimana Idoneità per principianti 10/100

argotorg/act#27 · Aperta il 9/7/2020
Specifying behaviour with calls to unknown code Aperta

enhancement

Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100

argotorg/act#18 · 2 commenti · Aperta il 3/5/2020
Container abstractions: arrays, mappings, .... Aperta

enhancement

Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100

argotorg/act#6 · Aperta il 25/11/2019
Unrolling loops with helper functions Aperta

enhancement

Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100

argotorg/act#3 · 13 commenti · Aperta il 13/11/2019
Loop invariants Aperta

enhancement

Difficoltà 5/5 Più di una settimana Idoneità per principianti 15/100

argotorg/act#2 · 1 commento · 1 reazione · Aperta il 11/10/2019

argotorg/act

Ricevi le nuove issue nella tua casella