GitHub/haskell-wasm
1
0
Fork 1
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Merge branch 'master' of github.com:SPY/haskell-wasm

Browse Source
This commit is contained in:
Ilya Rezvov
2018-03-20 16:17:20 -07:00
parent 952fa3bd97 b03bdf5b57
commit 13fecfe74b
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