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

Update README.md

Browse Source
This commit is contained in:
Stanislav Panferov
2018-02-25 16:42:26 -08:00
committed by GitHub
parent 853334765f
commit df22143563
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
README.md
+1 -1
View File
@@ -10,9 +10,9 @@
* [x] Parser: parses all examples from WebAssembly Core TestsSuit (including folded instructions parsing)
* [x] Renaming Phase: substitute identifiers with correct indexes, expand all implicit type declarations)
* [x] Binary format parser/serializer
* [x] Verification Phase: execute a verification procedure from the Spec
## Todo
* [ ] Improve error messages for text representation parsing
* [ ] Verification Phase: execute a verification procedure from the Spec
* [ ] Text Representation pretty-printer
* [ ] Execution Phase: implement a simple interpreter for running WebAssembly Core TestsSuit assertions