Update Milestone-2.md

This commit is contained in:
Csaba Hruska 2019-02-17 16:00:24 +01:00 committed by GitHub
parent ac992ea866
commit e03f0bf316
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -10,16 +10,17 @@ deadline: May 6
### new additions
- [ ] module system
- [ ] name handling
- [ ] locally new names (in block + pass to flatten out and maintain uniqueness)
- [ ] name scopes (module, function)
- [ ] liberal name support (like in llvm, i.e. %"any characer 1234 {}!@#$%} -"
- [x] name handling
- [x] SSA name conversion pass to allow local name scopes
- ~~locally new names (in block + pass to flatten out and maintain uniqueness)~~
- ~~name scopes (module, function)~~
- [x] liberal name support (like in llvm, i.e. %"any characer 1234 {}!@#$%} -"
- [ ] context aware logging framework (for errors and debugging)
- [x] pass manager ; run passes until the fixpoint is reached
- ~~add `allocate` memory operation to grin ; required by circular data structures~~
- [ ] grin syntax for type signatures
- [ ] grin syntax to declare primops with their type signature
- [ ] grin validator pass
- [x] grin syntax for type signatures
- [x] grin syntax to declare primops with their type signature
- [x] grin validator pass
- ~~hpt result based dead code elimination pass~~
### finish