issues
search
ethereum
/
langlab
MIT License
8
stars
5
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Define language abstractions for defining systems of multiple, collaborating contracts
#15
markusvoelter
opened
6 years ago
3
Do we need the notion of interfaces or ports on contracts?
#14
markusvoelter
opened
6 years ago
1
Manual Functions vs. Function Generation for Processes
#13
markusvoelter
opened
6 years ago
0
Make ERC20 Tokens a top-level concept?
#12
chriseth
opened
6 years ago
6
Instantiation of Processes
#11
markusvoelter
opened
6 years ago
2
Domain Analysis on Auctions
#10
markusvoelter
opened
6 years ago
0
Domain Analysis of Agreements
#9
markusvoelter
opened
6 years ago
0
Meta: Create issues from the feature ideas mentioned in the GoogleDoc
#8
markusvoelter
opened
6 years ago
0
Domain Analysis of Decisions
#7
markusvoelter
opened
6 years ago
2
emit event must be in the update block
#6
markusvoelter
closed
6 years ago
3
More fine-grained definition of "API"
#5
markusvoelter
opened
6 years ago
1
Explicitly declare collaborating contracts
#4
markusvoelter
opened
6 years ago
2
How to deal with (allowing/preventing) reentrancy?
#3
markusvoelter
opened
6 years ago
2
How can we make it more obvious to users which implicit vars are available in a function?
#2
markusvoelter
opened
6 years ago
1
Do we need aliases, or are pure parameterless functions good enough?
#1
markusvoelter
opened
6 years ago
1