Skip to content
Author
Filter by author
Labels
Filter by label
Use alt + click/return to exclude labels.
Projects
Filter by project
Milestones
Filter by milestone
Assignee
Filter by who’s assigned
Sort
Sort by
Arithmetic circuit backend
#171 opened Nov 10, 2019 by cwgoes
Make the REPL a bit more useful
#169 opened Nov 10, 2019 by cwgoes 0 of 3
Michelson backend follow-up tasks
#168 opened Nov 9, 2019 by cwgoes 0 of 2
Core testcases for next release
#161 opened Nov 8, 2019 by cwgoes
Clean up the capability stack
#159 opened Nov 8, 2019 by cwgoes
Updates to BOHM interpreter
#158 opened Nov 8, 2019 by cwgoes
WASM Backend from LLVM
#155 opened Nov 7, 2019 by mariari
Progressive verification
#150 opened Oct 30, 2019 by cwgoes
Whiteboarding series
#138 opened Oct 16, 2019 by cwgoes
"Styraconyx" release checklist
#112 opened Sep 23, 2019 by cwgoes 1 of 6
Efficient symbol evaluation optimization
#102 opened Sep 18, 2019 by mariari 1 of 2
LLVM backend feature research
#97 opened Sep 12, 2019 by cwgoes
Elegant language and logo enhancement
#93 opened Sep 10, 2019 by clarus
Language reference additions documentation
#90 opened Sep 8, 2019 by cwgoes 8 of 10
ProTip! Adding no:label will show everything without a label.
You can’t perform that action at this time.