Skip to content
Success

Changes

Summary

  1. Added invariant to check that referenced declarations are in scope. This one took a while, I don't remember why forall pointer decay is involved. (details)
  2. incorporated actor and waituntil comments (details)
  3. fleshed out conclusion (details)
  4. Update indentation in FinitTweak/FixInitNew.cpp. Lowered indentation level, moved exported function and added spaces around namespacing lines. (details)
  5. add empty thesis directory for Fangren (details)
  6. change startup sequence by adding back heapManagerBootFlag, add build flag for non-null return for malloc(0) (details)
  7. formatting (details)
  8. update empty thesis directory for Fangren (details)
Commit 14c0f7b320884dd43e70581e8f48fa7e2a8bc5c0 by ajbeach
Added invariant to check that referenced declarations are in scope. This one took a while, I don't remember why forall pointer decay is involved.
The file was modifiedsrc/Validate/ForallPointerDecay.hpp
The file was modifiedsrc/AST/Util.cpp
The file was modifiedsrc/InitTweak/InitTweak.cc
The file was modifiedsrc/Validate/FixQualifiedTypes.cpp
The file was modifiedsrc/main.cc
The file was modifiedsrc/Validate/ForallPointerDecay.cpp
The file was modifiedsrc/SymTab/GenImplicitCall.cpp
The file was modifiedsrc/AST/Create.cpp
The file was modifiedsrc/Validate/Autogen.cpp
Commit f496046ba2faf27a2bbae7028f7005b58ac592ee by caparsons
incorporated actor and waituntil comments
The file was modifieddoc/theses/colby_parsons_MMAth/text/actors.tex
The file was modifieddoc/theses/colby_parsons_MMAth/text/waituntil.tex
The file was addeddoc/theses/colby_parsons_MMAth/diagrams/uCpp_select_tree.tikz
The file was modifieddoc/theses/colby_parsons_MMAth/glossary.tex
The file was modifieddoc/theses/colby_parsons_MMAth/Makefile
Commit d3c3261dc7f6ed1842c8970639a8cbeab41dfab1 by caparsons
fleshed out conclusion
The file was modifieddoc/theses/colby_parsons_MMAth/text/conclusion.tex
Commit 17c13b987df0a596c41c7dad0b2e54d0437b7063 by ajbeach
Update indentation in FinitTweak/FixInitNew.cpp. Lowered indentation level, moved exported function and added spaces around namespacing lines.
The file was modifiedsrc/InitTweak/FixInitNew.cpp
Commit 2e94f3e75e25dd60ad53b8509b83a5cad21e5631 by Peter Buhr
add empty thesis directory for Fangren
The file was addeddoc/theses/fangren_yu_MMath/content2.tex
The file was addeddoc/theses/fangren_yu_MMath/conclusion.tex
The file was addeddoc/theses/fangren_yu_MMath/uw-ethesis-frontpgs.tex
The file was addeddoc/theses/fangren_yu_MMath/uw-ethesis.bib
The file was addeddoc/theses/fangren_yu_MMath/benchmarks.tex
The file was addeddoc/theses/fangren_yu_MMath/intro.tex
The file was addeddoc/theses/fangren_yu_MMath/background.tex
The file was addeddoc/theses/fangren_yu_MMath/performance.tex
The file was addeddoc/theses/fangren_yu_MMath/uw-ethesis.tex
The file was addeddoc/theses/fangren_yu_MMath/content1.tex
Commit 07b59ec9c09550b0684c5f402f3ba416a28bdbc9 by Peter Buhr
change startup sequence by adding back heapManagerBootFlag, add build flag for non-null return for malloc(0)
The file was modifiedlibcfa/src/heap.cfa
Commit 28c2933d61b4b36dbca77aca0b5667d2af33a8ad by Peter Buhr
formatting
The file was modifiedlibcfa/src/iostream.cfa
Commit d9878815c295edc9ce535193cb04fcb36ab3c8b3 by Peter Buhr
update empty thesis directory for Fangren
The file was modifieddoc/theses/fangren_yu_MMath/uw-ethesis-frontpgs.tex
The file was modifieddoc/theses/fangren_yu_MMath/uw-ethesis.tex
The file was addeddoc/theses/fangren_yu_MMath/glossary.tex
The file was modifieddoc/theses/fangren_yu_MMath/performance.tex