Summary
- Fix in code generation. forall clauses are now printed before return types on functions. This goes not change any generated C code but will matter for some debugging. (details)
- move all lstnewenvironment macros to central location in uw-ethesis.tex (details)
- more proofreading on introduction chapter (discussion of ADT) (details)
The file was modified | src/CodeGen/CodeGenerator.cpp |
The file was modified | doc/theses/jiada_liang_MMath/uw-ethesis.tex |
The file was modified | doc/theses/jiada_liang_MMath/relatedwork.tex |
The file was modified | doc/theses/jiada_liang_MMath/background.tex |
The file was modified | doc/theses/jiada_liang_MMath/intro.tex |