msyds/haskell-wasm
1
0
Fork 0
forked from GitHub/haskell-wasm
Code Pull Requests Activity

Update goals in readme

Browse Source
This commit is contained in:
Ilya Rezvov
2018-03-19 12:27:44 -07:00
committed by GitHub
parent 96cd65ac24
commit b03bdf5b57
1 changed files with 5 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
README.md
+5 -1
View File
@@ -11,8 +11,12 @@
* [x] Renaming Phase: substitute identifiers with correct indexes, expand all implicit type declarations)
* [x] Binary format parser/serializer
* [x] Validation Phase: execute a verification procedure from the Spec
* [x] Execution Phase: implement a simple interpreter
## Todo
* [ ] Improve error messages for text representation parsing
* [ ] Text Representation pretty-printer
* [ ] Execution Phase: implement a simple interpreter for running WebAssembly Core TestsSuit assertions
* [ ] Support extended Core Test Suit assertion grammar
* [ ] Compile Core Tests to Tasty test cases and pass all tests
* [ ] Command line tool for calling interpreter/compiler/validator
* [ ] Codegen interface for type-guaranted generating valid WASM code