Detect cycles in type declarations

[tiger.ml.git] / README.md

diff --git a/README.md b/README.md
index 571377a..cae72e2 100644 (file)
--- a/README.md
+++ b/README.md
@@ -5,9 +5,9 @@ A Tiger-compiler implementation in (OCa)ML
 Status
 ------
 
 Status
 ------
 

-![screenshot-tests-semant-done-head](screenshots/tests-semant-done-head.jpg)
+![screenshot-tests-head](screenshots/tests-head.jpg)

 ...
 ...

-![screenshot-tests-semant-done-tail](screenshots/tests-semant-done-tail.jpg)
+![screenshot-tests-tail](screenshots/tests-tail.jpg)

 
 ### Features
 #### Done
 
 ### Features
 #### Done


@@ -49,6 +49,8 @@ Status
   - [-] grid view (cols: lex, pars, semant, etc.; rows: test cases.) 
     - [x] implementation
     - [ ] refactoring
   - [-] 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
 - [ ] Travis CI
 
 Implementation Notes