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-02-26 15:48:20 -08:00
parent e373066ef5 8a1a62f1a8
commit 6866c886f3
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