From 188ac95004d45d6cd6eda1a613d3537693ccba14 Mon Sep 17 00:00:00 2001 From: Siraaj Khandkar Date: Sat, 15 Sep 2018 14:04:06 -0400 Subject: [PATCH] Expand status notes --- README.md | 26 ++++++++++++++++++++++---- 1 file changed, 22 insertions(+), 4 deletions(-) diff --git a/README.md b/README.md index 4f0cd80..463c385 100644 --- a/README.md +++ b/README.md @@ -1,16 +1,31 @@ Tiger.ml ======== +A Tiger-compiler implementation in (OCa)ML Status ------ -### Done +### Technical issues +- [-] testing framework + - [x] run arbitrary code snippets + - [x] check non-failures + - [x] check expected output + - [-] check expected exceptions + - [x] semant stage + - [ ] generalized expect `Output ('a option) | Exception of (exn -> bool)` + - [x] run all book test case files + - [ ] grid view (cols: lex, pars, semant, etc.; rows: test cases.) +- [ ] Travis CI + +### Features +#### Done - [x] ch 1: Warm-up AST - [x] ch 2: Lexer - [x] ch 3: Parser - [x] ch 4: AST -### TODO (short-term) +#### In-progress - [-] ch 5: Semantic Analysis (type checking) +#### TODO (short-term) - [ ] ch 6: Activation Records - [ ] ch 7: Translation to Intermediate Code - [ ] ch 08: Basic Blocks and Traces @@ -18,7 +33,7 @@ Status - [ ] ch 10: Liveness Analysis - [ ] ch 11: Register Allocation - [ ] ch 12: Putting It All Together -### TODO (long-term) +#### TODO (long-term) - [ ] ch 13: Garbage Collection - [ ] ch 15: Functional Programming Languages - [ ] ch 16: Polymorphic Types @@ -27,7 +42,7 @@ Status - [ ] ch 19: Static Single-Assignment Form - [ ] ch 20: Pipelining and Scheduling - [ ] ch 21: The Memory Hierarchy -### Maybe +#### Maybe - [ ] ch 14: Object-Oriented Languages Implementation Notes @@ -42,3 +57,6 @@ Implementation Notes ### AST #### print as M-exp + +### Machine +Will most-likely compile to RISC and execute using SPIM (as favored by Appel) -- 2.20.1