Giters
ethereum
/
act
Smart contract specification language
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
216
Watchers:
12
Issues:
72
Forks:
36
ethereum/act Issues
Polymorphic Equality
Closed
4 years ago
Unclear semantics for environment variables in the invariant block
Updated
3 years ago
Comments count
20
SMT: Fix encoding for mappings
Closed
3 years ago
Wrong treatment of `iff` conditions
Closed
4 years ago
Comments count
5
Integers & Bitvectors in Act and bytecode verifying backends
Updated
a year ago
Fail specs should not contain stateUpdates
Closed
4 years ago
Incorrect AST output for `token` specs
Closed
4 years ago
Comments count
1
Fixed point types
Updated
a year ago
Document the language
Updated
4 years ago
Comments count
1
[Act 0.1] Grammar
Closed
4 years ago
Comments count
1
Rearrange examples that fit into 0.1
Updated
4 years ago
Define Language Scope for 0.1
Closed
4 years ago
Comments count
2
hevm build errors in nix-shell
Closed
4 years ago
Comments count
3
nix fails to fetch dapptools
Closed
4 years ago
Specifying behaviour with calls to unknown code
Updated
4 years ago
Comments count
2
SMT checks of spec validity
Closed
3 years ago
Comments count
8
Container abstractions: arrays, mappings, ....
Updated
a year ago
If vs Case: globalizing pre- & postconditions
Closed
5 years ago
Comments count
2
Unrolling loops with helper functions
Updated
4 years ago
Comments count
13
Loop invariants
Updated
4 years ago
Comments count
1
Basic features
Closed
5 years ago
Comments count
9
Previous
Next