From 853334765f596896fd511568a37562b6b3132e19 Mon Sep 17 00:00:00 2001 From: Stanislav Panferov Date: Sun, 25 Feb 2018 16:40:26 -0800 Subject: [PATCH 1/3] Update README.md --- README.md | 22 +++++++++++----------- 1 file changed, 11 insertions(+), 11 deletions(-) diff --git a/README.md b/README.md index 478b375..fa3fad2 100644 --- a/README.md +++ b/README.md @@ -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 -## 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 + * [ ] 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 From df221435636d2570607698025b9d585a60c67ab3 Mon Sep 17 00:00:00 2001 From: Stanislav Panferov Date: Sun, 25 Feb 2018 16:42:26 -0800 Subject: [PATCH 2/3] Update README.md --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index fa3fad2..4e0adc9 100644 --- a/README.md +++ b/README.md @@ -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 From d2dbb16fce322ac0bd998939af924560f53d2218 Mon Sep 17 00:00:00 2001 From: Ilya Rezvov Date: Sun, 25 Feb 2018 16:43:28 -0800 Subject: [PATCH 3/3] Update README.md --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 4e0adc9..e4f2a55 100644 --- a/README.md +++ b/README.md @@ -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