issues
search
AlacrisIO
/
meta
Internal management of Legicash/Legilogic/Alacris
0
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
ABI selection from `solc` output is subtly broken
#169
mattaudesse
opened
4 years ago
0
Remove stdlib.sol
#168
fare
opened
4 years ago
0
enum should generate conversion to/from string on JavaScript
#167
fare
opened
4 years ago
0
Prove Epistemic safety
#166
fare
opened
4 years ago
0
Cleanup the input grammar
#165
fare
opened
4 years ago
0
Instructions for user DApps
#164
fare
opened
5 years ago
0
Have a single INSTALL.md, or one per platform, at the toplevel.
#163
fare
opened
5 years ago
0
Generate test scenarios from the source
#162
fare
opened
5 years ago
0
Pick one Solidity pragma
#161
jeapostrophe
opened
5 years ago
1
Liveness predicate
#160
fare
opened
5 years ago
0
Check game-theoretic safety properties
#159
fare
opened
5 years ago
3
Clarify the predicates proven for RPS
#158
fare
opened
5 years ago
0
Clarify the semantics of the various kinds of assertions
#157
fare
opened
5 years ago
0
Improve parser so `>A publish!` be `@A publish!`
#156
fare
closed
5 years ago
1
Get rid of `main {}`
#155
fare
opened
5 years ago
0
Create "Hello, World" application
#154
fare
opened
5 years ago
0
Implement timeout support in stdlib
#153
jeapostrophe
opened
5 years ago
0
Move type checking to earlier phase of compiler
#152
jeapostrophe
opened
5 years ago
0
Review changes to stdlib (& demo) for While and fix race/etc
#151
jeapostrophe
opened
5 years ago
0
Correct assert statement in side_chain_operator.ml
#150
MathieuDutSik
opened
5 years ago
0
Add FFI to interact with other contracts
#149
jeapostrophe
opened
5 years ago
0
Add termination checking to while
#148
jeapostrophe
opened
5 years ago
0
Add "race" choices
#147
jeapostrophe
opened
5 years ago
0
Add componential analysis to choice
#146
jeapostrophe
opened
5 years ago
0
Revise Alacrity DSL talk
#145
jeapostrophe
opened
5 years ago
0
Make `w/ 0` optional
#144
jeapostrophe
opened
5 years ago
1
Implement stdlib + our half of Tesseract demo
#143
mattaudesse
opened
5 years ago
0
Remove `txn0` from JS and instead make it an error to call `balance` and `txn_value` before recv
#142
jeapostrophe
opened
5 years ago
0
Implement txn.balance in JS
#141
jeapostrophe
opened
5 years ago
1
Change the way EPP represents EPPRs
#140
jeapostrophe
opened
5 years ago
0
Add information about claims and show when verifying
#139
jeapostrophe
opened
5 years ago
0
Replace RecoverTypes in VerifyZ3 with type class magic
#138
jeapostrophe
opened
5 years ago
0
Consider using idiomatic async/await rather than CPS in JS output
#137
jeapostrophe
opened
5 years ago
0
Replace non-hygienic post-predicate "result" with some hygienic OR with function pointer call
#136
jeapostrophe
opened
5 years ago
0
Replace non-hygienic "pay-amount" with new primitive in Parser
#135
jeapostrophe
closed
5 years ago
0
Change rps so users hands are requested via interact
#134
jeapostrophe
closed
5 years ago
0
Fix string literals in Z3
#133
jeapostrophe
closed
5 years ago
0
Fix `make {demo|test}` when running `geth` v.1.9
#132
mattaudesse
closed
5 years ago
3
Write Alacrity VM interpreter in Alacrity
#131
fare
opened
5 years ago
0
Remove the current "commit" statement
#130
fare
opened
5 years ago
1
Allow Alacrity to deal with large times
#129
fare
opened
5 years ago
2
Allow Alacrity to deal with large state
#128
fare
opened
5 years ago
1
Penny-pinching on Ethereum: virtual logging
#127
fare
opened
5 years ago
1
Setup a rinkeby node for our testing
#126
fare
opened
5 years ago
0
Give Chris a list of all things he can modify in the code that will trigger all the major assertions
#125
jeapostrophe
closed
5 years ago
1
Single variable in a parenthesis throws a parsing error somewhere else in the code.
#124
cswenor
opened
5 years ago
2
JS `stdlib` initialization should be asynchronous
#123
mattaudesse
closed
5 years ago
1
Upgrade our z3 to 4.8.5
#122
fare
closed
5 years ago
3
Establish a protocol for off-chain communication
#121
fare
opened
5 years ago
0
Support sidechain with self-defined tokens rather than Ethereum.
#120
fare
opened
5 years ago
0
Next