# # ChangeLog for doc/theses/jiada_liang_MMath/CFAenum.tex # # Generated by Trac 1.2.1 # Jul 7, 2024, 5:36:41 PM Wed, 12 Jun 2024 13:21:05 GMT Peter A. Buhr [bc17be98] * doc/theses/jiada_liang_MMath/CFAenum.tex (modified) small proofreading changes to Cforall numeration chapter Mon, 13 May 2024 14:26:59 GMT JiadaL [31f4837] * doc/theses/jiada_liang_MMath/CFAenum.tex (modified) * doc/theses/jiada_liang_MMath/background.tex (modified) * doc/theses/jiada_liang_MMath/intro.tex (modified) * doc/theses/jiada_liang_MMath/relatedwork.tex (modified) * doc/theses/mike_brooks_MMath/background.tex (modified) * driver/cfa.cc (modified) * libcfa/src/enum.hfa (modified) * src/AST/Decl.cpp (modified) * src/AST/Expr.cpp (modified) * src/AST/Inspect.cpp (modified) * src/AST/Label.hpp (modified) * src/AST/LinkageSpec.cpp (modified) * src/AST/LinkageSpec.hpp (modified) * src/AST/Node.hpp (modified) * src/AST/ParseNode.hpp (modified) * src/AST/Pass.hpp (modified) * src/AST/Pass.proto.hpp (modified) * src/AST/Print.hpp (modified) * src/AST/Stmt.hpp (modified) * src/AST/SymbolTable.cpp (modified) * src/AST/SymbolTable.hpp (modified) * src/AST/Type.cpp (modified) * src/AST/TypeEnvironment.cpp (modified) * src/AST/TypeEnvironment.hpp (modified) * src/AST/TypeSubstitution.cpp (modified) * src/AST/TypeSubstitution.hpp (modified) * src/AST/Util.cpp (modified) * src/BasicTypes-gen.cpp (modified) * src/CodeGen/CodeGenerator.cpp (modified) * src/CodeGen/CodeGenerator.hpp (modified) * src/CodeGen/FixMain.cpp (moved) * src/CodeGen/FixMain.hpp (moved) * src/CodeGen/FixNames.cpp (moved) * src/CodeGen/FixNames.hpp (moved) * src/CodeGen/GenType.cpp (moved) * src/CodeGen/GenType.hpp (moved) * src/CodeGen/Generate.cpp (moved) * src/CodeGen/Generate.hpp (moved) * src/CodeGen/LinkOnce.cpp (moved) * src/CodeGen/LinkOnce.hpp (moved) * src/CodeGen/OperatorTable.cpp (moved) * src/CodeGen/OperatorTable.hpp (moved) * src/CodeGen/Options.hpp (moved) * src/CodeGen/module.mk (modified) * src/Common/Assert.cpp (moved) * src/Common/CodeLocation.hpp (moved) * src/Common/CodeLocationTools.cpp (modified) * src/Common/DebugMalloc.cpp (moved) * src/Common/DeclStats.cpp (modified) * src/Common/ErrorObjects.hpp (moved) * src/Common/Eval.cpp (moved) * src/Common/Eval.hpp (moved) * src/Common/Examine.cpp (moved) * src/Common/Examine.hpp (moved) * src/Common/FilterCombos.hpp (moved) * src/Common/Indenter.cpp (moved) * src/Common/Indenter.hpp (moved) * src/Common/PersistentMap.hpp (moved) * src/Common/ResolvProtoDump.cpp (modified) * src/Common/ScopedMap.hpp (moved) * src/Common/SemanticError.cpp (moved) * src/Common/SemanticError.hpp (moved) * src/Common/Stats.hpp (moved) * src/Common/Stats/Base.hpp (moved) * src/Common/Stats/Counter.cpp (moved) * src/Common/Stats/Counter.hpp (moved) * src/Common/Stats/Heap.cpp (moved) * src/Common/Stats/Heap.hpp (moved) * src/Common/Stats/ResolveTime.cpp (moved) * src/Common/Stats/ResolveTime.hpp (moved) * src/Common/Stats/Stats.cpp (moved) * src/Common/Stats/Time.cpp (moved) * src/Common/Stats/Time.hpp (moved) * src/Common/UniqueName.cpp (moved) * src/Common/UniqueName.hpp (moved) * src/Common/Utility.hpp (moved) * src/Common/VectorMap.hpp (moved) * src/Common/module.mk (modified) * src/CompilationState.cpp (modified) * src/Concurrency/Corun.cpp (modified) * src/Concurrency/Keywords.cpp (modified) * src/Concurrency/Keywords.hpp (moved) * src/Concurrency/Waitfor.cpp (modified) * src/Concurrency/Waitfor.hpp (moved) * src/Concurrency/Waituntil.cpp (modified) * src/Concurrency/Waituntil.hpp (modified) * src/Concurrency/module.mk (modified) * src/ControlStruct/ExceptDecl.cpp (modified) * src/ControlStruct/ExceptDecl.hpp (moved) * src/ControlStruct/ExceptTranslate.cpp (modified) * src/ControlStruct/ExceptTranslate.hpp (moved) * src/ControlStruct/module.mk (modified) * src/GenPoly/Box.cpp (modified) * src/GenPoly/Box.hpp (moved) * src/GenPoly/ErasableScopedMap.hpp (moved) * src/GenPoly/FindFunction.cpp (moved) * src/GenPoly/FindFunction.hpp (moved) * src/GenPoly/GenPoly.cpp (moved) * src/GenPoly/GenPoly.hpp (moved) * src/GenPoly/InstantiateGeneric.cpp (modified) * src/GenPoly/InstantiateGeneric.hpp (moved) * src/GenPoly/Lvalue.cpp (modified) * src/GenPoly/Lvalue.hpp (moved) * src/GenPoly/Lvalue2.cpp (moved) * src/GenPoly/ScopedSet.hpp (moved) * src/GenPoly/ScrubTypeVars.cpp (modified) * src/GenPoly/ScrubTypeVars.hpp (modified) * src/GenPoly/Specialize.cpp (modified) * src/GenPoly/Specialize.hpp (moved) * src/GenPoly/module.mk (modified) * src/InitTweak/FixGlobalInit.cpp (moved) * src/InitTweak/FixGlobalInit.hpp (moved) * src/InitTweak/FixInit.cpp (modified) * src/InitTweak/FixInit.hpp (moved) * src/InitTweak/GenInit.cpp (moved) * src/InitTweak/GenInit.hpp (moved) * src/InitTweak/InitTweak.cpp (moved) * src/InitTweak/InitTweak.hpp (moved) * src/InitTweak/module.mk (modified) * src/MakeLibCfa.cpp (modified) * src/Makefile.am (modified) * src/Parser/DeclarationNode.cpp (moved) * src/Parser/DeclarationNode.hpp (moved) * src/Parser/ExpressionNode.cpp (moved) * src/Parser/ExpressionNode.hpp (moved) * src/Parser/InitializerNode.cpp (moved) * src/Parser/InitializerNode.hpp (moved) * src/Parser/ParseNode.cpp (moved) * src/Parser/ParseNode.hpp (moved) * src/Parser/ParserTypes.hpp (moved) * src/Parser/ParserUtility.hpp (moved) * src/Parser/RunParser.cpp (modified) * src/Parser/StatementNode.cpp (moved) * src/Parser/StatementNode.hpp (moved) * src/Parser/TypeData.cpp (moved) * src/Parser/TypeData.hpp (moved) * src/Parser/TypedefTable.cpp (moved) * src/Parser/TypedefTable.hpp (moved) * src/Parser/lex.ll (modified) * src/Parser/module.mk (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/AdjustExprType.cpp (moved) * src/ResolvExpr/Candidate.hpp (modified) * src/ResolvExpr/CandidateFinder.cpp (modified) * src/ResolvExpr/CandidatePrinter.cpp (modified) * src/ResolvExpr/CastCost.cpp (moved) * src/ResolvExpr/CastCost.hpp (modified) * src/ResolvExpr/CommonType.cpp (moved) * src/ResolvExpr/CommonType.hpp (modified) * src/ResolvExpr/ConversionCost.cpp (moved) * src/ResolvExpr/ConversionCost.hpp (moved) * src/ResolvExpr/Cost.hpp (moved) * src/ResolvExpr/CurrentObject.cpp (moved) * src/ResolvExpr/CurrentObject.hpp (moved) * src/ResolvExpr/ExplodedArg.cpp (modified) * src/ResolvExpr/ExplodedArg.hpp (modified) * src/ResolvExpr/FindOpenVars.cpp (moved) * src/ResolvExpr/FindOpenVars.hpp (moved) * src/ResolvExpr/PolyCost.cpp (moved) * src/ResolvExpr/PtrsAssignable.cpp (moved) * src/ResolvExpr/PtrsCastable.cpp (moved) * src/ResolvExpr/RenameVars.cpp (moved) * src/ResolvExpr/RenameVars.hpp (moved) * src/ResolvExpr/ResolveTypeof.cpp (moved) * src/ResolvExpr/ResolveTypeof.hpp (moved) * src/ResolvExpr/Resolver.cpp (moved) * src/ResolvExpr/Resolver.hpp (moved) * src/ResolvExpr/SatisfyAssertions.cpp (modified) * src/ResolvExpr/SpecCost.cpp (moved) * src/ResolvExpr/Typeops.hpp (moved) * src/ResolvExpr/Unify.cpp (moved) * src/ResolvExpr/Unify.hpp (moved) * src/ResolvExpr/WidenMode.hpp (moved) * src/ResolvExpr/module.mk (modified) * src/SymTab/Demangle.cpp (moved) * src/SymTab/Demangle.hpp (moved) * src/SymTab/FixFunction.cpp (moved) * src/SymTab/FixFunction.hpp (moved) * src/SymTab/GenImplicitCall.cpp (modified) * src/SymTab/GenImplicitCall.hpp (modified) * src/SymTab/Mangler.cpp (moved) * src/SymTab/Mangler.hpp (moved) * src/SymTab/ManglerCommon.cpp (moved) * src/SymTab/demangler.cpp (moved) * src/SymTab/module.mk (modified) * src/Tuples/Explode.cpp (moved) * src/Tuples/Explode.hpp (moved) * src/Tuples/TupleAssignment.cpp (moved) * src/Tuples/TupleExpansion.cpp (modified) * src/Tuples/Tuples.cpp (moved) * src/Tuples/Tuples.hpp (moved) * src/Tuples/module.mk (modified) * src/Validate/Autogen.cpp (modified) * src/Validate/CompoundLiteral.cpp (modified) * src/Validate/EliminateTypedef.cpp (modified) * src/Validate/EnumAndPointerDecay.cpp (modified) * src/Validate/FindSpecialDecls.cpp (modified) * src/Validate/FindSpecialDecls.hpp (moved) * src/Validate/FixQualifiedTypes.cpp (modified) * src/Validate/FixReturnTypes.cpp (modified) * src/Validate/ForallPointerDecay.cpp (modified) * src/Validate/ImplementEnumFunc.cpp (modified) * src/Validate/ReplacePseudoFunc.hpp (deleted) * src/Validate/ReplaceTypedef.cpp (modified) * src/Validate/VerifyCtorDtorAssign.cpp (modified) * src/Validate/module.mk (modified) * src/Virtual/ExpandCasts.cpp (moved) * src/Virtual/ExpandCasts.hpp (moved) * src/Virtual/Tables.cpp (moved) * src/Virtual/Tables.hpp (moved) * src/Virtual/module.mk (modified) * src/include/cassert (modified) * src/include/optional (modified) * src/main.cpp (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Mon, 13 May 2024 14:26:52 GMT JiadaL [acb33f15] * doc/theses/jiada_liang_MMath/CFAenum.tex (modified) * src/AST/Fwd.hpp (modified) * src/AST/Pass.hpp (modified) * src/AST/Pass.impl.hpp (modified) * src/AST/Print.cpp (modified) * src/AST/Type.hpp (modified) * src/AST/Visitor.hpp (modified) * src/CodeGen/GenType.cc (modified) * src/Common/CodeLocationTools.cpp (modified) * src/ResolvExpr/CandidateFinder.cpp (modified) * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/ResolvExpr/ConversionCost.h (modified) * src/ResolvExpr/Unify.cc (modified) * src/SymTab/Mangler.cc (modified) * src/Validate/ImplementEnumFunc.cpp (modified) Change enum conversion steps Mon, 13 May 2024 00:42:31 GMT Peter A. Buhr [ec20ab9] * doc/theses/jiada_liang_MMath/CFAenum.tex (modified) * doc/theses/jiada_liang_MMath/background.tex (modified) * doc/theses/jiada_liang_MMath/intro.tex (modified) * doc/theses/jiada_liang_MMath/relatedwork.tex (modified) small updates, and more proofreading of the related-works chapter Fri, 03 May 2024 13:33:58 GMT Peter A. Buhr [d69f7114] * doc/theses/jiada_liang_MMath/CFAenum.tex (modified) * doc/theses/jiada_liang_MMath/relatedwork.tex (modified) proofread section Enumeration Trait, and a few other wording changes Wed, 01 May 2024 20:13:37 GMT JiadaL [d414664] * doc/theses/jiada_liang_MMath/CFAenum.tex (modified) Update writing part for enum trait Wed, 01 May 2024 17:36:04 GMT JiadaL [35897fb] * doc/theses/jiada_liang_MMath/CFAenum.tex (modified) * doc/theses/jiada_liang_MMath/background.tex (modified) * doc/theses/jiada_liang_MMath/intro.tex (modified) * doc/theses/jiada_liang_MMath/relatedwork.tex (modified) * doc/theses/jiada_liang_MMath/uw-ethesis-frontpgs.tex (modified) * doc/theses/jiada_liang_MMath/uw-ethesis.tex (modified) * src/Validate/HoistStruct.cpp (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Wed, 01 May 2024 17:35:48 GMT JiadaL [de3a579] * doc/theses/jiada_liang_MMath/CFAenum.tex (modified) Add trait subsection Tue, 30 Apr 2024 16:08:24 GMT Peter A. Buhr [caaf424] * doc/theses/jiada_liang_MMath/CFAenum.tex (modified) * doc/theses/jiada_liang_MMath/background.tex (modified) * doc/theses/jiada_liang_MMath/intro.tex (modified) * doc/theses/jiada_liang_MMath/relatedwork.tex (modified) * doc/theses/jiada_liang_MMath/uw-ethesis-frontpgs.tex (modified) * doc/theses/jiada_liang_MMath/uw-ethesis.tex (modified) remove glossary macros, switch back to newterm marco from Newterm, ... Sun, 28 Apr 2024 19:49:00 GMT Peter A. Buhr [f632117] * doc/theses/jiada_liang_MMath/CFAenum.tex (modified) * doc/theses/jiada_liang_MMath/background.tex (modified) * doc/theses/jiada_liang_MMath/intro.tex (modified) * doc/theses/jiada_liang_MMath/relatedwork.tex (modified) more proofreading on enumeration chapters Fri, 19 Apr 2024 02:23:34 GMT Peter A. Buhr [4da9142] * doc/theses/jiada_liang_MMath/CFAenum.tex (modified) * doc/theses/jiada_liang_MMath/background.tex (modified) * doc/theses/jiada_liang_MMath/intro.tex (modified) * doc/theses/jiada_liang_MMath/relatedwork.tex (modified) more proofreading on enumerations Fri, 22 Mar 2024 01:34:28 GMT Peter A. Buhr [7d9a805b] * doc/theses/jiada_liang_MMath/CFAenum.tex (modified) * doc/theses/jiada_liang_MMath/background.tex (modified) * doc/theses/jiada_liang_MMath/implementation.tex (modified) * doc/theses/jiada_liang_MMath/intro.tex (modified) * doc/theses/jiada_liang_MMath/relatedwork.tex (modified) more proofreading for enumerations Tue, 12 Mar 2024 02:41:33 GMT Peter A. Buhr [282061a] * doc/theses/jiada_liang_MMath/CFAenum.tex (modified) * doc/theses/jiada_liang_MMath/relatedwork.tex (modified) * doc/theses/jiada_liang_MMath/uw-ethesis.tex (modified) update OCaml text Fri, 16 Feb 2024 18:26:46 GMT Peter A. Buhr [f9da761] * doc/theses/jiada_liang_MMath/CFAenum.tex (modified) * doc/theses/jiada_liang_MMath/background.tex (modified) * doc/theses/jiada_liang_MMath/implementation.tex (modified) * doc/theses/jiada_liang_MMath/intro.tex (modified) * doc/theses/jiada_liang_MMath/uw-ethesis-frontpgs.tex (modified) change text to use macros \eg amd \ie Thu, 08 Feb 2024 15:48:41 GMT Peter A. Buhr [956299b] * doc/theses/jiada_liang_MMath/CFAenum.tex (added) * doc/theses/jiada_liang_MMath/background.tex (modified) * doc/theses/jiada_liang_MMath/content1.tex (deleted) * doc/theses/jiada_liang_MMath/content2.tex (deleted) * doc/theses/jiada_liang_MMath/implementation.tex (added) * doc/theses/jiada_liang_MMath/intro.tex (modified) * doc/theses/jiada_liang_MMath/relatedwork.tex (added) * doc/theses/jiada_liang_MMath/uw-ethesis-frontpgs.tex (modified) * doc/theses/jiada_liang_MMath/uw-ethesis.tex (modified) copy enum proposal to enum thesis