#
# ChangeLog for src/ResolvExpr/CandidateFinder.cpp
#
# Generated by Trac 1.2.1
# May 13, 2024, 11:25:03 PM

Fri, 16 Sep 2022 15:19:04 GMT Thierry Delisle <tdelisle@…> [09f34a84]
	* driver/cfa.cc (modified)
	* src/AST/Print.cpp (modified)
	* src/AST/Type.cpp (modified)
	* src/Concurrency/Keywords.cc (modified)
	* src/Parser/parser.yy (modified)
	* src/ResolvExpr/CandidateFinder.cpp (modified)
	* src/main.cc (modified)

	Remove some of the warnings on the new clang


Mon, 25 Jul 2022 18:23:28 GMT Fangren Yu <f37yu@…> [ffec1bf]
	* Jenkins/FullBuild (modified)
	* Jenkinsfile (modified)
	* Makefile.am (modified)
	* benchmark/readyQ/churn.cfa (modified)
	* benchmark/readyQ/cycle.cfa (modified)
	* benchmark/readyQ/cycle.cpp (modified)
	* benchmark/readyQ/locality.cfa (modified)
	* benchmark/readyQ/locality.cpp (modified)
	* benchmark/readyQ/yield.cfa (modified)
	* benchmark/readyQ/yield.cpp (modified)
	* doc/bibliography/pl.bib (modified)
	* doc/theses/mike_brooks_MMath/array.tex (modified)
	* doc/theses/thierry_delisle_PhD/thesis/.gitignore (modified)
	* doc/theses/thierry_delisle_PhD/thesis/Makefile (modified)
	* doc/theses/thierry_delisle_PhD/thesis/fig/MQMS.fig (added)
	* doc/theses/thierry_delisle_PhD/thesis/fig/MQMSG.fig (added)
	* doc/theses/thierry_delisle_PhD/thesis/fig/SAVE.fig (deleted)
	* doc/theses/thierry_delisle_PhD/thesis/fig/SQMS.fig (added)
	* doc/theses/thierry_delisle_PhD/thesis/fig/base.fig (modified)
	* doc/theses/thierry_delisle_PhD/thesis/fig/base_avg.fig (modified)
	* doc/theses/thierry_delisle_PhD/thesis/fig/base_ts2.fig (added)
	* doc/theses/thierry_delisle_PhD/thesis/fig/cache-noshare.fig (modified)
	* doc/theses/thierry_delisle_PhD/thesis/fig/cache-share.fig (modified)
	* doc/theses/thierry_delisle_PhD/thesis/fig/cycle.fig (modified)
	* doc/theses/thierry_delisle_PhD/thesis/fig/executionStates.fig (added)
	* doc/theses/thierry_delisle_PhD/thesis/fig/idle.fig (modified)
	* doc/theses/thierry_delisle_PhD/thesis/fig/idle1.fig (modified)
	* doc/theses/thierry_delisle_PhD/thesis/fig/idle2.fig (modified)
	* doc/theses/thierry_delisle_PhD/thesis/fig/idle_state.fig (modified)
	* doc/theses/thierry_delisle_PhD/thesis/fig/io_uring.fig (modified)
	* doc/theses/thierry_delisle_PhD/thesis/fig/system.fig (modified)
	* doc/theses/thierry_delisle_PhD/thesis/local.bib (modified)
	* doc/theses/thierry_delisle_PhD/thesis/text/core.tex (modified)
	* doc/theses/thierry_delisle_PhD/thesis/text/eval_micro.tex (modified)
	* doc/theses/thierry_delisle_PhD/thesis/text/existing.tex (modified)
	* doc/theses/thierry_delisle_PhD/thesis/text/intro.tex (modified)
	* doc/theses/thierry_delisle_PhD/thesis/text/io.tex (modified)
	* doc/theses/thierry_delisle_PhD/thesis/text/practice.tex (modified)
	* doc/theses/thierry_delisle_PhD/thesis/text/runtime.tex (modified)
	* doc/theses/thierry_delisle_PhD/thesis/thesis.tex (modified)
	* libcfa/Makefile.am (modified)
	* libcfa/configure.ac (modified)
	* libcfa/src/Makefile.am (modified)
	* libcfa/src/concurrency/kernel/fwd.hfa (modified)
	* libcfa/src/concurrency/locks.cfa (modified)
	* libcfa/src/concurrency/locks.hfa (modified)
	* libcfa/src/concurrency/ready_subqueue.hfa (modified)
	* libcfa/src/heap.cfa (modified)
	* src/AST/Convert.cpp (modified)
	* src/AST/Decl.hpp (modified)
	* src/AST/Expr.cpp (modified)
	* src/AST/Inspect.cpp (added)
	* src/AST/Inspect.hpp (added)
	* src/AST/Pass.impl.hpp (modified)
	* src/AST/module.mk (modified)
	* src/CodeGen/CodeGenerator.cc (modified)
	* src/CodeGen/CodeGenerator.h (modified)
	* src/CodeGen/FixNames.cc (modified)
	* src/CodeGen/FixNames.h (modified)
	* src/CodeGen/GenType.cc (modified)
	* src/Common/Eval.cc (modified)
	* src/Common/ResolvProtoDump.cpp (modified)
	* src/Concurrency/Keywords.h (modified)
	* src/ControlStruct/ExceptDecl.cc (modified)
	* src/ControlStruct/ExceptDecl.h (modified)
	* src/ControlStruct/ExceptDeclNew.cpp (added)
	* src/ControlStruct/HoistControlDecls.hpp (modified)
	* src/ControlStruct/MultiLevelExit.cpp (modified)
	* src/ControlStruct/module.mk (modified)
	* src/GenPoly/Box.cc (modified)
	* src/GenPoly/GenPoly.cc (modified)
	* src/InitTweak/GenInit.cc (modified)
	* src/InitTweak/GenInit.h (modified)
	* src/Parser/lex.ll (modified)
	* src/Parser/parser.yy (modified)
	* src/ResolvExpr/CandidateFinder.cpp (modified)
	* src/ResolvExpr/CurrentObject.cc (modified)
	* src/SymTab/FixFunction.cc (modified)
	* src/SymTab/FixFunction.h (modified)
	* src/SymTab/Mangler.cc (modified)
	* src/SymTab/Validate.cc (modified)
	* src/SymTab/Validate.h (modified)
	* src/SymTab/ValidateType.cc (modified)
	* src/SynTree/AggregateDecl.cc (modified)
	* src/SynTree/Type.h (modified)
	* src/Tuples/Tuples.cc (modified)
	* src/Tuples/Tuples.h (modified)
	* src/Validate/Autogen.cpp (modified)
	* src/Validate/Autogen.hpp (modified)
	* src/Validate/CompoundLiteral.hpp (modified)
	* src/Validate/EliminateTypedef.cpp (modified)
	* src/Validate/EnumAndPointerDecay.cpp (added)
	* src/Validate/EnumAndPointerDecay.hpp (added)
	* src/Validate/FindSpecialDecls.h (modified)
	* src/Validate/FixQualifiedTypes.cpp (modified)
	* src/Validate/FixQualifiedTypes.hpp (modified)
	* src/Validate/FixReturnTypes.cpp (added)
	* src/Validate/FixReturnTypes.hpp (added)
	* src/Validate/ForallPointerDecay.hpp (modified)
	* src/Validate/GenericParameter.cpp (modified)
	* src/Validate/GenericParameter.hpp (modified)
	* src/Validate/HoistStruct.hpp (modified)
	* src/Validate/HoistTypeDecls.cpp (added)
	* src/Validate/HoistTypeDecls.hpp (added)
	* src/Validate/LabelAddressFixer.cpp (modified)
	* src/Validate/LabelAddressFixer.hpp (modified)
	* src/Validate/LinkReferenceToTypes.cpp (added)
	* src/Validate/LinkReferenceToTypes.hpp (added)
	* src/Validate/ReplaceTypedef.cpp (added)
	* src/Validate/ReplaceTypedef.hpp (added)
	* src/Validate/VerifyCtorDtorAssign.cpp (added)
	* src/Validate/VerifyCtorDtorAssign.hpp (added)
	* src/Validate/module.mk (modified)
	* src/Virtual/Tables.h (modified)
	* src/main.cc (modified)
	* tests/.expect/attributes.nast.arm64.txt (modified)
	* tests/.expect/attributes.nast.x64.txt (modified)
	* tests/.expect/attributes.nast.x86.txt (modified)
	* tests/.expect/attributes.oast.x64.txt (modified)
	* tests/alloc2.cfa (modified)
	* tests/enum.cfa (modified)
	* tests/enum_tests/structEnum.cfa (modified)
	* tests/pybin/tools.py (modified)
	* tests/unified_locking/.expect/pthread_locks.txt (modified)
	* tests/unified_locking/mutex_test.hfa (modified)
	* tests/unified_locking/pthread_locks.cfa (modified)
	* tools/gdb/utils-gdb.py (modified)

	Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc


Mon, 25 Jul 2022 18:23:00 GMT Fangren Yu <f37yu@…> [9e23b446]
	* src/AST/Pass.hpp (modified)
	* src/AST/Pass.impl.hpp (modified)
	* src/AST/SymbolTable.cpp (modified)
	* src/AST/TypeSubstitution.cpp (modified)
	* src/GenPoly/Specialize.h (modified)
	* src/GenPoly/SpecializeNew.cpp (added)
	* src/GenPoly/module.mk (modified)
	* src/InitTweak/FixInitNew.cpp (modified)
	* src/ResolvExpr/CandidateFinder.cpp (modified)
	* src/ResolvExpr/Resolver.cc (modified)
	* src/main.cc (modified)

	add specialize pass


Tue, 12 Jul 2022 19:40:38 GMT Andrew Beach <ajbeach@…> [b9f8274]
	* src/ResolvExpr/CandidateFinder.cpp (modified)
	* src/SymTab/Validate.cc (modified)
	* src/SymTab/Validate.h (modified)
	* src/main.cc (modified)

	Removed the validate sub-pass interface. This also showed an extra ...


Thu, 02 Jun 2022 08:12:53 GMT JiadaL <j82liang@…> [fc134a48]
	* src/CodeTools/ResolvProtoDump.cc (modified)
	* src/Common/ResolvProtoDump.cpp (modified)
	* src/InitTweak/GenInit.cc (modified)
	* src/ResolvExpr/CandidateFinder.cpp (modified)
	* src/ResolvExpr/CommonType.cc (modified)
	* src/ResolvExpr/ConversionCost.cc (modified)
	* src/ResolvExpr/ConversionCost.h (modified)
	* src/Validate/Autogen.cpp (modified)
	* tests/.expect/attributes.nast.x64.txt (modified)
	* tests/.expect/attributes.nast.x86.txt (modified)
	* tests/.expect/attributes.oast.x64.txt (modified)
	* tests/.expect/attributes.oast.x86.txt (modified)
	* tests/enum_tests/.expect/structEnum.txt (added)
	* tests/enum_tests/structEnum.cfa (added)

	Implement the struct enum


Wed, 16 Mar 2022 20:41:01 GMT Andrew Beach <ajbeach@…> [39d8950]
	* src/AST/Convert.cpp (modified)
	* src/AST/Fwd.hpp (modified)
	* src/AST/TranslationUnit.hpp (modified)
	* src/InitTweak/FixInitNew.cpp (modified)
	* src/ResolvExpr/CandidateFinder.cpp (modified)
	* src/ResolvExpr/CandidateFinder.hpp (modified)
	* src/ResolvExpr/CandidatePrinter.cpp (modified)
	* src/ResolvExpr/ResolveTypeof.cc (modified)
	* src/ResolvExpr/ResolveTypeof.h (modified)
	* src/ResolvExpr/Resolver.cc (modified)
	* src/ResolvExpr/Resolver.h (modified)
	* src/Tuples/TupleAssignment.cc (modified)
	* src/Validate/FindSpecialDeclsNew.cpp (modified)

	Thread global information through resolution. Non-top-level calls to ...


Mon, 05 Jul 2021 20:57:41 GMT Thierry Delisle <tdelisle@…> [7f62b708]
	* src/Concurrency/Waitfor.cc (modified)
	* src/ResolvExpr/AlternativeFinder.cc (modified)
	* src/ResolvExpr/CandidateFinder.cpp (modified)

	Step 2 of $thread to thread$ Missed some of the source


Thu, 01 Jul 2021 16:13:36 GMT Thierry Delisle <tdelisle@…> [943bfad]
	* src/AST/Node.cpp (modified)
	* src/GenPoly/GenPoly.cc (modified)
	* src/ResolvExpr/CandidateFinder.cpp (modified)
	* src/ResolvExpr/Unify.cc (modified)
	* src/SymTab/Validate.cc (modified)
	* src/SynTree/AggregateDecl.cc (modified)
	* src/SynTree/ReferenceToType.cc (modified)

	Fixed several warnings for clang@head


Wed, 23 Dec 2020 21:45:08 GMT Fangren Yu <f37yu@…> [0536c03]
	* src/ResolvExpr/CandidateFinder.cpp (modified)
	* src/ResolvExpr/ResolvMode.h (modified)

	remove unnecessary prune


Wed, 16 Dec 2020 19:43:12 GMT Fangren Yu <f37yu@…> [3e5dd913]
	* src/AST/Convert.cpp (modified)
	* src/AST/Decl.cpp (modified)
	* src/AST/Decl.hpp (modified)
	* src/AST/Expr.cpp (modified)
	* src/AST/ForallSubstitutionTable.cpp (deleted)
	* src/AST/ForallSubstitutionTable.hpp (deleted)
	* src/AST/ForallSubstitutor.hpp (deleted)
	* src/AST/Pass.hpp (modified)
	* src/AST/Pass.impl.hpp (modified)
	* src/AST/Pass.proto.hpp (modified)
	* src/AST/Print.cpp (modified)
	* src/AST/SymbolTable.cpp (modified)
	* src/AST/Type.cpp (modified)
	* src/AST/Type.hpp (modified)
	* src/AST/TypeEnvironment.cpp (modified)
	* src/AST/TypeEnvironment.hpp (modified)
	* src/AST/TypeSubstitution.cpp (modified)
	* src/AST/TypeSubstitution.hpp (modified)
	* src/AST/module.mk (modified)
	* src/GenPoly/GenPoly.cc (modified)
	* src/ResolvExpr/AdjustExprType.cc (modified)
	* src/ResolvExpr/CandidateFinder.cpp (modified)
	* src/ResolvExpr/CastCost.cc (modified)
	* src/ResolvExpr/CommonType.cc (modified)
	* src/ResolvExpr/ConversionCost.cc (modified)
	* src/ResolvExpr/FindOpenVars.cc (modified)
	* src/ResolvExpr/PolyCost.cc (modified)
	* src/ResolvExpr/PtrsAssignable.cc (modified)
	* src/ResolvExpr/PtrsCastable.cc (modified)
	* src/ResolvExpr/RenameVars.cc (modified)
	* src/ResolvExpr/RenameVars.h (modified)
	* src/ResolvExpr/ResolveTypeof.cc (modified)
	* src/ResolvExpr/Resolver.cc (modified)
	* src/ResolvExpr/SatisfyAssertions.cpp (modified)
	* src/ResolvExpr/Unify.cc (modified)
	* src/SymTab/Mangler.cc (modified)
	* src/SymTab/Validate.cc (modified)
	* src/Tuples/TupleAssignment.cc (modified)
	* tests/errors/.expect/completeType.nast.x64.txt (modified)
	* tests/errors/.expect/completeType.nast.x86.txt (modified)
	* tests/raii/.expect/ctor-autogen-ERR1.nast.txt (modified)

	reimplement function type and eliminate deep copy


Sat, 12 Dec 2020 04:20:45 GMT Fangren Yu <f37yu@…> [361bf01]
	* src/AST/Convert.cpp (modified)
	* src/AST/ForallSubstitutor.hpp (modified)
	* src/AST/Pass.hpp (modified)
	* src/AST/Pass.impl.hpp (modified)
	* src/AST/Pass.proto.hpp (modified)
	* src/AST/Print.cpp (modified)
	* src/AST/Type.cpp (modified)
	* src/AST/Type.hpp (modified)
	* src/AST/TypeEnvironment.cpp (modified)
	* src/AST/TypeEnvironment.hpp (modified)
	* src/AST/TypeSubstitution.cpp (modified)
	* src/AST/TypeSubstitution.hpp (modified)
	* src/GenPoly/GenPoly.cc (modified)
	* src/ResolvExpr/CandidateFinder.cpp (modified)
	* src/ResolvExpr/CastCost.cc (modified)
	* src/ResolvExpr/RenameVars.cc (modified)
	* src/ResolvExpr/Resolver.cc (modified)
	* src/ResolvExpr/Unify.cc (modified)
	* src/SymTab/Mangler.cc (modified)
	* src/SymTab/Validate.cc (modified)

	remove ParameterizedType and put content into FunctionType


Fri, 27 Nov 2020 00:31:23 GMT Fangren Yu <f37yu@…> [e3282fe]
	* src/ResolvExpr/CandidateFinder.cpp (modified)

	optimize out some mangle calls


Thu, 26 Nov 2020 23:52:32 GMT Fangren Yu <f37yu@…> [88a0ff6]
	* benchmark/readyQ/cycle.go (modified)
	* doc/theses/andrew_beach_MMath/Makefile (modified)
	* doc/theses/andrew_beach_MMath/cfalab.sty (modified)
	* doc/theses/andrew_beach_MMath/existing.tex (added)
	* doc/theses/andrew_beach_MMath/thesis.tex (modified)
	* libcfa/src/bits/collection.hfa (added)
	* libcfa/src/bits/queue.hfa (added)
	* libcfa/src/bits/queue_example.cfa (added)
	* libcfa/src/bits/sequence.hfa (added)
	* libcfa/src/bits/sequence_example.cfa (added)
	* libcfa/src/bits/stack.hfa (added)
	* libcfa/src/bits/stack_example.cfa (added)
	* src/AST/Decl.hpp (modified)
	* src/AST/Type.hpp (modified)
	* src/ResolvExpr/CandidateFinder.cpp (modified)
	* src/SymTab/Mangler.cc (modified)
	* tools/busy (deleted)
	* tools/error (deleted)
	* tools/watchdog (deleted)

	Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc


Thu, 26 Nov 2020 23:52:03 GMT Fangren Yu <f37yu@…> [1389810]
	* src/ResolvExpr/AlternativeFinder.cc (modified)
	* src/ResolvExpr/CandidateFinder.cpp (modified)
	* src/ResolvExpr/CandidateFinder.hpp (modified)
	* src/ResolvExpr/ResolvMode.h (modified)
	* src/ResolvExpr/SatisfyAssertions.hpp (modified)

	consolidate prune and satisfy assertion


Wed, 25 Nov 2020 15:04:05 GMT Andrew Beach <ajbeach@…> [0292aa4]
	* src/AST/Decl.hpp (modified)
	* src/AST/Type.hpp (modified)
	* src/ResolvExpr/CandidateFinder.cpp (modified)

	Fixed some formating/cleanlyness mistakes.


Wed, 25 Nov 2020 08:14:30 GMT Fangren Yu <f37yu@…> [4702a2c]
	* benchmark/plot.py (added)
	* libcfa/src/concurrency/kernel.cfa (modified)
	* src/AST/Expr.hpp (modified)
	* src/InitTweak/FixInit.h (modified)
	* src/Parser/ParseNode.h (modified)
	* src/ResolvExpr/CandidateFinder.cpp (modified)
	* src/ResolvExpr/Resolver.h (modified)
	* tests/.expect/KRfunctions.nast.x64.txt (added)
	* tests/.expect/KRfunctions.oast.x64.txt (moved)
	* tests/.expect/alloc-ERROR.nast.txt (added)
	* tests/.expect/alloc-ERROR.oast.txt (moved)
	* tests/.expect/attributes.nast.x64.txt (added)
	* tests/.expect/attributes.oast.x64.txt (moved)
	* tests/.expect/functions.nast.x64.txt (added)
	* tests/.expect/functions.oast.x64.txt (moved)
	* tests/.expect/init1-ERROR.nast.txt (added)
	* tests/.expect/init1-ERROR.oast.txt (moved)
	* tests/errors/.expect/completeType.nast.x64.txt (added)
	* tests/errors/.expect/completeType.oast.x64.txt (moved)
	* tests/raii/.expect/ctor-autogen-ERR1.nast.txt (added)
	* tests/raii/.expect/ctor-autogen-ERR1.oast.txt (moved)
	* tests/raii/.expect/memberCtors-ERR1.nast.txt (added)
	* tests/raii/.expect/memberCtors-ERR1.oast.txt (moved)
	* tests/warnings/.expect/self-assignment.nast.txt (added)
	* tests/warnings/.expect/self-assignment.oast.txt (moved)

	Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc


Wed, 25 Nov 2020 08:12:17 GMT Fangren Yu <f37yu@…> [e5c3811]
	* src/AST/Decl.hpp (modified)
	* src/AST/SymbolTable.cpp (modified)
	* src/AST/SymbolTable.hpp (modified)
	* src/AST/Type.cpp (modified)
	* src/AST/Type.hpp (modified)
	* src/ResolvExpr/CandidateFinder.cpp (modified)
	* src/ResolvExpr/CandidateFinder.hpp (modified)
	* src/ResolvExpr/SatisfyAssertions.cpp (modified)

	create dedicated symbol tables for big 3 operators
	note: arbitrary ...


Tue, 24 Nov 2020 22:48:06 GMT Michael Brooks <mlbrooks@…> [bb87dd0]
	* src/AST/Expr.hpp (modified)
	* src/ResolvExpr/CandidateFinder.cpp (modified)
	* tests/.expect/init1-ERROR.nast.txt (modified)

	Fixing test init1-ERROR on new ast.  Applying equivalent of b81fd95, ...


Thu, 24 Sep 2020 19:56:16 GMT Fangren Yu <f37yu@…> [954c954]
	* doc/proposals/function_type_change.md (added)
	* src/AST/Convert.cpp (modified)
	* src/AST/Decl.hpp (modified)
	* src/AST/ForallSubstitutor.hpp (modified)
	* src/AST/Pass.impl.hpp (modified)
	* src/AST/SymbolTable.cpp (modified)
	* src/AST/SymbolTable.hpp (modified)
	* src/AST/Type.cpp (modified)
	* src/AST/Type.hpp (modified)
	* src/InitTweak/InitTweak.cc (modified)
	* src/ResolvExpr/CandidateFinder.cpp (modified)
	* src/ResolvExpr/CurrentObject.cc (modified)
	* src/ResolvExpr/Resolver.cc (modified)
	* src/ResolvExpr/SatisfyAssertions.cpp (modified)
	* src/ResolvExpr/SpecCost.cc (modified)
	* src/ResolvExpr/Unify.cc (modified)
	* src/SymTab/Mangler.cc (modified)
	* src/SymTab/Validate.cc (modified)

	Move function argument and return variable declarations from ...


Thu, 10 Sep 2020 15:26:58 GMT Andrew Beach <ajbeach@…> [98e8b3b]
	* src/AST/Convert.cpp (modified)
	* src/AST/Fwd.hpp (modified)
	* src/AST/GenericSubstitution.cpp (modified)
	* src/AST/Node.cpp (modified)
	* src/AST/Print.cpp (modified)
	* src/AST/SymbolTable.cpp (modified)
	* src/AST/Type.cpp (modified)
	* src/AST/Type.hpp (modified)
	* src/AST/TypeSubstitution.cpp (modified)
	* src/AST/TypeSubstitution.hpp (modified)
	* src/ResolvExpr/CandidateFinder.cpp (modified)
	* src/ResolvExpr/CurrentObject.cc (modified)
	* src/SymTab/Mangler.cc (modified)
	* src/SymTab/Validate.cc (modified)

	ast::ReferenceToType is now ast::BaseInstType.


Mon, 31 Aug 2020 17:54:40 GMT Thierry Delisle <tdelisle@…> [4ef08f7]
	* src/AST/Convert.cpp (modified)
	* src/AST/Expr.hpp (modified)
	* src/ResolvExpr/CandidateFinder.cpp (modified)
	* src/SynTree/Expression.cc (modified)
	* src/SynTree/Expression.h (modified)

	Implemented KeywordCast in CandidateFinder of new AST.


Tue, 18 Aug 2020 20:26:19 GMT Fangren Yu <f37yu@…> [ef9988b]
	* src/AST/Convert.cpp (modified)
	* src/AST/Print.cpp (modified)
	* src/AST/TypeSubstitution.hpp (modified)
	* src/ResolvExpr/CandidateFinder.cpp (modified)
	* src/ResolvExpr/Unify.cc (modified)
	* src/SynTree/Expression.cc (modified)

	fix lost typeinst in resolved assertions


Wed, 12 Aug 2020 14:31:58 GMT Andrew Beach <ajbeach@…> [7ff3e522]
	* src/AST/Copy.hpp (modified)
	* src/AST/GenericSubstitution.cpp (modified)
	* src/AST/Pass.hpp (modified)
	* src/AST/Pass.impl.hpp (modified)
	* src/AST/Pass.proto.hpp (modified)
	* src/AST/Type.cpp (modified)
	* src/AST/TypeEnvironment.cpp (modified)
	* src/AST/TypeSubstitution.cpp (modified)
	* src/AST/TypeSubstitution.hpp (modified)
	* src/Common/Eval.cc (modified)
	* src/InitTweak/InitTweak.cc (modified)
	* src/ResolvExpr/CandidateFinder.cpp (modified)
	* src/ResolvExpr/CastCost.cc (modified)
	* src/ResolvExpr/CommonType.cc (modified)
	* src/ResolvExpr/ConversionCost.cc (modified)
	* src/ResolvExpr/PolyCost.cc (modified)
	* src/ResolvExpr/PtrsAssignable.cc (modified)
	* src/ResolvExpr/PtrsCastable.cc (modified)
	* src/ResolvExpr/Resolver.cc (modified)
	* src/ResolvExpr/SpecCost.cc (modified)
	* src/ResolvExpr/Unify.cc (modified)
	* src/SymTab/FixFunction.cc (modified)
	* src/SymTab/Mangler.cc (modified)
	* src/Tuples/Explode.cc (modified)
	* src/Tuples/Tuples.cc (modified)

	{pass_t Pass::pass; => core_t Pass::core;} To avoid confusion about ...


Tue, 11 Aug 2020 21:07:56 GMT Thierry Delisle <tdelisle@…> [0d070ca]
	* src/AST/Pass.proto.hpp (modified)
	* src/AST/TypeSubstitution.cpp (modified)
	* src/ResolvExpr/CandidateFinder.cpp (modified)
	* src/ResolvExpr/CommonType.cc (modified)
	* src/ResolvExpr/ConversionCost.cc (modified)
	* src/ResolvExpr/Resolver.cc (modified)
	* src/ResolvExpr/Unify.cc (modified)

	disabled new heaptrace feature


Fri, 03 Jul 2020 20:50:21 GMT Fangren Yu <f37yu@…> [c15085d]
	* src/AST/Pass.impl.hpp (modified)
	* src/AST/Pass.proto.hpp (modified)
	* src/AST/TypeSubstitution.cpp (modified)
	* src/AST/TypeSubstitution.hpp (modified)
	* src/Common/Stats/Heap.cc (modified)
	* src/Common/Stats/Heap.h (modified)
	* src/ResolvExpr/CandidateFinder.cpp (modified)
	* src/ResolvExpr/CommonType.cc (modified)
	* src/ResolvExpr/ConversionCost.cc (modified)
	* src/ResolvExpr/ConversionCost.h (modified)
	* src/ResolvExpr/Resolver.cc (modified)
	* src/ResolvExpr/Unify.cc (modified)

	tracing memory allocation of resolver passes


Thu, 28 Nov 2019 21:31:05 GMT Thierry Delisle <tdelisle@…> [71d6bd8]
	* src/ResolvExpr/CandidateFinder.cpp (modified)
	* tests/resolutionErrors.cfa (added)

	First attempt at better errors on 'No reasonable alternatives' split ...


Fri, 04 Oct 2019 19:07:07 GMT Andrew Beach <ajbeach@…> [cf32116]
	* src/AST/Expr.cpp (modified)
	* src/AST/Expr.hpp (modified)
	* src/ResolvExpr/CandidateFinder.cpp (modified)
	* src/ResolvExpr/CandidateFinder.hpp (modified)
	* src/ResolvExpr/CastCost.cc (modified)
	* src/ResolvExpr/ConversionCost.cc (modified)
	* src/ResolvExpr/ConversionCost.h (modified)
	* src/ResolvExpr/SatisfyAssertions.cpp (modified)
	* src/ResolvExpr/SatisfyAssertions.hpp (modified)
	* src/ResolvExpr/typeops.h (modified)

	Implemented expression based lvalue resolution on new ast.


Tue, 17 Sep 2019 16:56:32 GMT Thierry Delisle <tdelisle@…> [4e13e2a]
	* benchmark/Makefile.in (modified)
	* src/AST/Expr.hpp (modified)
	* src/AST/ForallSubstitutionTable.cpp (modified)
	* src/ResolvExpr/Candidate.hpp (modified)
	* src/ResolvExpr/CandidateFinder.cpp (modified)
	* src/ResolvExpr/RenameVars.cc (modified)

	Added setting of result in Comma expression.
	Added asserts in ...


Wed, 31 Jul 2019 19:23:04 GMT Thierry Delisle <tdelisle@…> [2890212]
	* src/AST/Expr.cpp (modified)
	* src/AST/Node.hpp (modified)
	* src/AST/TypeEnvironment.hpp (modified)
	* src/AST/TypeSubstitution.cpp (modified)
	* src/AST/TypeSubstitution.hpp (modified)
	* src/ResolvExpr/CandidateFinder.cpp (modified)
	* src/ResolvExpr/CurrentObject.cc (modified)
	* src/ResolvExpr/Resolver.cc (modified)
	* src/ResolvExpr/Unify.cc (modified)

	Startup.cfa now compiles with new ast


Fri, 28 Jun 2019 19:50:21 GMT Aaron Moss <a3moss@…> [417117e]
	* src/AST/Eval.hpp (added)
	* src/AST/Expr.cpp (modified)
	* src/AST/Pass.impl.hpp (modified)
	* src/AST/TypeSubstitution.cpp (modified)
	* src/ResolvExpr/CandidateFinder.cpp (modified)
	* src/ResolvExpr/ResolveTypeof.cc (modified)
	* src/ResolvExpr/Resolver.cc (modified)
	* src/SymTab/Autogen.h (modified)
	* src/Tuples/Explode.cc (modified)
	* src/Tuples/Explode.h (modified)

	Assorted cleanup


Thu, 27 Jun 2019 21:16:54 GMT Aaron Moss <a3moss@…> [e0e9a0b]
	* src/AST/Decl.cpp (modified)
	* src/AST/Decl.hpp (modified)
	* src/AST/ForallSubstitutionTable.cpp (added)
	* src/AST/ForallSubstitutionTable.hpp (added)
	* src/AST/ForallSubstitutor.hpp (added)
	* src/AST/Node.cpp (modified)
	* src/AST/Node.hpp (modified)
	* src/AST/Pass.hpp (modified)
	* src/AST/Pass.impl.hpp (modified)
	* src/AST/Pass.proto.hpp (modified)
	* src/AST/Type.cpp (modified)
	* src/AST/Type.hpp (modified)
	* src/AST/module.mk (modified)
	* src/Common/ScopedMap.h (modified)
	* src/Makefile.in (modified)
	* src/ResolvExpr/CandidateFinder.cpp (modified)
	* src/ResolvExpr/RenameVars.cc (modified)

	Somewhat deeper clone for types with forall qualifiers.
	* Added ...


Tue, 25 Jun 2019 15:26:30 GMT Aaron Moss <a3moss@…> [9ea38de]
	* Jenkinsfile (deleted)
	* src/AST/Node.cpp (modified)
	* src/AST/Node.hpp (modified)
	* src/AST/Pass.hpp (modified)
	* src/AST/Pass.impl.hpp (modified)
	* src/AST/Pass.proto.hpp (modified)
	* src/ResolvExpr/AdjustExprType.cc (modified)
	* src/ResolvExpr/CandidateFinder.cpp (modified)
	* src/ResolvExpr/CandidateFinder.hpp (modified)
	* src/ResolvExpr/PolyCost.cc (modified)
	* src/Tuples/TupleAssignment.cc (modified)
	* src/main.cc (modified)

	Fix ast::Pass guard classes


Mon, 24 Jun 2019 15:11:59 GMT Aaron Moss <a3moss@…> [18e683b]
	* src/AST/Node.hpp (modified)
	* src/ResolvExpr/CandidateFinder.cpp (modified)
	* src/ResolvExpr/Resolver.cc (modified)
	* src/ResolvExpr/Resolver.h (modified)
	* src/SymTab/Validate.cc (modified)
	* src/SymTab/Validate.h (modified)

	Port LinkReferenceToTypes pass


Fri, 21 Jun 2019 19:41:36 GMT Aaron Moss <a3moss@…> [c1ed2ee]
	* src/AST/Stmt.hpp (modified)
	* src/Common/utility.h (modified)
	* src/InitTweak/InitTweak.cc (modified)
	* src/InitTweak/InitTweak.h (modified)
	* src/ResolvExpr/AlternativeFinder.cc (modified)
	* src/ResolvExpr/CandidateFinder.cpp (modified)
	* src/SymTab/FixFunction.cc (modified)
	* src/SymTab/FixFunction.h (modified)
	* src/SymTab/Validate.cc (modified)

	Continued resolver porting

	* mostly initialization and validation ...


Thu, 20 Jun 2019 22:50:42 GMT Aaron Moss <a3moss@…> [b8524ca]
	* src/AST/Expr.hpp (modified)
	* src/AST/Node.hpp (modified)
	* src/AST/Stmt.hpp (modified)
	* src/InitTweak/FixInit.cc (modified)
	* src/InitTweak/GenInit.cc (modified)
	* src/InitTweak/GenInit.h (modified)
	* src/InitTweak/InitTweak.cc (modified)
	* src/InitTweak/InitTweak.h (modified)
	* src/ResolvExpr/CandidateFinder.cpp (modified)
	* src/ResolvExpr/Resolver.cc (modified)
	* src/SymTab/Autogen.cc (modified)
	* src/SymTab/Autogen.h (modified)
	* src/Tuples/Explode.cc (modified)
	* src/Tuples/Explode.h (modified)
	* src/Tuples/TupleAssignment.cc (modified)

	new AST porting

	* mostly InitTweak autogeneration
	* added some ...


Wed, 19 Jun 2019 22:05:09 GMT Aaron Moss <a3moss@…> [b69233a]
	* src/AST/Expr.hpp (modified)
	* src/AST/porting.md (modified)
	* src/ResolvExpr/CandidateFinder.cpp (modified)
	* src/ResolvExpr/CandidateFinder.hpp (modified)
	* src/ResolvExpr/SatisfyAssertions.cpp (modified)
	* src/ResolvExpr/SatisfyAssertions.hpp (modified)
	* src/SymTab/Mangler.h (modified)

	Port assertion satisfaction to new AST


Wed, 19 Jun 2019 18:15:08 GMT Aaron Moss <a3moss@…> [17a0ede2]
	* src/ResolvExpr/CandidateFinder.cpp (modified)
	* src/ResolvExpr/Resolver.cc (modified)
	* src/ResolvExpr/Resolver.h (modified)

	Further resolver porting; finish initial draft of expression handling


Tue, 18 Jun 2019 22:05:30 GMT Aaron Moss <a3moss@…> [898ae07]
	* src/AST/porting.md (modified)
	* src/ResolvExpr/CandidateFinder.cpp (modified)
	* src/ResolvExpr/RenameVars.cc (modified)
	* src/ResolvExpr/RenameVars.h (modified)

	More resolver porting


Tue, 18 Jun 2019 15:47:44 GMT Aaron Moss <a3moss@…> [c8e4d2f8]
	* src/ResolvExpr/Candidate.hpp (modified)
	* src/ResolvExpr/CandidateFinder.cpp (modified)
	* src/ResolvExpr/CandidateFinder.hpp (modified)
	* src/ResolvExpr/CastCost.cc (modified)
	* src/ResolvExpr/ResolveTypeof.cc (modified)
	* src/ResolvExpr/ResolveTypeof.h (modified)
	* src/ResolvExpr/typeops.h (modified)
	* src/SymTab/Validate.cc (modified)
	* src/SymTab/Validate.h (modified)

	Start porting CastExpr resolution


Mon, 17 Jun 2019 23:14:58 GMT Aaron Moss <a3moss@…> [9d5089e]
	* src/AST/TypeEnvironment.hpp (modified)
	* src/AST/porting.md (modified)
	* src/ResolvExpr/AlternativeFinder.cc (modified)
	* src/ResolvExpr/Candidate.hpp (modified)
	* src/ResolvExpr/CandidateFinder.cpp (modified)
	* src/ResolvExpr/ConversionCost.cc (modified)
	* src/ResolvExpr/PolyCost.cc (modified)
	* src/ResolvExpr/SpecCost.cc (modified)
	* src/ResolvExpr/typeops.h (modified)

	Port CandidateFinder::makeFunctionCandidates() and deps


Tue, 11 Jun 2019 21:52:50 GMT Aaron Moss <a3moss@…> [432ce7a]
	* src/AST/Print.hpp (modified)
	* src/AST/porting.md (modified)
	* src/Makefile.in (modified)
	* src/ResolvExpr/AlternativeFinder.cc (modified)
	* src/ResolvExpr/AlternativeFinder.h (modified)
	* src/ResolvExpr/Candidate.hpp (modified)
	* src/ResolvExpr/CandidateFinder.cpp (modified)
	* src/ResolvExpr/ExplodedActual.cc (modified)
	* src/ResolvExpr/ExplodedActual.h (modified)
	* src/ResolvExpr/ExplodedArg.cpp (added)
	* src/ResolvExpr/ExplodedArg.hpp (added)
	* src/ResolvExpr/module.mk (modified)
	* src/Tuples/Explode.h (modified)
	* src/Tuples/TupleAssignment.cc (modified)
	* src/Tuples/Tuples.h (modified)

	Port CandidateFinder::postvisit for UntypedExpr, stub dependencies


Tue, 11 Jun 2019 19:42:10 GMT Aaron Moss <a3moss@…> [4b7cce6]
	* src/ResolvExpr/AlternativeFinder.cc (modified)
	* src/ResolvExpr/Candidate.hpp (modified)
	* src/ResolvExpr/CandidateFinder.cpp (modified)
	* src/ResolvExpr/Resolver.cc (modified)
	* src/ResolvExpr/Resolver.h (modified)

	Fill in CandidateFinder boilerplate in resolver port


Tue, 11 Jun 2019 17:36:00 GMT Aaron Moss <a3moss@…> [d57e349]
	* src/ResolvExpr/AdjustExprType.cc (modified)
	* src/ResolvExpr/Candidate.hpp (modified)
	* src/ResolvExpr/CandidateFinder.cpp (modified)
	* src/ResolvExpr/Resolver.cc (modified)
	* src/ResolvExpr/Resolver.h (modified)
	* src/ResolvExpr/typeops.h (modified)

	More resolver porting


Mon, 10 Jun 2019 22:02:36 GMT Aaron Moss <a3moss@…> [396037d]
	* src/Makefile.in (modified)
	* src/ResolvExpr/AlternativeFinder.cc (modified)
	* src/ResolvExpr/CandidateFinder.cpp (modified)
	* src/ResolvExpr/CandidateFinder.hpp (modified)
	* src/ResolvExpr/ResolvMode.h (modified)
	* src/ResolvExpr/SatisfyAssertions.cpp (added)
	* src/ResolvExpr/SatisfyAssertions.hpp (added)
	* src/ResolvExpr/module.mk (modified)

	Start stubbing CandidateFinder in


Mon, 10 Jun 2019 21:20:07 GMT Aaron Moss <a3moss@…> [2773ab8]
	* src/ResolvExpr/CandidateFinder.cpp (modified)
	* src/ResolvExpr/CandidateFinder.hpp (modified)
	* src/ResolvExpr/Resolver.cc (modified)
	* src/ResolvExpr/Unify.cc (modified)
	* src/ResolvExpr/Unify.h (modified)

	Add new resolver overload for WaitForStmt


Wed, 05 Jun 2019 21:58:38 GMT Aaron Moss <a3moss@…> [99d4584]
	* src/AST/Print.hpp (modified)
	* src/AST/SymbolTable.hpp (modified)
	* src/AST/porting.md (modified)
	* src/Common/Indenter.h (modified)
	* src/Makefile.in (modified)
	* src/ResolvExpr/AlternativeFinder.cc (modified)
	* src/ResolvExpr/Candidate.cpp (added)
	* src/ResolvExpr/Candidate.hpp (added)
	* src/ResolvExpr/CandidateFinder.cpp (added)
	* src/ResolvExpr/CandidateFinder.hpp (added)
	* src/ResolvExpr/ResolveAssertions.cc (modified)
	* src/ResolvExpr/Resolver.cc (modified)
	* src/ResolvExpr/module.mk (modified)
	* src/ResolvExpr/typeops.h (modified)
	* src/SynTree/BaseSyntaxNode.h (modified)

	Further stubs for resolver port

	* also switched order of ...