From 8c8cec0498f0f47026363c2452ba55ffad2d174c Mon Sep 17 00:00:00 2001 From: Ilya Rezvov Date: Wed, 21 Mar 2018 09:49:50 -0700 Subject: [PATCH] update goals --- README.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index 42a196b..51987d8 100644 --- a/README.md +++ b/README.md @@ -12,11 +12,11 @@ * [x] Binary format parser/serializer * [x] Validation Phase: execute a verification procedure from the Spec * [x] Execution Phase: implement a simple interpreter + * [x] Support extended Core Test Suit assertion grammar ## Todo * [ ] Improve error messages for text representation parsing * [ ] Text Representation pretty-printer - * [ ] Support extended Core Test Suit assertion grammar * [ ] Compile Core Tests to Tasty test cases and pass all tests * [ ] Command line tool for calling interpreter/compiler/validator - * [ ] Codegen interface for type-guaranted generating valid WASM code + * [ ] Codegen interface for type enforced generating valid WASM code