polished waituntil and conclusion chapter (details)
added conclusion to makefile, removed duplicate bib entry and added conclusion to thesis.tex (details)
read through up to start of actor chapter and made some small polishing changes (details)
Changes related to invariant checking scoping, it is not ready by these are unlikely to change. (details)
Combined some fixes from the variaus scoped containers. Reducing redeclarations, internal type names now use one consistent naming scheme (it is different from the public naming convention), a whitespace fix and shrinking a few functions. (details)
Commit
7f1be0193fb4271684f6b8f80e18cab582d8158a
by ajbeach
Combined some fixes from the variaus scoped containers. Reducing redeclarations, internal type names now use one consistent naming scheme (it is different from the public naming convention), a whitespace fix and shrinking a few functions.