# # ChangeLog for doc/theses # # Generated by Trac 1.2.1 # Oct 31, 2024, 2:51:15 PM Tue, 11 Sep 2018 03:15:29 GMT Peter A. Buhr [67982887] * doc/theses/aaron_moss_PhD/comp_II/.gitignore (moved) * doc/theses/aaron_moss_PhD/comp_II/Efficient Type Resolution in Cforall.pptx (moved) * doc/theses/aaron_moss_PhD/comp_II/Makefile (moved) * doc/theses/aaron_moss_PhD/comp_II/comp_II.tex (moved) * doc/theses/aaron_moss_PhD/comp_II/conversion_dag.eps (moved) * doc/theses/aaron_moss_PhD/comp_II/conversion_dag.odg (moved) * doc/theses/aaron_moss_PhD/comp_II/conversion_dag.png (moved) * doc/theses/aaron_moss_PhD/comp_II/resolution_dag.eps (moved) * doc/theses/aaron_moss_PhD/comp_II/resolution_dag.odg (moved) * doc/theses/aaron_moss_PhD/comp_II/resolution_dag.png (moved) * doc/theses/aaron_moss_PhD/comp_II/resolution_dag2.odg (moved) * doc/theses/aaron_moss_PhD/comp_II/resolution_dag2.png (moved) * doc/theses/aaron_moss_PhD/phd/.gitignore (moved) * doc/theses/aaron_moss_PhD/phd/Makefile (moved) * doc/theses/aaron_moss_PhD/phd/aaron-thesis.bib (moved) * doc/theses/aaron_moss_PhD/phd/background.tex (moved) * doc/theses/aaron_moss_PhD/phd/cfa-macros.tex (moved) * doc/theses/aaron_moss_PhD/phd/conclusion.tex (moved) * doc/theses/aaron_moss_PhD/phd/frontpgs.tex (moved) * doc/theses/aaron_moss_PhD/phd/generic-types.tex (moved) * doc/theses/aaron_moss_PhD/phd/introduction.tex (moved) * doc/theses/aaron_moss_PhD/phd/macros.tex (moved) * doc/theses/aaron_moss_PhD/phd/resolution-heuristics.tex (moved) * doc/theses/aaron_moss_PhD/phd/thesis.tex (moved) * doc/theses/aaron_moss_PhD/phd/type-environment.tex (moved) * doc/theses/rob_schluntz_MMath/.gitignore (moved) * doc/theses/rob_schluntz_MMath/Makefile (moved) * doc/theses/rob_schluntz_MMath/cfa-format.tex (moved) * doc/theses/rob_schluntz_MMath/conclusions.tex (moved) * doc/theses/rob_schluntz_MMath/ctordtor.tex (moved) * doc/theses/rob_schluntz_MMath/examples/conclusions/dtor.c (moved) * doc/theses/rob_schluntz_MMath/examples/conclusions/except.c (moved) * doc/theses/rob_schluntz_MMath/examples/conclusions/except.cc (moved) * doc/theses/rob_schluntz_MMath/examples/ctor/array_ctor.c (moved) * doc/theses/rob_schluntz_MMath/examples/ctor/copy_ctor.c (moved) * doc/theses/rob_schluntz_MMath/examples/ctor/cv_ctor.c (moved) * doc/theses/rob_schluntz_MMath/examples/ctor/enum_ctor.c (moved) * doc/theses/rob_schluntz_MMath/examples/ctor/expr_ctor.c (moved) * doc/theses/rob_schluntz_MMath/examples/ctor/global_ctor.c (moved) * doc/theses/rob_schluntz_MMath/examples/ctor/hide_ctor.c (moved) * doc/theses/rob_schluntz_MMath/examples/ctor/member.c (moved) * doc/theses/rob_schluntz_MMath/examples/ctor/placement_ctor.c (moved) * doc/theses/rob_schluntz_MMath/examples/ctor/return_dtor.c (moved) * doc/theses/rob_schluntz_MMath/examples/ctor/static_ctor.c (moved) * doc/theses/rob_schluntz_MMath/examples/ctor/union_ctor.c (moved) * doc/theses/rob_schluntz_MMath/examples/intro/FileOutputStream.java (moved) * doc/theses/rob_schluntz_MMath/examples/intro/compound_lit.c (moved) * doc/theses/rob_schluntz_MMath/examples/intro/designation.c (moved) * doc/theses/rob_schluntz_MMath/examples/intro/ignore.c (moved) * doc/theses/rob_schluntz_MMath/examples/intro/ires.java (moved) * doc/theses/rob_schluntz_MMath/examples/intro/res.java (moved) * doc/theses/rob_schluntz_MMath/examples/intro/res1.java (moved) * doc/theses/rob_schluntz_MMath/examples/intro/res2.java (moved) * doc/theses/rob_schluntz_MMath/examples/intro/res3.java (moved) * doc/theses/rob_schluntz_MMath/examples/intro/tuple.cc (moved) * doc/theses/rob_schluntz_MMath/examples/intro/variadic.java (moved) * doc/theses/rob_schluntz_MMath/examples/malloc.cc (moved) * doc/theses/rob_schluntz_MMath/examples/nested.c (moved) * doc/theses/rob_schluntz_MMath/examples/poly.c (moved) * doc/theses/rob_schluntz_MMath/examples/scope_guard.h (moved) * doc/theses/rob_schluntz_MMath/examples/test_scoped_guard.c (moved) * doc/theses/rob_schluntz_MMath/examples/tuples/assign.c (moved) * doc/theses/rob_schluntz_MMath/examples/tuples/cast.c (moved) * doc/theses/rob_schluntz_MMath/examples/tuples/ctor.c (moved) * doc/theses/rob_schluntz_MMath/examples/tuples/mrv.c (moved) * doc/theses/rob_schluntz_MMath/examples/tuples/mrv_1.c (moved) * doc/theses/rob_schluntz_MMath/examples/tuples/mrv_2.c (moved) * doc/theses/rob_schluntz_MMath/examples/tuples/mrv_3.c (moved) * doc/theses/rob_schluntz_MMath/examples/tuples/named.c (moved) * doc/theses/rob_schluntz_MMath/examples/variadic/new.c (moved) * doc/theses/rob_schluntz_MMath/examples/variadic/print.c (moved) * doc/theses/rob_schluntz_MMath/examples/variadic/sum1.c (moved) * doc/theses/rob_schluntz_MMath/examples/variadic/sum2.c (moved) * doc/theses/rob_schluntz_MMath/intro.tex (moved) * doc/theses/rob_schluntz_MMath/thesis-frontpgs.tex (moved) * doc/theses/rob_schluntz_MMath/thesis.bib (moved) * doc/theses/rob_schluntz_MMath/thesis.tex (moved) * doc/theses/rob_schluntz_MMath/tuples.tex (moved) * doc/theses/rob_schluntz_MMath/variadic.tex (moved) * doc/theses/thierry_delisle_MMath/.gitignore (moved) * doc/theses/thierry_delisle_MMath/Makefile (moved) * doc/theses/thierry_delisle_MMath/annex/glossary.tex (moved) * doc/theses/thierry_delisle_MMath/annex/local.bib (moved) * doc/theses/thierry_delisle_MMath/figures/dependency.fig (moved) * doc/theses/thierry_delisle_MMath/figures/ext_monitor.fig (moved) * doc/theses/thierry_delisle_MMath/figures/int_monitor.fig (moved) * doc/theses/thierry_delisle_MMath/figures/monitor.fig (moved) * doc/theses/thierry_delisle_MMath/figures/monitor_structs.fig (moved) * doc/theses/thierry_delisle_MMath/figures/system.fig (moved) * doc/theses/thierry_delisle_MMath/notes/cor-thread-traits.c (moved) * doc/theses/thierry_delisle_MMath/notes/lit-review.md (moved) * doc/theses/thierry_delisle_MMath/notes/notes.md (moved) * doc/theses/thierry_delisle_MMath/style/cfa-format.tex (moved) * doc/theses/thierry_delisle_MMath/style/style.tex (moved) * doc/theses/thierry_delisle_MMath/text/basics.tex (moved) * doc/theses/thierry_delisle_MMath/text/cforall.tex (moved) * doc/theses/thierry_delisle_MMath/text/concurrency.tex (moved) * doc/theses/thierry_delisle_MMath/text/frontpgs.tex (moved) * doc/theses/thierry_delisle_MMath/text/future.tex (moved) * doc/theses/thierry_delisle_MMath/text/internals.tex (moved) * doc/theses/thierry_delisle_MMath/text/intro.tex (moved) * doc/theses/thierry_delisle_MMath/text/parallelism.tex (moved) * doc/theses/thierry_delisle_MMath/text/results.tex (moved) * doc/theses/thierry_delisle_MMath/text/together.tex (moved) * doc/theses/thierry_delisle_MMath/thePlan.md (moved) * doc/theses/thierry_delisle_MMath/thesis.tex (moved) * doc/theses/thierry_delisle_MMath/version (moved) * doc/theses/thierry_delisle_MMath/version.sh (moved) specialize thesis directory-names Mon, 10 Sep 2018 21:17:27 GMT Aaron Moss [0cf9ffd] * doc/theses/aaron_moss/phd/Makefile (modified) * doc/theses/aaron_moss/phd/background.tex (modified) * doc/theses/aaron_moss/phd/cfa-macros.tex (added) * doc/theses/aaron_moss/phd/conclusion.tex (modified) * doc/theses/aaron_moss/phd/generic-types.tex (modified) * doc/theses/aaron_moss/phd/introduction.tex (modified) * doc/theses/aaron_moss/phd/macros.tex (modified) * doc/theses/aaron_moss/phd/resolution-heuristics.tex (modified) * doc/theses/aaron_moss/phd/thesis.tex (modified) CFA background information for thesis, mostly from comp II proposal Wed, 29 Aug 2018 01:44:09 GMT Aaron Moss [514247d] * doc/theses/aaron_moss/phd/.gitignore (modified) * doc/theses/aaron_moss/phd/aaron-thesis.bib (modified) * doc/theses/aaron_moss/phd/frontpgs.tex (modified) * doc/theses/aaron_moss/phd/introduction.tex (modified) * doc/theses/aaron_moss/phd/macros.tex (modified) Add motivation of C to thesis introduction Mon, 27 Aug 2018 22:18:18 GMT Aaron Moss [ce00317] * doc/theses/aaron_moss/phd/aaron-thesis.bib (modified) * doc/theses/aaron_moss/phd/background.tex (modified) Add history of CFA to thesis background Mon, 27 Aug 2018 21:30:25 GMT Aaron Moss [62e782e] * doc/theses/aaron_moss/phd/Makefile (modified) * doc/theses/aaron_moss/phd/aaron-thesis.bib (modified) * doc/theses/aaron_moss/phd/generic-types.tex (modified) * doc/theses/aaron_moss/phd/introduction.tex (modified) * doc/theses/aaron_moss/phd/macros.tex (modified) * doc/theses/aaron_moss/phd/resolution-heuristics.tex (modified) * doc/theses/aaron_moss/phd/type-environment.tex (modified) Initial draft of thesis introduction Mon, 27 Aug 2018 20:07:52 GMT Aaron Moss [2a9d12d] * doc/theses/aaron_moss/phd/.gitignore (added) * doc/theses/aaron_moss/phd/Makefile (added) * doc/theses/aaron_moss/phd/aaron-thesis.bib (added) * doc/theses/aaron_moss/phd/background.tex (added) * doc/theses/aaron_moss/phd/conclusion.tex (added) * doc/theses/aaron_moss/phd/frontpgs.tex (added) * doc/theses/aaron_moss/phd/generic-types.tex (added) * doc/theses/aaron_moss/phd/introduction.tex (added) * doc/theses/aaron_moss/phd/macros.tex (added) * doc/theses/aaron_moss/phd/resolution-heuristics.tex (added) * doc/theses/aaron_moss/phd/thesis.tex (added) * doc/theses/aaron_moss/phd/type-environment.tex (added) Initial stubs of thesis files Fri, 22 Jun 2018 17:46:55 GMT Peter A. Buhr [484ee53] * doc/papers/OOPSLA17/Makefile (modified) * doc/papers/general/Makefile (modified) * doc/proposals/ctordtor/Makefile (modified) * doc/proposals/ctordtor/ctor.tex (modified) * doc/proposals/tuples/Makefile (modified) * doc/proposals/tuples/tuples.tex (modified) * doc/refrat/Makefile (modified) * doc/theses/aaron_moss/comp_II/Makefile (modified) * doc/theses/thierry_delisle/Makefile (modified) * doc/user/Makefile (modified) update Makefiles so ${Build} is order only Mon, 04 Jun 2018 14:52:39 GMT Thierry Delisle [e8db295] * doc/theses/thierry_delisle/.gitignore (modified) * doc/theses/thierry_delisle/Makefile (modified) Added missing dependencies on variabled with parallel compilation is ... Thu, 01 Feb 2018 22:40:01 GMT Thierry Delisle [85521c7] * doc/LaTeXmacros/common.tex (modified) * doc/bibliography/pl.bib (modified) * doc/papers/OOPSLA17/Makefile (modified) * doc/papers/concurrency/Makefile (modified) * doc/papers/general/Makefile (modified) * doc/refrat/Makefile (modified) * doc/theses/aaron_moss/comp_II/.gitignore (modified) * doc/theses/aaron_moss/comp_II/Makefile (modified) * doc/theses/aaron_moss/comp_II/comp_II.tex (modified) * doc/theses/rob_schluntz/.gitignore (modified) * doc/theses/rob_schluntz/Makefile (modified) * doc/theses/rob_schluntz/intro.tex (modified) * doc/theses/rob_schluntz/thesis.tex (modified) * doc/theses/thierry_delisle/Makefile (modified) * doc/theses/thierry_delisle/version (modified) * doc/theses/thierry_delisle/version.sh (moved) * doc/user/Makefile (modified) * doc/user/user.tex (modified) * src/Common/PassVisitor.h (modified) * src/Common/PassVisitor.impl.h (modified) * src/Common/PassVisitor.proto.h (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/TypeData.cc (modified) * src/Parser/TypeData.h (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Indexer.h (modified) * src/SynTree/Declaration.h (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) * src/SynTree/FunctionDecl.cc (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Thu, 01 Feb 2018 18:48:37 GMT Thierry Delisle [e76bd39] * doc/theses/thierry_delisle/Makefile (modified) Documented makefile for my thesis Thu, 01 Feb 2018 15:03:35 GMT Peter A. Buhr [23c27039] * doc/LaTeXmacros/common.tex (modified) * doc/bibliography/pl.bib (modified) * doc/papers/OOPSLA17/Makefile (modified) * doc/papers/concurrency/Makefile (modified) * doc/papers/general/Makefile (modified) * doc/refrat/Makefile (modified) * doc/theses/aaron_moss/comp_II/.gitignore (modified) * doc/theses/aaron_moss/comp_II/Makefile (modified) * doc/theses/aaron_moss/comp_II/comp_II.tex (modified) * doc/theses/rob_schluntz/.gitignore (modified) * doc/theses/rob_schluntz/Makefile (modified) * doc/theses/rob_schluntz/intro.tex (modified) * doc/theses/rob_schluntz/thesis.tex (modified) * doc/theses/thierry_delisle/Makefile (modified) * doc/theses/thierry_delisle/version (modified) * doc/theses/thierry_delisle/version.sh (moved) * doc/user/Makefile (modified) * doc/user/user.tex (modified) further harmonize document Makefile and documents Fri, 26 Jan 2018 13:31:43 GMT Peter A. Buhr [728df66] * doc/theses/aaron_moss/comp_II/.gitignore (moved) * doc/theses/aaron_moss/comp_II/Efficient Type Resolution in Cforall.pptx (moved) * doc/theses/aaron_moss/comp_II/Makefile (moved) * doc/theses/aaron_moss/comp_II/comp_II.tex (moved) * doc/theses/aaron_moss/comp_II/conversion_dag.eps (moved) * doc/theses/aaron_moss/comp_II/conversion_dag.odg (moved) * doc/theses/aaron_moss/comp_II/conversion_dag.png (moved) * doc/theses/aaron_moss/comp_II/resolution_dag.eps (moved) * doc/theses/aaron_moss/comp_II/resolution_dag.odg (moved) * doc/theses/aaron_moss/comp_II/resolution_dag.png (moved) * doc/theses/aaron_moss/comp_II/resolution_dag2.odg (moved) * doc/theses/aaron_moss/comp_II/resolution_dag2.png (moved) * doc/theses/rob_schluntz/.gitignore (moved) * doc/theses/rob_schluntz/Makefile (moved) * doc/theses/rob_schluntz/cfa-format.tex (moved) * doc/theses/rob_schluntz/conclusions.tex (moved) * doc/theses/rob_schluntz/ctordtor.tex (moved) * doc/theses/rob_schluntz/examples/conclusions/dtor.c (moved) * doc/theses/rob_schluntz/examples/conclusions/except.c (moved) * doc/theses/rob_schluntz/examples/conclusions/except.cc (moved) * doc/theses/rob_schluntz/examples/ctor/array_ctor.c (moved) * doc/theses/rob_schluntz/examples/ctor/copy_ctor.c (moved) * doc/theses/rob_schluntz/examples/ctor/cv_ctor.c (moved) * doc/theses/rob_schluntz/examples/ctor/enum_ctor.c (moved) * doc/theses/rob_schluntz/examples/ctor/expr_ctor.c (moved) * doc/theses/rob_schluntz/examples/ctor/global_ctor.c (moved) * doc/theses/rob_schluntz/examples/ctor/hide_ctor.c (moved) * doc/theses/rob_schluntz/examples/ctor/member.c (moved) * doc/theses/rob_schluntz/examples/ctor/placement_ctor.c (moved) * doc/theses/rob_schluntz/examples/ctor/return_dtor.c (moved) * doc/theses/rob_schluntz/examples/ctor/static_ctor.c (moved) * doc/theses/rob_schluntz/examples/ctor/union_ctor.c (moved) * doc/theses/rob_schluntz/examples/intro/FileOutputStream.java (moved) * doc/theses/rob_schluntz/examples/intro/compound_lit.c (moved) * doc/theses/rob_schluntz/examples/intro/designation.c (moved) * doc/theses/rob_schluntz/examples/intro/ignore.c (moved) * doc/theses/rob_schluntz/examples/intro/ires.java (moved) * doc/theses/rob_schluntz/examples/intro/res.java (moved) * doc/theses/rob_schluntz/examples/intro/res1.java (moved) * doc/theses/rob_schluntz/examples/intro/res2.java (moved) * doc/theses/rob_schluntz/examples/intro/res3.java (moved) * doc/theses/rob_schluntz/examples/intro/tuple.cc (moved) * doc/theses/rob_schluntz/examples/intro/variadic.java (moved) * doc/theses/rob_schluntz/examples/malloc.cc (moved) * doc/theses/rob_schluntz/examples/nested.c (moved) * doc/theses/rob_schluntz/examples/poly.c (moved) * doc/theses/rob_schluntz/examples/scope_guard.h (moved) * doc/theses/rob_schluntz/examples/test_scoped_guard.c (moved) * doc/theses/rob_schluntz/examples/tuples/assign.c (moved) * doc/theses/rob_schluntz/examples/tuples/cast.c (moved) * doc/theses/rob_schluntz/examples/tuples/ctor.c (moved) * doc/theses/rob_schluntz/examples/tuples/mrv.c (moved) * doc/theses/rob_schluntz/examples/tuples/mrv_1.c (moved) * doc/theses/rob_schluntz/examples/tuples/mrv_2.c (moved) * doc/theses/rob_schluntz/examples/tuples/mrv_3.c (moved) * doc/theses/rob_schluntz/examples/tuples/named.c (moved) * doc/theses/rob_schluntz/examples/variadic/new.c (moved) * doc/theses/rob_schluntz/examples/variadic/print.c (moved) * doc/theses/rob_schluntz/examples/variadic/sum1.c (moved) * doc/theses/rob_schluntz/examples/variadic/sum2.c (moved) * doc/theses/rob_schluntz/intro.tex (moved) * doc/theses/rob_schluntz/thesis-frontpgs.tex (moved) * doc/theses/rob_schluntz/thesis.bib (moved) * doc/theses/rob_schluntz/thesis.tex (moved) * doc/theses/rob_schluntz/tuples.tex (moved) * doc/theses/rob_schluntz/variadic.tex (moved) * doc/theses/thierry_delisle/.gitignore (moved) * doc/theses/thierry_delisle/Makefile (moved) * doc/theses/thierry_delisle/annex/glossary.tex (moved) * doc/theses/thierry_delisle/annex/local.bib (moved) * doc/theses/thierry_delisle/build/bump_ver.sh (moved) * doc/theses/thierry_delisle/figures/dependency.fig (moved) * doc/theses/thierry_delisle/figures/ext_monitor.fig (moved) * doc/theses/thierry_delisle/figures/int_monitor.fig (moved) * doc/theses/thierry_delisle/figures/monitor.fig (moved) * doc/theses/thierry_delisle/figures/monitor_structs.fig (moved) * doc/theses/thierry_delisle/figures/system.fig (moved) * doc/theses/thierry_delisle/notes/cor-thread-traits.c (moved) * doc/theses/thierry_delisle/notes/lit-review.md (moved) * doc/theses/thierry_delisle/notes/notes.md (moved) * doc/theses/thierry_delisle/style/cfa-format.tex (moved) * doc/theses/thierry_delisle/style/style.tex (moved) * doc/theses/thierry_delisle/text/basics.tex (moved) * doc/theses/thierry_delisle/text/cforall.tex (moved) * doc/theses/thierry_delisle/text/concurrency.tex (moved) * doc/theses/thierry_delisle/text/frontpgs.tex (moved) * doc/theses/thierry_delisle/text/future.tex (moved) * doc/theses/thierry_delisle/text/internals.tex (moved) * doc/theses/thierry_delisle/text/intro.tex (moved) * doc/theses/thierry_delisle/text/parallelism.tex (moved) * doc/theses/thierry_delisle/text/results.tex (moved) * doc/theses/thierry_delisle/text/together.tex (moved) * doc/theses/thierry_delisle/thePlan.md (moved) * doc/theses/thierry_delisle/thesis.tex (moved) * doc/theses/thierry_delisle/version (moved) more documentation name changes Fri, 26 Jan 2018 02:06:46 GMT Peter A. Buhr [cf68d04] * doc/theses/aaron/comp_II/.gitignore (moved) * doc/theses/aaron/comp_II/Efficient Type Resolution in Cforall.pptx (moved) * doc/theses/aaron/comp_II/Makefile (moved) * doc/theses/aaron/comp_II/comp_II.tex (moved) * doc/theses/aaron/comp_II/conversion_dag.eps (moved) * doc/theses/aaron/comp_II/conversion_dag.odg (moved) * doc/theses/aaron/comp_II/conversion_dag.png (moved) * doc/theses/aaron/comp_II/resolution_dag.eps (moved) * doc/theses/aaron/comp_II/resolution_dag.odg (moved) * doc/theses/aaron/comp_II/resolution_dag.png (moved) * doc/theses/aaron/comp_II/resolution_dag2.odg (moved) * doc/theses/aaron/comp_II/resolution_dag2.png (moved) * doc/theses/rob/.gitignore (moved) * doc/theses/rob/Makefile (moved) * doc/theses/rob/cfa-format.tex (moved) * doc/theses/rob/conclusions.tex (moved) * doc/theses/rob/ctordtor.tex (moved) * doc/theses/rob/examples/conclusions/dtor.c (moved) * doc/theses/rob/examples/conclusions/except.c (moved) * doc/theses/rob/examples/conclusions/except.cc (moved) * doc/theses/rob/examples/ctor/array_ctor.c (moved) * doc/theses/rob/examples/ctor/copy_ctor.c (moved) * doc/theses/rob/examples/ctor/cv_ctor.c (moved) * doc/theses/rob/examples/ctor/enum_ctor.c (moved) * doc/theses/rob/examples/ctor/expr_ctor.c (moved) * doc/theses/rob/examples/ctor/global_ctor.c (moved) * doc/theses/rob/examples/ctor/hide_ctor.c (moved) * doc/theses/rob/examples/ctor/member.c (moved) * doc/theses/rob/examples/ctor/placement_ctor.c (moved) * doc/theses/rob/examples/ctor/return_dtor.c (moved) * doc/theses/rob/examples/ctor/static_ctor.c (moved) * doc/theses/rob/examples/ctor/union_ctor.c (moved) * doc/theses/rob/examples/intro/FileOutputStream.java (moved) * doc/theses/rob/examples/intro/compound_lit.c (moved) * doc/theses/rob/examples/intro/designation.c (moved) * doc/theses/rob/examples/intro/ignore.c (moved) * doc/theses/rob/examples/intro/ires.java (moved) * doc/theses/rob/examples/intro/res.java (moved) * doc/theses/rob/examples/intro/res1.java (moved) * doc/theses/rob/examples/intro/res2.java (moved) * doc/theses/rob/examples/intro/res3.java (moved) * doc/theses/rob/examples/intro/tuple.cc (moved) * doc/theses/rob/examples/intro/variadic.java (moved) * doc/theses/rob/examples/malloc.cc (moved) * doc/theses/rob/examples/nested.c (moved) * doc/theses/rob/examples/poly.c (moved) * doc/theses/rob/examples/scope_guard.h (moved) * doc/theses/rob/examples/test_scoped_guard.c (moved) * doc/theses/rob/examples/tuples/assign.c (moved) * doc/theses/rob/examples/tuples/cast.c (moved) * doc/theses/rob/examples/tuples/ctor.c (moved) * doc/theses/rob/examples/tuples/mrv.c (moved) * doc/theses/rob/examples/tuples/mrv_1.c (moved) * doc/theses/rob/examples/tuples/mrv_2.c (moved) * doc/theses/rob/examples/tuples/mrv_3.c (moved) * doc/theses/rob/examples/tuples/named.c (moved) * doc/theses/rob/examples/variadic/new.c (moved) * doc/theses/rob/examples/variadic/print.c (moved) * doc/theses/rob/examples/variadic/sum1.c (moved) * doc/theses/rob/examples/variadic/sum2.c (moved) * doc/theses/rob/intro.tex (moved) * doc/theses/rob/thesis-frontpgs.tex (moved) * doc/theses/rob/thesis.bib (moved) * doc/theses/rob/thesis.tex (moved) * doc/theses/rob/tuples.tex (moved) * doc/theses/rob/variadic.tex (moved) * doc/theses/thierry/.gitignore (moved) * doc/theses/thierry/Makefile (moved) * doc/theses/thierry/annex/glossary.tex (moved) * doc/theses/thierry/annex/local.bib (moved) * doc/theses/thierry/build/bump_ver.sh (moved) * doc/theses/thierry/figures/dependency.fig (moved) * doc/theses/thierry/figures/ext_monitor.fig (moved) * doc/theses/thierry/figures/int_monitor.fig (moved) * doc/theses/thierry/figures/monitor.fig (moved) * doc/theses/thierry/figures/monitor_structs.fig (moved) * doc/theses/thierry/figures/system.fig (moved) * doc/theses/thierry/notes/cor-thread-traits.c (moved) * doc/theses/thierry/notes/lit-review.md (moved) * doc/theses/thierry/notes/notes.md (moved) * doc/theses/thierry/style/cfa-format.tex (moved) * doc/theses/thierry/style/style.tex (moved) * doc/theses/thierry/text/basics.tex (moved) * doc/theses/thierry/text/cforall.tex (moved) * doc/theses/thierry/text/concurrency.tex (moved) * doc/theses/thierry/text/frontpgs.tex (moved) * doc/theses/thierry/text/future.tex (moved) * doc/theses/thierry/text/internals.tex (moved) * doc/theses/thierry/text/intro.tex (moved) * doc/theses/thierry/text/parallelism.tex (moved) * doc/theses/thierry/text/results.tex (moved) * doc/theses/thierry/text/together.tex (moved) * doc/theses/thierry/thePlan.md (moved) * doc/theses/thierry/thesis.tex (moved) * doc/theses/thierry/version (moved) restructure theses documents