home
/
code
/
tiger.ml.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (from parent 1:
f5fc22d
)
Expand status notes
author
Siraaj Khandkar
<siraaj@khandkar.net>
Sat, 15 Sep 2018 18:04:06 +0000
(14:04 -0400)
committer
Siraaj Khandkar
<siraaj@khandkar.net>
Sat, 15 Sep 2018 18:04:06 +0000
(14:04 -0400)
README.md
patch
|
blob
|
blame
|
history
diff --git
a/README.md
b/README.md
index
4f0cd80
..
463c385
100644
(file)
--- a/
README.md
+++ b/
README.md
@@
-1,16
+1,31
@@
Tiger.ml
========
Tiger.ml
========
+A Tiger-compiler implementation in (OCa)ML
Status
------
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
- [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)
- [-] 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
- [ ] 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
- [ ] 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
- [ ] 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
- [ ] 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
- [ ] ch 14: Object-Oriented Languages
Implementation Notes
@@
-42,3
+57,6
@@
Implementation Notes
### AST
#### print as M-exp
### AST
#### print as M-exp
+
+### Machine
+Will most-likely compile to RISC and execute using SPIM (as favored by Appel)
This page took
0.025073 seconds
and
4
git commands to generate.