Skip to content
Success

Changes

Summary

  1. 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)
  2. move all lstnewenvironment macros to central location in uw-ethesis.tex (details)
  3. more proofreading on introduction chapter (discussion of ADT) (details)
Commit a1fbad03570c1d89928bcf9962192664b479ae9b by ajbeach
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.
The file was modifiedsrc/CodeGen/CodeGenerator.cpp
Commit 566cc33ae374c458f72fbc1e3db85c204344608c by Peter Buhr
move all lstnewenvironment macros to central location in uw-ethesis.tex
The file was modifieddoc/theses/jiada_liang_MMath/uw-ethesis.tex
The file was modifieddoc/theses/jiada_liang_MMath/relatedwork.tex
The file was modifieddoc/theses/jiada_liang_MMath/background.tex
Commit 314c9d8852a35c6736a8f3ae5920e3ca35122ba7 by Peter Buhr
more proofreading on introduction chapter (discussion of ADT)
The file was modifieddoc/theses/jiada_liang_MMath/intro.tex