X-Git-Url: https://git.xandkar.net/?a=blobdiff_plain;f=README.md;h=cae72e296d85d6335d16666b9a7fc706896fce67;hb=a131e30c2d9787dab6fe7f38430d8c54359af078;hp=e3ecf596de1aade4bea36846c361ad6e2634d911;hpb=b53d50d3d7395376979b6fb90863901b5dd69cfe;p=tiger.ml.git

diff --git a/README.md b/README.md
index e3ecf59..cae72e2 100644
--- a/README.md
+++ b/README.md
@@ -5,19 +5,9 @@ A Tiger-compiler implementation in (OCa)ML
 Status
 ------
 
-### 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.) 
-    - [x] implementation
-    - [ ] refactoring
-- [ ] Travis CI
+![screenshot-tests-head](screenshots/tests-head.jpg)
+...
+![screenshot-tests-tail](screenshots/tests-tail.jpg)
 
 ### Features
 #### Done
@@ -25,10 +15,10 @@ Status
 - [x] ch 2: Lexer
 - [x] ch 3: Parser
 - [x] ch 4: AST
+- [x] ch 5: Semantic Analysis (type checking)
 #### In-progress
-- [-] ch 5: Semantic Analysis (type checking)
-#### TODO (short-term)
 - [ ] ch 6: Activation Records
+#### TODO (short-term)
 - [ ] ch 7: Translation to Intermediate Code
 - [ ] ch 08: Basic Blocks and Traces
 - [ ] ch 09: Instruction Selection
@@ -47,6 +37,22 @@ Status
 #### Maybe
 - [ ] ch 14: Object-Oriented Languages
 
+### 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.) 
+    - [x] implementation
+    - [ ] refactoring
+  - [ ] test time-outs (motive: cycle non-detection caused an infinite loop)
+    - [ ] parallel test execution
+- [ ] Travis CI
+
 Implementation Notes
 --------------------