Skip to content

Issues: AlacrisIO/meta

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

115 Open 54 Closed
115 Open 54 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

ABI selection from solc output is subtly broken bug Something isn't working
#169 opened Oct 4, 2019 by mattaudesse
Remove stdlib.sol
#168 opened Oct 1, 2019 by fare
enum should generate conversion to/from string on JavaScript
#167 opened Sep 16, 2019 by fare
Prove Epistemic safety
#166 opened Sep 16, 2019 by fare
Cleanup the input grammar
#165 opened Sep 16, 2019 by fare
Instructions for user DApps
#164 opened Sep 3, 2019 by fare
Have a single INSTALL.md, or one per platform, at the toplevel.
#163 opened Sep 3, 2019 by fare
Generate test scenarios from the source
#162 opened Sep 3, 2019 by fare
Pick one Solidity pragma
#161 opened Aug 27, 2019 by jeapostrophe
1
Liveness predicate
#160 opened Aug 15, 2019 by fare
Check game-theoretic safety properties
#159 opened Aug 15, 2019 by fare
3
Clarify the predicates proven for RPS
#158 opened Aug 15, 2019 by fare
Clarify the semantics of the various kinds of assertions
#157 opened Aug 15, 2019 by fare
Get rid of main {}
#155 opened Aug 15, 2019 by fare
Create "Hello, World" application
#154 opened Aug 15, 2019 by fare
Implement timeout support in stdlib
#153 opened Aug 13, 2019 by jeapostrophe
@mattaudesse
Move type checking to earlier phase of compiler
#152 opened Aug 3, 2019 by jeapostrophe
Review changes to stdlib (& demo) for While and fix race/etc
#151 opened Aug 3, 2019 by jeapostrophe
@mattaudesse
Correct assert statement in side_chain_operator.ml
#150 opened Jul 30, 2019 by MathieuDutSik
Add FFI to interact with other contracts
#149 opened Jul 24, 2019 by jeapostrophe
Add termination checking to while
#148 opened Jul 24, 2019 by jeapostrophe
Add "race" choices
#147 opened Jul 24, 2019 by jeapostrophe
Add componential analysis to choice
#146 opened Jul 24, 2019 by jeapostrophe
Revise Alacrity DSL talk
#145 opened Jul 24, 2019 by jeapostrophe
3 tasks
@jeapostrophe
Make w/ 0 optional
#144 opened Jul 22, 2019 by jeapostrophe
@jeapostrophe
1
ProTip! Mix and match filters to narrow down what you’re looking for.