From 6a7b82086a3d8d3a87858e3894a4d57ce9a23e2a Mon Sep 17 00:00:00 2001 From: Ilya Rezvov Date: Mon, 19 Feb 2018 18:41:40 -0800 Subject: [PATCH] update readme --- README.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index d777fb8..478b375 100644 --- a/README.md +++ b/README.md @@ -8,11 +8,11 @@ ## 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 ## ToDo * 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 * Text Representation pretty-printer - * Binary format parser/serializer * Execution Phase: implement simple interpreter for running WebAssembly Core TestsSuit assertions