# # ChangeLog for doc/theses/jiada_liang_MMath # # Generated by Trac 1.2.1 # Jul 18, 2024, 12:11:28 PM Mon, 15 Jul 2024 17:57:15 GMT JiadaL [09dd830] * doc/theses/jiada_liang_MMath/CFAenum.tex (modified) grammar fixed by a dsoftware Mon, 15 Jul 2024 17:33:18 GMT JiadaL [dc1c430] * doc/theses/jiada_liang_MMath/CFAenum.tex (modified) update CFAenum.tex Tue, 02 Jul 2024 18:33:25 GMT Peter A. Buhr [c40a982] * doc/theses/jiada_liang_MMath/test1.cfa (modified) change enumeration posE to posn Tue, 02 Jul 2024 18:32:22 GMT Peter A. Buhr [7f8c232] * doc/theses/jiada_liang_MMath/test2.cfa (modified) formatting Fri, 28 Jun 2024 22:12:51 GMT Peter A. Buhr [62a38e7] * doc/theses/jiada_liang_MMath/CFAenum.tex (modified) * doc/theses/jiada_liang_MMath/test2.cfa (modified) remove calls to label() from planet program Tue, 25 Jun 2024 17:21:58 GMT Peter A. Buhr [d96d4f0] * doc/theses/jiada_liang_MMath/relatedwork.tex (modified) corrections to Pascal discussion Tue, 25 Jun 2024 16:09:24 GMT Peter A. Buhr [f3b67b6] * doc/theses/jiada_liang_MMath/test.ml (modified) * doc/theses/jiada_liang_MMath/test.pas (added) * doc/theses/jiada_liang_MMath/test2.cfa (modified) update test programs for different program languages Tue, 25 Jun 2024 16:05:53 GMT Peter A. Buhr [41f4e2d] * doc/theses/jiada_liang_MMath/relatedwork.tex (modified) update Pascal enumeration Tue, 25 Jun 2024 16:04:59 GMT Peter A. Buhr [29092213] * doc/theses/jiada_liang_MMath/CFAenum.tex (modified) update planet example program Wed, 19 Jun 2024 19:20:39 GMT JiadaL [525f7ad] * doc/theses/jiada_liang_MMath/planet.cfa (added) * libcfa/src/enum.cfa (modified) * libcfa/src/enum.hfa (modified) * src/AST/Expr.cpp (modified) * src/AST/Expr.hpp (modified) * src/AST/Fwd.hpp (modified) * src/AST/Pass.hpp (modified) * src/AST/Pass.impl.hpp (modified) * src/AST/Print.cpp (modified) * src/AST/Stmt.hpp (modified) * src/AST/Visitor.hpp (modified) * src/Common/CodeLocationTools.cpp (modified) * src/ControlStruct/module.mk (modified) * src/Parser/StatementNode.cpp (modified) * src/Parser/StatementNode.hpp (modified) * src/Parser/lex.ll (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/CandidateFinder.cpp (modified) * src/main.cpp (modified) 1. Add __count_e__( enum_name ), a pseudo function that return the ... Thu, 13 Jun 2024 19:24:35 GMT Peter A. Buhr [1725989] * doc/theses/jiada_liang_MMath/test.adb (added) * doc/theses/jiada_liang_MMath/test.c (added) * doc/theses/jiada_liang_MMath/test.cc (added) * doc/theses/jiada_liang_MMath/test.cfa (added) * doc/theses/jiada_liang_MMath/test.go (added) * doc/theses/jiada_liang_MMath/test.hs (added) * doc/theses/jiada_liang_MMath/test.java (added) * doc/theses/jiada_liang_MMath/test.ml (added) * doc/theses/jiada_liang_MMath/test.py (added) * doc/theses/jiada_liang_MMath/test.rs (added) * doc/theses/jiada_liang_MMath/test.swift (added) * doc/theses/jiada_liang_MMath/test1.c (added) * doc/theses/jiada_liang_MMath/test1.cc (added) * doc/theses/jiada_liang_MMath/test1.cfa (added) * doc/theses/jiada_liang_MMath/test1.hs (added) * doc/theses/jiada_liang_MMath/test1.java (added) * doc/theses/jiada_liang_MMath/test1.ml (added) * doc/theses/jiada_liang_MMath/test1.rs (added) * doc/theses/jiada_liang_MMath/test2.cc (added) * doc/theses/jiada_liang_MMath/test2.cfa (added) * doc/theses/jiada_liang_MMath/test2.rs (added) * doc/theses/jiada_liang_MMath/test20.cfa (added) * doc/theses/jiada_liang_MMath/test3.cfa (added) * doc/theses/jiada_liang_MMath/testP1.java (added) * doc/theses/jiada_liang_MMath/testP2.java (added) * doc/theses/jiada_liang_MMath/testP3.java (added) add enumeration test programs for different programming languages 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 Wed, 12 Jun 2024 13:19:14 GMT Peter A. Buhr [c033405] * doc/theses/jiada_liang_MMath/relatedwork.tex (modified) first complete proofread of related-work chapter, still needs ... Wed, 12 Jun 2024 13:16:50 GMT Peter A. Buhr [736a38d] * doc/theses/jiada_liang_MMath/background.tex (modified) more proofreading of C background chapter Wed, 12 Jun 2024 13:14:47 GMT Peter A. Buhr [4c8f29ff] * doc/theses/jiada_liang_MMath/intro.tex (modified) address Gregor's comment about quantity and a unit in examples, add ... Wed, 12 Jun 2024 13:09:12 GMT Peter A. Buhr [3eb5f993] * doc/theses/jiada_liang_MMath/uw-ethesis.tex (modified) add missing keywords match and case to Python lstnewenvironment Mon, 20 May 2024 00:07:22 GMT JiadaL [e6f1a4b] * doc/proposals/autogen.md (added) * doc/theses/jiada_liang_MMath/background.tex (modified) * doc/theses/jiada_liang_MMath/intro.tex (modified) * doc/theses/jiada_liang_MMath/relatedwork.tex (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Tue, 14 May 2024 22:17:44 GMT Peter A. Buhr [41c4b5e] * doc/theses/jiada_liang_MMath/background.tex (modified) * doc/theses/jiada_liang_MMath/relatedwork.tex (modified) updates related to introduction chapter changes Tue, 14 May 2024 22:14:11 GMT Peter A. Buhr [ccfbfd9] * doc/theses/jiada_liang_MMath/intro.tex (modified) more proofreading with respect to Gregor's comments 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 Thu, 25 Apr 2024 19:43:35 GMT Peter A. Buhr [314c9d8] * doc/theses/jiada_liang_MMath/intro.tex (modified) more proofreading on introduction chapter (discussion of ADT) Thu, 25 Apr 2024 19:42:09 GMT Peter A. Buhr [566cc33] * doc/theses/jiada_liang_MMath/background.tex (modified) * doc/theses/jiada_liang_MMath/relatedwork.tex (modified) * doc/theses/jiada_liang_MMath/uw-ethesis.tex (modified) move all lstnewenvironment macros to central location in uw- ethesis.tex 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, 19 Apr 2024 02:20:30 GMT Peter A. Buhr [c148966] * doc/theses/jiada_liang_MMath/Makefile (modified) documentation Fri, 19 Apr 2024 02:19:38 GMT Peter A. Buhr [2a27998] * doc/theses/jiada_liang_MMath/uw-ethesis.bib (modified) add citation from OED for enumerate Tue, 26 Mar 2024 17:06:38 GMT JiadaL [84886499] * doc/theses/jiada_liang_MMath/relatedwork.tex (modified) Small update Tue, 26 Mar 2024 08:47:29 GMT JiadaL [d734fa1] * doc/theses/jiada_liang_MMath/relatedwork.tex (modified) Comment on relatedwork work Mon, 25 Mar 2024 13:02:18 GMT Peter A. Buhr [41fb996] * doc/theses/jiada_liang_MMath/intro.tex (modified) * doc/theses/jiada_liang_MMath/relatedwork.tex (modified) word smithing and poking at rust enumerations Sun, 24 Mar 2024 13:12:11 GMT Peter A. Buhr [48b76d03] * doc/theses/jiada_liang_MMath/intro.tex (modified) fine tune justification for enumerations Sat, 23 Mar 2024 23:02:11 GMT Peter A. Buhr [caf2cba] * doc/theses/jiada_liang_MMath/intro.tex (modified) justification for enumerations Sat, 23 Mar 2024 23:01:05 GMT Peter A. Buhr [e00b10d] * doc/theses/jiada_liang_MMath/relatedwork.tex (modified) added Gregor and Andrew emails 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 Wed, 13 Mar 2024 15:52:35 GMT Peter A. Buhr [223b631] * doc/theses/jiada_liang_MMath/relatedwork.tex (modified) add comparison table for related work Wed, 13 Mar 2024 15:31:29 GMT Peter A. Buhr [6337916] * doc/theses/jiada_liang_MMath/relatedwork.tex (modified) fold in Gregor's comments on OCaml Tue, 12 Mar 2024 22:08:15 GMT Peter A. Buhr [56a8eb8] * doc/theses/jiada_liang_MMath/relatedwork.tex (modified) more updates on OCaml Tue, 12 Mar 2024 19:14:47 GMT Peter A. Buhr [423c0cd] * doc/theses/jiada_liang_MMath/relatedwork.tex (modified) more updates on OCaml Tue, 12 Mar 2024 17:57:50 GMT Peter A. Buhr [9a32903] * doc/bibliography/pl.bib (modified) * doc/theses/jiada_liang_MMath/relatedwork.tex (modified) update OCaml text and add OCaml citation 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 Mon, 11 Mar 2024 18:22:19 GMT JiadaL [6c8b76b] * doc/theses/jiada_liang_MMath/relatedwork.tex (modified) Fix ocaml code Mon, 11 Mar 2024 09:09:25 GMT JiadaL [9398177] * doc/theses/jiada_liang_MMath/relatedwork.tex (modified) Add OCamal section to related work Mon, 04 Mar 2024 23:09:26 GMT Peter A. Buhr [9262fe9] * doc/theses/jiada_liang_MMath/relatedwork.tex (modified) more proofreading for enumeration related-work Fri, 01 Mar 2024 16:14:23 GMT Peter A. Buhr [1d5e5601] * doc/theses/jiada_liang_MMath/relatedwork.tex (modified) more proofreading on the enumeration related-work section Wed, 28 Feb 2024 16:59:34 GMT Peter A. Buhr [924534e] * doc/theses/jiada_liang_MMath/relatedwork.tex (modified) more proofreading on the enumeration related-work section Sun, 25 Feb 2024 23:13:37 GMT Peter A. Buhr [022bce0] * doc/LaTeXmacros/common.sty (modified) * doc/LaTeXmacros/common.tex (modified) * doc/bibliography/pl.bib (modified) * doc/theses/jiada_liang_MMath/intro.tex (modified) * doc/theses/jiada_liang_MMath/relatedwork.tex (modified) more proofreading on enumeration thesis Thu, 22 Feb 2024 16:44:38 GMT Peter A. Buhr [7bb516f] * doc/theses/jiada_liang_MMath/background.tex (modified) * doc/theses/jiada_liang_MMath/implementation.tex (modified) * doc/theses/jiada_liang_MMath/relatedwork.tex (modified) * doc/theses/jiada_liang_MMath/uw-ethesis.tex (modified) more proofreading on enumeration thesis Fri, 16 Feb 2024 18:27:45 GMT Peter A. Buhr [38f5006] * doc/theses/jiada_liang_MMath/relatedwork.tex (modified) update related work for Ada and Golang 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 Tue, 13 Feb 2024 21:10:20 GMT Peter A. Buhr [f936e23] * doc/theses/jiada_liang_MMath/relatedwork.tex (modified) add more text to related-work chapter Tue, 13 Feb 2024 21:09:20 GMT Peter A. Buhr [acde87a] * doc/theses/jiada_liang_MMath/uw-ethesis.tex (modified) remove unnecessary latex macros 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 Mon, 16 Oct 2023 17:39:07 GMT JiadaL [6bd9f9e] * doc/proposals/enum.tex (moved) Rename and move the file to proposal Mon, 16 Oct 2023 17:16:26 GMT JiadaL [bab2917] * doc/theses/jiada_liang_MMath/main.tex (modified) Update the introduction Fri, 13 Oct 2023 23:13:00 GMT JiadaL [85034ed] * doc/theses/jiada_liang_MMath/main.tex (added) Initial commit Wed, 16 Aug 2023 03:22:20 GMT Peter A. Buhr [18ebc28] * doc/theses/jiada_liang_MMath/.gitignore (added) * doc/theses/jiada_liang_MMath/Makefile (added) * doc/theses/jiada_liang_MMath/background.tex (added) * doc/theses/jiada_liang_MMath/benchmarks.tex (added) * doc/theses/jiada_liang_MMath/conclusion.tex (added) * doc/theses/jiada_liang_MMath/content1.tex (added) * doc/theses/jiada_liang_MMath/content2.tex (added) * doc/theses/jiada_liang_MMath/glossary.tex (added) * doc/theses/jiada_liang_MMath/intro.tex (added) * doc/theses/jiada_liang_MMath/performance.tex (added) * doc/theses/jiada_liang_MMath/uw-ethesis-frontpgs.tex (added) * doc/theses/jiada_liang_MMath/uw-ethesis.bib (added) * doc/theses/jiada_liang_MMath/uw-ethesis.tex (added) create MMath thesis macros for Jiada