Changeset 7416d46a
- Timestamp:
- Jan 30, 2018, 3:54:32 PM (8 years ago)
- Branches:
- ADT, aaron-thesis, arm-eh, ast-experimental, cleanup-dtors, deferred_resn, demangler, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, new-env, no_list, persistent-indexer, pthread-emulation, qualifiedEnum, resolv-new, with_gc
- Children:
- 633a642
- Parents:
- f792cb8 (diff), 42be3c3 (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the(diff)links above to see all the changes relative to each parent. - Files:
-
- 55 added
- 13 deleted
- 71 edited
- 164 moved
-
Jenkinsfile (modified) (view diffs)
-
doc/NDA/Aaron_Moss-Rob_Schluntz-Thierry_Delisle.pdf (moved) (moved from doc/nda/Aaron_Moss-Rob_Schluntz-Thierry_Delisle.pdf ) (view diffs)
-
doc/NDA/Cover_Letter.pdf (moved) (moved from doc/nda/Cover_Letter.pdf ) (view diffs)
-
doc/NDA/Daniel_Caccamo.pdf (moved) (moved from doc/nda/Daniel_Caccamo.pdf ) (view diffs)
-
doc/NDA/NDA.pdf (moved) (moved from doc/nda/NDA.pdf ) (view diffs)
-
doc/NDA/Neda_Paryab.pdf (moved) (moved from doc/nda/Neda_Paryab.pdf ) (view diffs)
-
doc/NDA/Peter_Buhr-30-jul-2014.pdf (moved) (moved from doc/nda/Peter_Buhr-30-jul-2014.pdf ) (view diffs)
-
doc/bibliography/cfa.bib (modified) (view diffs)
-
doc/papers/OOPSLA17/.gitignore (moved) (moved from doc/generic_types/.gitignore ) (view diffs)
-
doc/papers/OOPSLA17/ACM-Reference-Format.bst (moved) (moved from doc/generic_types/ACM-Reference-Format.bst ) (view diffs)
-
doc/papers/OOPSLA17/Makefile (moved) (moved from doc/generic_types/Makefile ) (view diffs)
-
doc/papers/OOPSLA17/acmart-pacmpl-template.tex (moved) (moved from doc/generic_types/acmart-pacmpl-template.tex ) (view diffs)
-
doc/papers/OOPSLA17/acmart.cls (moved) (moved from doc/generic_types/acmart.cls ) (view diffs)
-
doc/papers/OOPSLA17/evaluation/.gitignore (moved) (moved from doc/generic_types/evaluation/.gitignore ) (view diffs)
-
doc/papers/OOPSLA17/evaluation/Makefile (moved) (moved from doc/generic_types/evaluation/Makefile ) (view diffs)
-
doc/papers/OOPSLA17/evaluation/bench.h (moved) (moved from doc/generic_types/evaluation/bench.h ) (view diffs)
-
doc/papers/OOPSLA17/evaluation/bench.hpp (moved) (moved from doc/generic_types/evaluation/bench.hpp ) (view diffs)
-
doc/papers/OOPSLA17/evaluation/c-bench.c (moved) (moved from doc/generic_types/evaluation/c-bench.c ) (view diffs)
-
doc/papers/OOPSLA17/evaluation/c-pair.c (moved) (moved from doc/generic_types/evaluation/c-pair.c ) (view diffs)
-
doc/papers/OOPSLA17/evaluation/c-pair.h (moved) (moved from doc/generic_types/evaluation/c-pair.h ) (view diffs)
-
doc/papers/OOPSLA17/evaluation/c-print.c (moved) (moved from doc/generic_types/evaluation/c-print.c ) (view diffs)
-
doc/papers/OOPSLA17/evaluation/c-print.h (moved) (moved from doc/generic_types/evaluation/c-print.h ) (view diffs)
-
doc/papers/OOPSLA17/evaluation/c-stack.c (moved) (moved from doc/generic_types/evaluation/c-stack.c ) (view diffs)
-
doc/papers/OOPSLA17/evaluation/c-stack.h (moved) (moved from doc/generic_types/evaluation/c-stack.h ) (view diffs)
-
doc/papers/OOPSLA17/evaluation/cfa-bench.c (moved) (moved from doc/generic_types/evaluation/cfa-bench.c ) (view diffs)
-
doc/papers/OOPSLA17/evaluation/cfa-pair.c (moved) (moved from doc/generic_types/evaluation/cfa-pair.c ) (view diffs)
-
doc/papers/OOPSLA17/evaluation/cfa-pair.h (moved) (moved from doc/generic_types/evaluation/cfa-pair.h ) (view diffs)
-
doc/papers/OOPSLA17/evaluation/cfa-print.c (moved) (moved from doc/generic_types/evaluation/cfa-print.c ) (view diffs)
-
doc/papers/OOPSLA17/evaluation/cfa-print.h (moved) (moved from doc/generic_types/evaluation/cfa-print.h ) (view diffs)
-
doc/papers/OOPSLA17/evaluation/cfa-stack.c (moved) (moved from doc/generic_types/evaluation/cfa-stack.c ) (view diffs)
-
doc/papers/OOPSLA17/evaluation/cfa-stack.h (moved) (moved from doc/generic_types/evaluation/cfa-stack.h ) (view diffs)
-
doc/papers/OOPSLA17/evaluation/cpp-bench.cpp (moved) (moved from doc/generic_types/evaluation/cpp-bench.cpp ) (view diffs)
-
doc/papers/OOPSLA17/evaluation/cpp-pair.hpp (moved) (moved from doc/generic_types/evaluation/cpp-pair.hpp ) (view diffs)
-
doc/papers/OOPSLA17/evaluation/cpp-print.hpp (moved) (moved from doc/generic_types/evaluation/cpp-print.hpp ) (view diffs)
-
doc/papers/OOPSLA17/evaluation/cpp-stack.hpp (moved) (moved from doc/generic_types/evaluation/cpp-stack.hpp ) (view diffs)
-
doc/papers/OOPSLA17/evaluation/cpp-vbench.cpp (moved) (moved from doc/generic_types/evaluation/cpp-vbench.cpp ) (view diffs)
-
doc/papers/OOPSLA17/evaluation/cpp-vprint.hpp (moved) (moved from doc/generic_types/evaluation/cpp-vprint.hpp ) (view diffs)
-
doc/papers/OOPSLA17/evaluation/cpp-vstack.cpp (moved) (moved from doc/generic_types/evaluation/cpp-vstack.cpp ) (view diffs)
-
doc/papers/OOPSLA17/evaluation/cpp-vstack.hpp (moved) (moved from doc/generic_types/evaluation/cpp-vstack.hpp ) (view diffs)
-
doc/papers/OOPSLA17/evaluation/object.hpp (moved) (moved from doc/generic_types/evaluation/object.hpp ) (view diffs)
-
doc/papers/OOPSLA17/evaluation/timing.dat (moved) (moved from doc/generic_types/evaluation/timing.dat ) (view diffs)
-
doc/papers/OOPSLA17/evaluation/timing.gp (moved) (moved from doc/generic_types/evaluation/timing.gp ) (view diffs)
-
doc/papers/OOPSLA17/evaluation/timing.xlsx (moved) (moved from doc/generic_types/evaluation/timing.xlsx ) (view diffs)
-
doc/papers/OOPSLA17/generic_types.tex (moved) (moved from doc/generic_types/generic_types.tex ) (view diffs)
-
doc/papers/OOPSLA17/mail (moved) (moved from doc/generic_types/mail ) (view diffs)
-
doc/papers/OOPSLA17/refereeReport.txt (moved) (moved from doc/generic_types/refereeReport.txt ) (view diffs)
-
doc/papers/concurrency/.gitignore (moved) (moved from doc/proposals/concurrency/.gitignore ) (view diffs)
-
doc/papers/concurrency/Paper.tex (added)
-
doc/papers/concurrency/annex/local.bib (moved) (moved from doc/proposals/concurrency/annex/local.bib ) (view diffs)
-
doc/papers/concurrency/build/bump_ver.sh (moved) (moved from doc/proposals/concurrency/build/bump_ver.sh ) (view diffs)
-
doc/papers/concurrency/figures/dependency.fig (moved) (moved from doc/proposals/concurrency/figures/dependency.fig ) (view diffs)
-
doc/papers/concurrency/figures/ext_monitor.fig (moved) (moved from doc/proposals/concurrency/figures/ext_monitor.fig ) (view diffs)
-
doc/papers/concurrency/figures/int_monitor.fig (moved) (moved from doc/proposals/concurrency/figures/int_monitor.fig ) (view diffs)
-
doc/papers/concurrency/figures/monitor.fig (moved) (moved from doc/proposals/concurrency/figures/monitor.fig ) (view diffs)
-
doc/papers/concurrency/figures/monitor_structs.fig (moved) (moved from doc/proposals/concurrency/figures/monitor_structs.fig ) (view diffs)
-
doc/papers/concurrency/figures/system.fig (moved) (moved from doc/proposals/concurrency/figures/system.fig ) (view diffs)
-
doc/papers/concurrency/notes/cor-thread-traits.c (moved) (moved from doc/proposals/concurrency/notes/cor-thread-traits.c ) (view diffs)
-
doc/papers/concurrency/notes/lit-review.md (moved) (moved from doc/proposals/concurrency/notes/lit-review.md ) (view diffs)
-
doc/papers/concurrency/notes/notes.md (moved) (moved from doc/proposals/concurrency/notes/notes.md ) (view diffs)
-
doc/papers/concurrency/style/cfa-format.tex (moved) (moved from doc/proposals/concurrency/style/cfa-format.tex ) (view diffs)
-
doc/papers/concurrency/style/style.tex (moved) (moved from doc/proposals/concurrency/style/style.tex ) (view diffs)
-
doc/papers/concurrency/version (added)
-
doc/papers/general/.gitignore (added)
-
doc/papers/general/Paper.tex (added)
-
doc/papers/general/evaluation/.gitignore (added)
-
doc/papers/general/evaluation/bench.h (added)
-
doc/papers/general/evaluation/bench.hpp (added)
-
doc/papers/general/evaluation/c-bench.c (added)
-
doc/papers/general/evaluation/c-pair.c (added)
-
doc/papers/general/evaluation/c-pair.h (added)
-
doc/papers/general/evaluation/c-print.c (added)
-
doc/papers/general/evaluation/c-print.h (added)
-
doc/papers/general/evaluation/c-stack.c (added)
-
doc/papers/general/evaluation/c-stack.h (added)
-
doc/papers/general/evaluation/cfa-bench.c (added)
-
doc/papers/general/evaluation/cfa-pair.c (added)
-
doc/papers/general/evaluation/cfa-pair.h (added)
-
doc/papers/general/evaluation/cfa-print.c (added)
-
doc/papers/general/evaluation/cfa-print.h (added)
-
doc/papers/general/evaluation/cfa-stack.c (added)
-
doc/papers/general/evaluation/cfa-stack.h (added)
-
doc/papers/general/evaluation/cpp-bench.cpp (added)
-
doc/papers/general/evaluation/cpp-pair.hpp (added)
-
doc/papers/general/evaluation/cpp-print.hpp (added)
-
doc/papers/general/evaluation/cpp-stack.hpp (added)
-
doc/papers/general/evaluation/cpp-vbench.cpp (added)
-
doc/papers/general/evaluation/cpp-vprint.hpp (added)
-
doc/papers/general/evaluation/cpp-vstack.cpp (added)
-
doc/papers/general/evaluation/cpp-vstack.hpp (added)
-
doc/papers/general/evaluation/object.hpp (added)
-
doc/papers/general/evaluation/timing.dat (added)
-
doc/papers/general/evaluation/timing.gp (added)
-
doc/papers/general/evaluation/timing.xlsx (added)
-
doc/papers_related/Baker82.pdf (moved) (moved from doc/papers/Baker82.pdf ) (view diffs)
-
doc/papers_related/Bilson.pdf (moved) (moved from doc/papers/Bilson.pdf ) (view diffs)
-
doc/papers_related/Bilson03.pdf (moved) (moved from doc/papers/Bilson03.pdf ) (view diffs)
-
doc/papers_related/Breuel.pdf (moved) (moved from doc/papers/Breuel.pdf ) (view diffs)
-
doc/papers_related/Cormack81.pdf (moved) (moved from doc/papers/Cormack81.pdf ) (view diffs)
-
doc/papers_related/CormackWright90.pdf (moved) (moved from doc/papers/CormackWright90.pdf ) (view diffs)
-
doc/papers_related/Ditchfield92.pdf (moved) (moved from doc/papers/Ditchfield92.pdf ) (view diffs)
-
doc/papers_related/Grossman06.pdf (moved) (moved from doc/papers/Grossman06.pdf ) (view diffs)
-
doc/papers_related/Jones97.pdf (moved) (moved from doc/papers/Jones97.pdf ) (view diffs)
-
doc/papers_related/Laufer92.pdf (moved) (moved from doc/papers/Laufer92.pdf ) (view diffs)
-
doc/papers_related/Ziegler92.pdf (moved) (moved from doc/papers/Ziegler92.pdf ) (view diffs)
-
doc/papers_related/refrat98.pdf (moved) (moved from doc/papers/refrat98.pdf ) (view diffs)
-
doc/proposals/concurrency/version (deleted)
-
doc/theses/aaron_moss/comp_II/.gitignore (moved) (moved from doc/aaron_comp_II/.gitignore ) (view diffs)
-
doc/theses/aaron_moss/comp_II/Efficient Type Resolution in Cforall.pptx (moved) (moved from doc/aaron_comp_II/Efficient Type Resolution in Cforall.pptx ) (view diffs)
-
doc/theses/aaron_moss/comp_II/Makefile (moved) (moved from doc/aaron_comp_II/Makefile ) (view diffs)
-
doc/theses/aaron_moss/comp_II/comp_II.tex (moved) (moved from doc/aaron_comp_II/comp_II.tex ) (view diffs)
-
doc/theses/aaron_moss/comp_II/conversion_dag.eps (moved) (moved from doc/aaron_comp_II/conversion_dag.eps ) (view diffs)
-
doc/theses/aaron_moss/comp_II/conversion_dag.odg (moved) (moved from doc/aaron_comp_II/conversion_dag.odg ) (view diffs)
-
doc/theses/aaron_moss/comp_II/conversion_dag.png (moved) (moved from doc/aaron_comp_II/conversion_dag.png ) (view diffs)
-
doc/theses/aaron_moss/comp_II/resolution_dag.eps (moved) (moved from doc/aaron_comp_II/resolution_dag.eps ) (view diffs)
-
doc/theses/aaron_moss/comp_II/resolution_dag.odg (moved) (moved from doc/aaron_comp_II/resolution_dag.odg ) (view diffs)
-
doc/theses/aaron_moss/comp_II/resolution_dag.png (moved) (moved from doc/aaron_comp_II/resolution_dag.png ) (view diffs)
-
doc/theses/aaron_moss/comp_II/resolution_dag2.odg (moved) (moved from doc/aaron_comp_II/resolution_dag2.odg ) (view diffs)
-
doc/theses/aaron_moss/comp_II/resolution_dag2.png (moved) (moved from doc/aaron_comp_II/resolution_dag2.png ) (view diffs)
-
doc/theses/rob_schluntz/.gitignore (moved) (moved from doc/rob_thesis/.gitignore ) (view diffs)
-
doc/theses/rob_schluntz/Makefile (moved) (moved from doc/rob_thesis/Makefile ) (view diffs)
-
doc/theses/rob_schluntz/cfa-format.tex (moved) (moved from doc/rob_thesis/cfa-format.tex ) (view diffs)
-
doc/theses/rob_schluntz/conclusions.tex (moved) (moved from doc/rob_thesis/conclusions.tex ) (view diffs)
-
doc/theses/rob_schluntz/ctordtor.tex (moved) (moved from doc/rob_thesis/ctordtor.tex ) (view diffs)
-
doc/theses/rob_schluntz/examples/conclusions/dtor.c (moved) (moved from doc/rob_thesis/examples/conclusions/dtor.c ) (view diffs)
-
doc/theses/rob_schluntz/examples/conclusions/except.c (moved) (moved from doc/rob_thesis/examples/conclusions/except.c ) (view diffs)
-
doc/theses/rob_schluntz/examples/conclusions/except.cc (moved) (moved from doc/rob_thesis/examples/conclusions/except.cc ) (view diffs)
-
doc/theses/rob_schluntz/examples/ctor/array_ctor.c (moved) (moved from doc/rob_thesis/examples/ctor/array_ctor.c ) (view diffs)
-
doc/theses/rob_schluntz/examples/ctor/copy_ctor.c (moved) (moved from doc/rob_thesis/examples/ctor/copy_ctor.c ) (view diffs)
-
doc/theses/rob_schluntz/examples/ctor/cv_ctor.c (moved) (moved from doc/rob_thesis/examples/ctor/cv_ctor.c ) (view diffs)
-
doc/theses/rob_schluntz/examples/ctor/enum_ctor.c (moved) (moved from doc/rob_thesis/examples/ctor/enum_ctor.c ) (view diffs)
-
doc/theses/rob_schluntz/examples/ctor/expr_ctor.c (moved) (moved from doc/rob_thesis/examples/ctor/expr_ctor.c ) (view diffs)
-
doc/theses/rob_schluntz/examples/ctor/global_ctor.c (moved) (moved from doc/rob_thesis/examples/ctor/global_ctor.c ) (view diffs)
-
doc/theses/rob_schluntz/examples/ctor/hide_ctor.c (moved) (moved from doc/rob_thesis/examples/ctor/hide_ctor.c ) (view diffs)
-
doc/theses/rob_schluntz/examples/ctor/member.c (moved) (moved from doc/rob_thesis/examples/ctor/member.c ) (view diffs)
-
doc/theses/rob_schluntz/examples/ctor/placement_ctor.c (moved) (moved from doc/rob_thesis/examples/ctor/placement_ctor.c ) (view diffs)
-
doc/theses/rob_schluntz/examples/ctor/return_dtor.c (moved) (moved from doc/rob_thesis/examples/ctor/return_dtor.c ) (view diffs)
-
doc/theses/rob_schluntz/examples/ctor/static_ctor.c (moved) (moved from doc/rob_thesis/examples/ctor/static_ctor.c ) (view diffs)
-
doc/theses/rob_schluntz/examples/ctor/union_ctor.c (moved) (moved from doc/rob_thesis/examples/ctor/union_ctor.c ) (view diffs)
-
doc/theses/rob_schluntz/examples/intro/FileOutputStream.java (moved) (moved from doc/rob_thesis/examples/intro/FileOutputStream.java ) (view diffs)
-
doc/theses/rob_schluntz/examples/intro/compound_lit.c (moved) (moved from doc/rob_thesis/examples/intro/compound_lit.c ) (view diffs)
-
doc/theses/rob_schluntz/examples/intro/designation.c (moved) (moved from doc/rob_thesis/examples/intro/designation.c ) (view diffs)
-
doc/theses/rob_schluntz/examples/intro/ignore.c (moved) (moved from doc/rob_thesis/examples/intro/ignore.c ) (view diffs)
-
doc/theses/rob_schluntz/examples/intro/ires.java (moved) (moved from doc/rob_thesis/examples/intro/ires.java ) (view diffs)
-
doc/theses/rob_schluntz/examples/intro/res.java (moved) (moved from doc/rob_thesis/examples/intro/res.java ) (view diffs)
-
doc/theses/rob_schluntz/examples/intro/res1.java (moved) (moved from doc/rob_thesis/examples/intro/res1.java ) (view diffs)
-
doc/theses/rob_schluntz/examples/intro/res2.java (moved) (moved from doc/rob_thesis/examples/intro/res2.java ) (view diffs)
-
doc/theses/rob_schluntz/examples/intro/res3.java (moved) (moved from doc/rob_thesis/examples/intro/res3.java ) (view diffs)
-
doc/theses/rob_schluntz/examples/intro/tuple.cc (moved) (moved from doc/rob_thesis/examples/intro/tuple.cc ) (view diffs)
-
doc/theses/rob_schluntz/examples/intro/variadic.java (moved) (moved from doc/rob_thesis/examples/intro/variadic.java ) (view diffs)
-
doc/theses/rob_schluntz/examples/malloc.cc (moved) (moved from doc/rob_thesis/examples/malloc.cc ) (view diffs)
-
doc/theses/rob_schluntz/examples/nested.c (moved) (moved from doc/rob_thesis/examples/nested.c ) (view diffs)
-
doc/theses/rob_schluntz/examples/poly.c (moved) (moved from doc/rob_thesis/examples/poly.c ) (view diffs)
-
doc/theses/rob_schluntz/examples/scope_guard.h (moved) (moved from doc/rob_thesis/examples/scope_guard.h ) (view diffs)
-
doc/theses/rob_schluntz/examples/test_scoped_guard.c (moved) (moved from doc/rob_thesis/examples/test_scoped_guard.c ) (view diffs)
-
doc/theses/rob_schluntz/examples/tuples/assign.c (moved) (moved from doc/rob_thesis/examples/tuples/assign.c ) (view diffs)
-
doc/theses/rob_schluntz/examples/tuples/cast.c (moved) (moved from doc/rob_thesis/examples/tuples/cast.c ) (view diffs)
-
doc/theses/rob_schluntz/examples/tuples/ctor.c (moved) (moved from doc/rob_thesis/examples/tuples/ctor.c ) (view diffs)
-
doc/theses/rob_schluntz/examples/tuples/mrv.c (moved) (moved from doc/rob_thesis/examples/tuples/mrv.c ) (view diffs)
-
doc/theses/rob_schluntz/examples/tuples/mrv_1.c (moved) (moved from doc/rob_thesis/examples/tuples/mrv_1.c ) (view diffs)
-
doc/theses/rob_schluntz/examples/tuples/mrv_2.c (moved) (moved from doc/rob_thesis/examples/tuples/mrv_2.c ) (view diffs)
-
doc/theses/rob_schluntz/examples/tuples/mrv_3.c (moved) (moved from doc/rob_thesis/examples/tuples/mrv_3.c ) (view diffs)
-
doc/theses/rob_schluntz/examples/tuples/named.c (moved) (moved from doc/rob_thesis/examples/tuples/named.c ) (view diffs)
-
doc/theses/rob_schluntz/examples/variadic/new.c (moved) (moved from doc/rob_thesis/examples/variadic/new.c ) (view diffs)
-
doc/theses/rob_schluntz/examples/variadic/print.c (moved) (moved from doc/rob_thesis/examples/variadic/print.c ) (view diffs)
-
doc/theses/rob_schluntz/examples/variadic/sum1.c (moved) (moved from doc/rob_thesis/examples/variadic/sum1.c ) (view diffs)
-
doc/theses/rob_schluntz/examples/variadic/sum2.c (moved) (moved from doc/rob_thesis/examples/variadic/sum2.c ) (view diffs)
-
doc/theses/rob_schluntz/intro.tex (moved) (moved from doc/rob_thesis/intro.tex ) (view diffs)
-
doc/theses/rob_schluntz/thesis-frontpgs.tex (moved) (moved from doc/rob_thesis/thesis-frontpgs.tex ) (view diffs)
-
doc/theses/rob_schluntz/thesis.bib (moved) (moved from doc/rob_thesis/thesis.bib ) (view diffs)
-
doc/theses/rob_schluntz/thesis.tex (moved) (moved from doc/rob_thesis/thesis.tex ) (view diffs)
-
doc/theses/rob_schluntz/tuples.tex (moved) (moved from doc/rob_thesis/tuples.tex ) (view diffs)
-
doc/theses/rob_schluntz/variadic.tex (moved) (moved from doc/rob_thesis/variadic.tex ) (view diffs)
-
doc/theses/thierry_delisle/.gitignore (added)
-
doc/theses/thierry_delisle/Makefile (moved) (moved from doc/proposals/concurrency/Makefile ) (view diffs)
-
doc/theses/thierry_delisle/annex/glossary.tex (moved) (moved from doc/proposals/concurrency/annex/glossary.tex ) (view diffs)
-
doc/theses/thierry_delisle/annex/local.bib (added)
-
doc/theses/thierry_delisle/build/bump_ver.sh (added)
-
doc/theses/thierry_delisle/figures/dependency.fig (added)
-
doc/theses/thierry_delisle/figures/ext_monitor.fig (added)
-
doc/theses/thierry_delisle/figures/int_monitor.fig (added)
-
doc/theses/thierry_delisle/figures/monitor.fig (added)
-
doc/theses/thierry_delisle/figures/monitor_structs.fig (added)
-
doc/theses/thierry_delisle/figures/system.fig (added)
-
doc/theses/thierry_delisle/notes/cor-thread-traits.c (added)
-
doc/theses/thierry_delisle/notes/lit-review.md (added)
-
doc/theses/thierry_delisle/notes/notes.md (added)
-
doc/theses/thierry_delisle/style/cfa-format.tex (added)
-
doc/theses/thierry_delisle/style/style.tex (added)
-
doc/theses/thierry_delisle/text/basics.tex (moved) (moved from doc/proposals/concurrency/text/basics.tex ) (view diffs)
-
doc/theses/thierry_delisle/text/cforall.tex (moved) (moved from doc/proposals/concurrency/text/cforall.tex ) (view diffs)
-
doc/theses/thierry_delisle/text/concurrency.tex (moved) (moved from doc/proposals/concurrency/text/concurrency.tex ) (view diffs)
-
doc/theses/thierry_delisle/text/frontpgs.tex (moved) (moved from doc/proposals/concurrency/text/frontpgs.tex ) (view diffs)
-
doc/theses/thierry_delisle/text/future.tex (moved) (moved from doc/proposals/concurrency/text/future.tex ) (view diffs)
-
doc/theses/thierry_delisle/text/internals.tex (moved) (moved from doc/proposals/concurrency/text/internals.tex ) (view diffs)
-
doc/theses/thierry_delisle/text/intro.tex (moved) (moved from doc/proposals/concurrency/text/intro.tex ) (view diffs)
-
doc/theses/thierry_delisle/text/parallelism.tex (moved) (moved from doc/proposals/concurrency/text/parallelism.tex ) (view diffs)
-
doc/theses/thierry_delisle/text/results.tex (moved) (moved from doc/proposals/concurrency/text/results.tex ) (view diffs)
-
doc/theses/thierry_delisle/text/together.tex (moved) (moved from doc/proposals/concurrency/text/together.tex ) (view diffs)
-
doc/theses/thierry_delisle/thePlan.md (moved) (moved from doc/proposals/concurrency/thePlan.md ) (view diffs)
-
doc/theses/thierry_delisle/thesis.tex (moved) (moved from doc/proposals/concurrency/thesis.tex ) (view diffs)
-
doc/theses/thierry_delisle/version (added)
-
src/CodeGen/GenType.cc (modified) (view diffs)
-
src/CodeTools/DeclStats.cc (modified) (view diffs)
-
src/Common/PassVisitor.h (modified) (view diffs)
-
src/Common/PassVisitor.impl.h (modified) (view diffs)
-
src/Concurrency/Waitfor.cc (modified) (view diffs)
-
src/ControlStruct/ExceptTranslate.cc (modified) (view diffs)
-
src/ControlStruct/LabelFixer.cc (modified) (view diffs)
-
src/ControlStruct/MLEMutator.cc (modified) (view diffs)
-
src/ControlStruct/MLEMutator.h (modified) (view diffs)
-
src/GenPoly/Box.cc (modified) (view diffs)
-
src/GenPoly/Lvalue.cc (modified) (view diffs)
-
src/GenPoly/ScrubTyVars.cc (modified) (view diffs)
-
src/GenPoly/ScrubTyVars.h (modified) (view diffs)
-
src/InitTweak/FixInit.cc (modified) (view diffs)
-
src/ResolvExpr/AlternativeFinder.cc (modified) (view diffs)
-
src/ResolvExpr/AlternativeFinder.h (modified) (view diffs)
-
src/ResolvExpr/CastCost.cc (modified) (view diffs)
-
src/ResolvExpr/CommonType.cc (modified) (view diffs)
-
src/ResolvExpr/ConversionCost.cc (modified) (view diffs)
-
src/ResolvExpr/ConversionCost.h (modified) (view diffs)
-
src/ResolvExpr/CurrentObject.cc (modified) (view diffs)
-
src/ResolvExpr/PtrsAssignable.cc (modified) (view diffs)
-
src/ResolvExpr/PtrsCastable.cc (modified) (view diffs)
-
src/ResolvExpr/RenameVars.cc (modified) (view diffs)
-
src/ResolvExpr/RenameVars.h (modified) (view diffs)
-
src/ResolvExpr/Resolver.cc (modified) (view diffs)
-
src/ResolvExpr/TypeMap.h (deleted)
-
src/ResolvExpr/Unify.cc (modified) (view diffs)
-
src/SymTab/Mangler.cc (modified) (view diffs)
-
src/SymTab/Mangler.h (modified) (view diffs)
-
src/SynTree/AggregateDecl.cc (modified) (view diffs)
-
src/SynTree/CompoundStmt.cc (modified) (view diffs)
-
src/SynTree/Expression.cc (modified) (view diffs)
-
src/SynTree/FunctionDecl.cc (modified) (view diffs)
-
src/SynTree/Label.h (modified) (view diffs)
-
src/SynTree/TypeSubstitution.cc (modified) (view diffs)
-
src/SynTree/TypeSubstitution.h (modified) (view diffs)
-
src/SynTree/VarExprReplacer.cc (modified) (view diffs)
-
src/SynTree/VarExprReplacer.h (modified) (view diffs)
-
src/Tuples/TupleExpansion.cc (modified) (view diffs)
-
src/benchmark/Makefile.am (modified) (view diffs)
-
src/benchmark/Makefile.in (modified) (view diffs)
-
src/driver/cfa.cc (modified) (view diffs)
-
src/libcfa/bits/locks.h (modified) (view diffs)
-
src/libcfa/bits/signal.h (added)
-
src/libcfa/concurrency/CtxSwitch-armv7l.S (added)
-
src/libcfa/concurrency/invoke.c (modified) (view diffs)
-
src/libcfa/concurrency/invoke.h (modified) (view diffs)
-
src/libcfa/concurrency/kernel.c (modified) (view diffs)
-
src/libcfa/concurrency/kernel_private.h (modified) (view diffs)
-
src/libcfa/concurrency/monitor.c (modified) (view diffs)
-
src/libcfa/concurrency/preemption.c (modified) (view diffs)
-
src/libcfa/concurrency/thread.c (modified) (view diffs)
-
src/libcfa/interpose.c (modified) (view diffs)
-
src/libcfa/iostream (modified) (view diffs)
-
src/libcfa/iostream.c (modified) (view diffs)
-
src/libcfa/stdlib.c (modified) (view diffs)
-
src/prelude/prelude.cf (modified) (view diffs)
-
src/tests/.expect/alloc-ERROR.txt (modified) (view diffs)
-
src/tests/.expect/alloc.txt (modified) (view diffs)
-
src/tests/.expect/ctor-autogen.txt (deleted)
-
src/tests/.expect/dtor-early-exit-ERR1.txt (deleted)
-
src/tests/.expect/dtor-early-exit-ERR2.txt (deleted)
-
src/tests/.expect/io.txt (modified) (view diffs)
-
src/tests/.expect/literals.x64.txt (modified) (view diffs)
-
src/tests/.expect/literals.x86.txt (modified) (view diffs)
-
src/tests/.expect/memberCtors-ERR1.txt (deleted)
-
src/tests/.expect/sum.txt (modified) (view diffs)
-
src/tests/.expect/vector.txt (moved) (moved from src/tests/.expect/libcfa_vector.txt ) (view diffs)
-
src/tests/.expect/vector_test.txt (deleted)
-
src/tests/.in/vector_test.txt (deleted)
-
src/tests/Makefile.am (modified) (view diffs)
-
src/tests/Makefile.in (modified) (view diffs)
-
src/tests/alloc.c (modified) (view diffs)
-
src/tests/concurrent/examples/.expect/quickSort.txt (added)
-
src/tests/concurrent/examples/quickSort.c (modified) (view diffs)
-
src/tests/io.c (modified) (view diffs)
-
src/tests/io.data (modified) (view diffs)
-
src/tests/raii/.expect/ctor-autogen-ERR1.txt (moved) (moved from src/tests/.expect/ctor-autogen-ERR1.txt ) (view diffs)
-
src/tests/raii/.expect/ctor-autogen.txt (moved) (moved from src/tests/.expect/init_once.txt ) (view diffs)
-
src/tests/raii/.expect/dtor-early-exit-ERR1.txt (added)
-
src/tests/raii/.expect/dtor-early-exit-ERR2.txt (added)
-
src/tests/raii/.expect/dtor-early-exit.txt (moved) (moved from src/tests/.expect/dtor-early-exit.txt ) (view diffs)
-
src/tests/raii/.expect/globals.txt (moved) (moved from src/tests/.expect/globals.txt ) (view diffs)
-
src/tests/raii/.expect/init_once.txt (added)
-
src/tests/raii/.expect/memberCtors-ERR1.txt (added)
-
src/tests/raii/.expect/memberCtors.txt (moved) (moved from src/tests/.expect/memberCtors.txt ) (view diffs)
-
src/tests/raii/ctor-autogen.c (moved) (moved from src/tests/ctor-autogen.c ) (view diffs)
-
src/tests/raii/dtor-early-exit.c (moved) (moved from src/tests/dtor-early-exit.c ) (view diffs)
-
src/tests/raii/globals.c (moved) (moved from src/tests/globals.c ) (view diffs)
-
src/tests/raii/init_once.c (moved) (moved from src/tests/init_once.c ) (view diffs)
-
src/tests/raii/memberCtors.c (moved) (moved from src/tests/memberCtors.c ) (view diffs)
-
src/tests/raii/multiDimension.c (moved) (moved from src/tests/multiDimension.c ) (view diffs)
-
src/tests/raii/multiDimension.txt (moved) (moved from src/tests/.expect/multiDimension.txt ) (view diffs)
-
src/tests/sum.c (modified) (view diffs)
-
src/tests/vector.c (moved) (moved from src/tests/libcfa_vector.c ) (view diffs)
-
src/tests/vector/array.c (deleted)
-
src/tests/vector/array.h (deleted)
-
src/tests/vector/vector_int.c (deleted)
-
src/tests/vector/vector_int.h (deleted)
-
src/tests/vector/vector_test.c (deleted)
-
tools/repeat.c (modified) (view diffs)
Note:
See TracChangeset
for help on using the changeset viewer.
