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:
Ilya Rezvov
2018-02-25 16:43:28 -08:00
committed by GitHub
parent df22143563
commit d2dbb16fce
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,7 +10,7 @@
* [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
* [x] Validation Phase: execute a verification procedure from the Spec
## Todo
* [ ] Improve error messages for text representation parsing