From d2dbb16fce322ac0bd998939af924560f53d2218 Mon Sep 17 00:00:00 2001 From: Ilya Rezvov Date: Sun, 25 Feb 2018 16:43:28 -0800 Subject: [PATCH] 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