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

update readme

Browse Source
This commit is contained in:
Ilya Rezvov
2018-02-19 18:41:40 -08:00
parent f1eae1969a
commit 6a7b82086a
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
README.md
+2 -2
View File
@@ -8,11 +8,11 @@
## Status ## Status
* Lexer: supports nested block comments and all lexemes from Spec * Lexer: supports nested block comments and all lexemes from Spec
* Parser: parses all examples from WebAssembly Core TestsSuit(including folded instructions parsing) * Parser: parses all examples from WebAssembly Core TestsSuit(including folded instructions parsing)
* Renaming Phase: substitute identifiers with correct indexes, expand all implicit type declarations)
* Binary format parser/serializer
## ToDo ## ToDo
* Improve error messages for text representation parsing * Improve error messages for text representation parsing
* Renaming Phase: substitute identifiers with correct indexes, expand all implicit type declarations)
* Verification Phase: execute verification procedure from Spec * Verification Phase: execute verification procedure from Spec
* Text Representation pretty-printer * Text Representation pretty-printer
* Binary format parser/serializer
* Execution Phase: implement simple interpreter for running WebAssembly Core TestsSuit assertions * Execution Phase: implement simple interpreter for running WebAssembly Core TestsSuit assertions