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

Merge pull request #1 from s-panferov/patch-1

Browse Source 
Update README.md
This commit is contained in:
Ilya Rezvov
2018-02-25 16:44:03 -08:00
committed by GitHub
parent 88696e4666 d2dbb16fce
commit 8a1a62f1a8
1 changed files with 11 additions and 11 deletions
Download Patch File Download Diff File Expand all files Collapse all files
README.md
+11 -11
View File
@@ -1,18 +1,18 @@
# Haskell WebAssembly Toolkit
## Goals
* Provide tool WebAssembly code generation for Haskell
* Create infrastructure for Cmm to WebAssembly code generator
* Provide a WebAssembly code generation tool for Haskell
* Create an infrastructure for Cmm to WebAssembly code generator
* Have Fun :)
## Status
* Lexer: supports nested block comments and all lexemes from Spec
* 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
* [x] Lexer: supports nested block comments and all lexemes from the WebAssembly Spec
* [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] Validation Phase: execute a verification procedure from the Spec
## ToDo
* Improve error messages for text representation parsing
* Verification Phase: execute verification procedure from Spec
* Text Representation pretty-printer
* Execution Phase: implement simple interpreter for running WebAssembly Core TestsSuit assertions
## Todo
* [ ] Improve error messages for text representation parsing
* [ ] Text Representation pretty-printer
* [ ] Execution Phase: implement a simple interpreter for running WebAssembly Core TestsSuit assertions