# # ChangeLog for src/Validate # # Generated by Trac 1.2.1 # Dec 18, 2024, 11:16:50 AM Thu, 30 May 2019 13:48:47 GMT Thierry Delisle [043a5b6] * src/AST/Convert.cpp (modified) * src/Validate/FindSpecialDecls.cc (modified) Extended dereference operator hack to destroy clause Fri, 24 May 2019 14:19:41 GMT Thierry Delisle [933f32f] * .gitignore (modified) * Jenkins/FullBuild (modified) * Jenkinsfile (modified) * Makefile.am (modified) * Makefile.in (modified) * automake/cfa.m4 (modified) * benchmark/Makefile.am (modified) * benchmark/Makefile.in (modified) * benchmark/ctxswitch/cfa_cor.cfa (modified) * benchmark/ctxswitch/cfa_cor_then.cfa (added) * benchmark/ctxswitch/cfa_thrd2.cfa (modified) * benchmark/fixcsv.sh (added) * benchmark/jenkins.sh (deleted) * benchmark/tls-fetch_add.c (added) * configure (modified) * configure.ac (modified) * doc/LaTeXmacros/lstlang.sty (modified) * doc/bibliography/pl.bib (modified) * doc/papers/concurrency/Paper.tex (modified) * doc/papers/concurrency/examples/C++Cor-ts.cpp (added) * doc/papers/concurrency/examples/Fib.c (added) * doc/papers/concurrency/examples/Fib.cfa (added) * doc/papers/concurrency/examples/Fib.cpp (added) * doc/papers/concurrency/examples/Fib.py (added) * doc/papers/concurrency/examples/Fib.sim (added) * doc/papers/concurrency/examples/Fib2.cfa (added) * doc/papers/concurrency/examples/Fib2.cpp (added) * doc/papers/concurrency/examples/Fib2.py (added) * doc/papers/concurrency/examples/FibRefactor.py (added) * doc/papers/concurrency/examples/Fmt.sim (added) * doc/papers/concurrency/examples/Format.cc (added) * doc/papers/concurrency/examples/Format.cfa (added) * doc/papers/concurrency/examples/Format.cpp (added) * doc/papers/concurrency/examples/Format.py (added) * doc/papers/concurrency/examples/Pingpong.cc (added) * doc/papers/concurrency/examples/Pingpong.cfa (added) * doc/papers/concurrency/examples/Pingpong.py (added) * doc/papers/concurrency/examples/ProdCons.cfa (added) * doc/papers/concurrency/examples/ProdCons.cpp (added) * doc/papers/concurrency/examples/ProdCons.py (added) * doc/papers/concurrency/examples/ProdCons.sim (added) * doc/papers/concurrency/examples/Refactor.py (added) * doc/papers/concurrency/examples/counter.cpp (added) * doc/papers/concurrency/mail (modified) * doc/proposals/interned_string.cc (added) * doc/proposals/interned_string.h (added) * doc/proposals/specialized_casts.md (added) * doc/proposals/unicode.html (added) * doc/proposals/virtual.txt (deleted) * doc/proposals/vtable.md (modified) * doc/theses/aaron_moss_PhD/phd/Makefile (modified) * doc/theses/aaron_moss_PhD/phd/background.tex (modified) * doc/theses/aaron_moss_PhD/phd/conclusion.tex (modified) * doc/theses/aaron_moss_PhD/phd/evaluation/algo-summary.dat (added) * doc/theses/aaron_moss_PhD/phd/evaluation/algo-summary.gp (added) * doc/theses/aaron_moss_PhD/phd/evaluation/bu-summary.dat (added) * doc/theses/aaron_moss_PhD/phd/evaluation/cfa-cc/cfa-bu.csv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/cfa-cc/cfa-co.csv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/cfa-cc/cfa-dca.csv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/cfa-cc/cfa-def.csv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/cfa-cc/cfa-imm.csv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/cfa-mem-by-time.tsv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/cfa-mem.tsv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/cfa-plots.gp (added) * doc/theses/aaron_moss_PhD/phd/evaluation/cfa-time.tsv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/data.xlsx (added) * doc/theses/aaron_moss_PhD/phd/evaluation/generic-timing.dat (modified) * doc/theses/aaron_moss_PhD/phd/evaluation/mem-by-max-assns.tsv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/mem-by-max-depth.tsv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/metric-plots.gp (added) * doc/theses/aaron_moss_PhD/phd/evaluation/per-prob-scatter.gp (added) * doc/theses/aaron_moss_PhD/phd/evaluation/per-prob.gp (added) * doc/theses/aaron_moss_PhD/phd/evaluation/per-prob.tsv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/per_prob/imgui-per-prob.csv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/per_prob/io1-per-prob.csv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/per_prob/io2-per-prob.csv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/per_prob/kernel-per-prob.csv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/per_prob/math1-per-prob.csv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/per_prob/math2-per-prob.csv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/per_prob/math3-per-prob.csv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/per_prob/math4-per-prob.csv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/per_prob/minmax-per-prob.csv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/per_prob/preemption-per-prob.csv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/per_prob/rational-per-prob.csv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/per_prob/searchsort-per-prob.csv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/per_prob/swap-per-prob.csv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/time-by-max-assns.tsv (added) * doc/theses/aaron_moss_PhD/phd/evaluation/time-by-max-depth.tsv (added) * doc/theses/aaron_moss_PhD/phd/experiments.tex (added) * doc/theses/aaron_moss_PhD/phd/figures/bilson-conv-graph.eps (added) * doc/theses/aaron_moss_PhD/phd/figures/bilson-conv-graph.odg (added) * doc/theses/aaron_moss_PhD/phd/figures/extended-conv-graph.eps (added) * doc/theses/aaron_moss_PhD/phd/figures/extended-conv-graph.odg (added) * doc/theses/aaron_moss_PhD/phd/figures/persistent-union-find.eps (added) * doc/theses/aaron_moss_PhD/phd/figures/persistent-union-find.odg (added) * doc/theses/aaron_moss_PhD/phd/figures/resolution-dag.eps (added) * doc/theses/aaron_moss_PhD/phd/figures/resolution-dag.odg (added) * doc/theses/aaron_moss_PhD/phd/figures/safe-conv-graph.eps (added) * doc/theses/aaron_moss_PhD/phd/figures/safe-conv-graph.odg (added) * doc/theses/aaron_moss_PhD/phd/figures/union-find-with-classes.eps (added) * doc/theses/aaron_moss_PhD/phd/figures/union-find-with-classes.odg (added) * doc/theses/aaron_moss_PhD/phd/frontpgs.tex (modified) * doc/theses/aaron_moss_PhD/phd/generic-bench.tex (added) * doc/theses/aaron_moss_PhD/phd/generic-types.tex (modified) * doc/theses/aaron_moss_PhD/phd/introduction.tex (modified) * doc/theses/aaron_moss_PhD/phd/macros.tex (modified) * doc/theses/aaron_moss_PhD/phd/resolution-heuristics.tex (modified) * doc/theses/aaron_moss_PhD/phd/thesis.tex (modified) * doc/theses/aaron_moss_PhD/phd/type-environment.tex (modified) * doc/user/user.tex (modified) * driver/Makefile.am (modified) * driver/Makefile.in (modified) * driver/cfa.cc (modified) * libcfa/configure (modified) * libcfa/configure.ac (modified) * libcfa/prelude/builtins.c (modified) * libcfa/prelude/extras.c (modified) * libcfa/prelude/extras.regx (modified) * libcfa/prelude/prelude-gen.cc (modified) * libcfa/prelude/sync-builtins.cf (modified) * libcfa/src/Makefile.am (modified) * libcfa/src/Makefile.in (modified) * libcfa/src/bits/containers.hfa (modified) * libcfa/src/concurrency/CtxSwitch-i386.S (modified) * libcfa/src/concurrency/CtxSwitch-x86_64.S (modified) * libcfa/src/concurrency/coroutine.cfa (modified) * libcfa/src/concurrency/coroutine.hfa (modified) * libcfa/src/concurrency/invoke.c (modified) * libcfa/src/concurrency/invoke.h (modified) * libcfa/src/concurrency/kernel.cfa (modified) * libcfa/src/concurrency/thread.cfa (modified) * libcfa/src/concurrency/thread.hfa (modified) * libcfa/src/containers/maybe.cfa (modified) * libcfa/src/containers/result.cfa (modified) * libcfa/src/fstream.cfa (modified) * libcfa/src/fstream.hfa (modified) * libcfa/src/gmp.hfa (modified) * libcfa/src/heap.cfa (modified) * libcfa/src/iostream.cfa (modified) * libcfa/src/iostream.hfa (modified) * libcfa/src/rational.cfa (modified) * libcfa/src/rational.hfa (modified) * libcfa/src/stdhdr/stdbool.h (modified) * libcfa/src/stdlib.hfa (modified) * libcfa/src/time.hfa (modified) * libcfa/src/time_t.hfa (modified) * longrun_tests/Makefile.am (added) * longrun_tests/Makefile.in (moved) * longrun_tests/block.cfa (added) * longrun_tests/coroutine.cfa (added) * longrun_tests/create.cfa (moved) * longrun_tests/disjoint.cfa (added) * longrun_tests/enter.cfa (moved) * longrun_tests/enter3.cfa (moved) * longrun_tests/preempt.cfa (added) * longrun_tests/processor.cfa (moved) * longrun_tests/stack.cfa (moved) * longrun_tests/update-type (moved) * longrun_tests/wait.cfa (added) * longrun_tests/yield.cfa (moved) * src/AST/Attribute.cpp (added) * src/AST/Attribute.hpp (added) * src/AST/Bitfield.hpp (added) * src/AST/CVQualifiers.hpp (added) * src/AST/Convert.cpp (added) * src/AST/Convert.hpp (added) * src/AST/Decl.cpp (added) * src/AST/Decl.hpp (added) * src/AST/DeclReplacer.cpp (added) * src/AST/DeclReplacer.hpp (added) * src/AST/Expr.cpp (added) * src/AST/Expr.hpp (added) * src/AST/FunctionSpec.hpp (added) * src/AST/Fwd.hpp (added) * src/AST/Init.cpp (added) * src/AST/Init.hpp (added) * src/AST/Label.hpp (added) * src/AST/LinkageSpec.cpp (added) * src/AST/LinkageSpec.hpp (added) * src/AST/Node.cpp (added) * src/AST/Node.hpp (added) * src/AST/ParseNode.hpp (added) * src/AST/Pass.hpp (added) * src/AST/Pass.impl.hpp (added) * src/AST/Pass.proto.hpp (added) * src/AST/Stmt.cpp (added) * src/AST/Stmt.hpp (added) * src/AST/StorageClasses.hpp (added) * src/AST/Type.cpp (added) * src/AST/Type.hpp (added) * src/AST/TypeSubstitution.cpp (added) * src/AST/TypeSubstitution.hpp (added) * src/AST/TypeVar.hpp (added) * src/AST/Visitor.hpp (added) * src/AST/module.mk (added) * src/AST/porting.md (added) * src/BasicTypes-gen.cc (added) * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/CodeGenerator.h (modified) * src/CodeGen/GenType.cc (modified) * src/CodeGen/GenType.h (modified) * src/CodeGen/Options.h (added) * src/CodeGen/module.mk (modified) * src/Common/Assert.cc (modified) * src/Common/Heap.cc (deleted) * src/Common/PassVisitor.cc (added) * src/Common/PassVisitor.h (modified) * src/Common/PassVisitor.impl.h (modified) * src/Common/PassVisitor.proto.h (modified) * src/Common/PersistentMap.h (added) * src/Common/SemanticError.h (modified) * src/Common/Stats.h (added) * src/Common/Stats/Base.h (added) * src/Common/Stats/Counter.cc (added) * src/Common/Stats/Counter.h (added) * src/Common/Stats/Heap.cc (added) * src/Common/Stats/Heap.h (moved) * src/Common/Stats/Stats.cc (added) * src/Common/Stats/Time.cc (added) * src/Common/Stats/Time.h (added) * src/Common/module.mk (modified) * src/Common/utility.h (modified) * src/CompilationState.cc (modified) * src/CompilationState.h (modified) * src/Concurrency/Waitfor.cc (modified) * src/Concurrency/module.mk (modified) * src/ControlStruct/ExceptTranslate.cc (modified) * src/ControlStruct/ForExprMutator.cc (modified) * src/ControlStruct/LabelFixer.cc (modified) * src/ControlStruct/LabelGenerator.cc (modified) * src/ControlStruct/module.mk (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/GenPoly.cc (modified) * src/GenPoly/GenPoly.h (modified) * src/GenPoly/InstantiateGeneric.cc (modified) * src/GenPoly/Specialize.cc (modified) * src/GenPoly/module.mk (modified) * src/InitTweak/FixInit.cc (modified) * src/InitTweak/InitTweak.cc (modified) * src/InitTweak/InitTweak.h (modified) * src/InitTweak/module.mk (modified) * src/MakeLibCfa.cc (modified) * src/Makefile.am (modified) * src/Makefile.in (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/ExpressionNode.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/TypeData.cc (modified) * src/Parser/TypeData.h (modified) * src/Parser/lex.ll (modified) * src/Parser/module.mk (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/ResolvExpr/Cost.h (modified) * src/ResolvExpr/RenameVars.cc (modified) * src/ResolvExpr/ResolveAssertions.cc (modified) * src/ResolvExpr/ResolveAssertions.h (modified) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/Resolver.h (modified) * src/ResolvExpr/TypeEnvironment.cc (modified) * src/ResolvExpr/TypeEnvironment.h (modified) * src/ResolvExpr/Unify.cc (modified) * src/ResolvExpr/module.mk (modified) * src/ResolvExpr/typeops.h (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Indexer.h (modified) * src/SymTab/Mangler.cc (modified) * src/SymTab/Mangler.h (modified) * src/SymTab/ManglerCommon.cc (modified) * src/SymTab/Validate.cc (modified) * src/SymTab/module.mk (modified) * src/SynTree/AddressExpr.cc (modified) * src/SynTree/Attribute.cc (modified) * src/SynTree/BaseSyntaxNode.h (modified) * src/SynTree/BasicType.cc (modified) * src/SynTree/Constant.cc (modified) * src/SynTree/Declaration.cc (modified) * src/SynTree/Declaration.h (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) * src/SynTree/Label.h (modified) * src/SynTree/Mutator.h (modified) * src/SynTree/Statement.h (modified) * src/SynTree/SynTree.h (modified) * src/SynTree/Type.cc (modified) * src/SynTree/Type.h (modified) * src/SynTree/TypeSubstitution.cc (modified) * src/SynTree/TypeSubstitution.h (modified) * src/SynTree/Visitor.h (modified) * src/SynTree/module.mk (modified) * src/Tuples/TupleExpansion.cc (modified) * src/Tuples/Tuples.h (modified) * src/Tuples/module.mk (modified) * src/Validate/module.mk (modified) * src/config.h.in (modified) * src/include/cassert (modified) * src/main.cc (modified) * tests/.expect/KRfunctions.x64.txt (modified) * tests/.expect/KRfunctions.x86.txt (modified) * tests/.expect/abs.txt (modified) * tests/.expect/ato.txt (modified) * tests/.expect/attributes.x64.txt (modified) * tests/.expect/attributes.x86.txt (modified) * tests/.expect/castError.txt (modified) * tests/.expect/completeTypeError.txt (modified) * tests/.expect/complex.txt (modified) * tests/.expect/declarationSpecifier.x64.txt (modified) * tests/.expect/declarationSpecifier.x86.txt (modified) * tests/.expect/extension.x64.txt (modified) * tests/.expect/extension.x86.txt (modified) * tests/.expect/functions.x64.txt (modified) * tests/.expect/functions.x86.txt (modified) * tests/.expect/gccExtensions.x64.txt (modified) * tests/.expect/gccExtensions.x86.txt (modified) * tests/.expect/identity.txt (modified) * tests/.expect/io1.txt (modified) * tests/.expect/loopctrl.txt (modified) * tests/.expect/math1.txt (modified) * tests/.expect/math2.txt (modified) * tests/.expect/math3.txt (modified) * tests/.expect/math4.txt (modified) * tests/.expect/minmax.txt (modified) * tests/.expect/references.txt (modified) * tests/.expect/sum.txt (modified) * tests/Makefile.am (modified) * tests/Makefile.in (modified) * tests/array.cfa (modified) * tests/builtins/sync.cfa (modified) * tests/castError.cfa (modified) * tests/completeTypeError.cfa (modified) * tests/concurrent/coroutineThen.cfa (added) * tests/concurrent/examples/.expect/gortn.txt (added) * tests/concurrent/examples/boundedBufferEXT.cfa (modified) * tests/concurrent/examples/boundedBufferINT.cfa (modified) * tests/concurrent/examples/datingService.cfa (modified) * tests/concurrent/examples/gortn.cfa (added) * tests/concurrent/examples/matrixSum.cfa (modified) * tests/concurrent/examples/quickSort.cfa (modified) * tests/concurrent/examples/quickSort.generic.cfa (added) * tests/concurrent/waitfor/parse2.cfa (modified) * tests/config.py.in (modified) * tests/coroutine/.expect/devicedriver.txt (added) * tests/coroutine/.expect/fmtLines.txt (modified) * tests/coroutine/.in/devicedriver.txt (added) * tests/coroutine/.in/fmtLines.txt (modified) * tests/coroutine/cntparens.cfa (added) * tests/coroutine/devicedriver.cfa (added) * tests/coroutine/fibonacci.cfa (modified) * tests/coroutine/fibonacci_1.cfa (modified) * tests/coroutine/fmtLines.cfa (modified) * tests/coroutine/pingpong.cfa (modified) * tests/coroutine/prodcons.cfa (modified) * tests/coroutine/runningTotal.cfa (modified) * tests/coroutine/suspend_then.cfa (added) * tests/declarationSpecifier.cfa (modified) * tests/forall.cfa (modified) * tests/function-operator.cfa (modified) * tests/io1.cfa (modified) * tests/io2.cfa (modified) * tests/literals.cfa (modified) * tests/loopctrl.cfa (modified) * tests/math1.cfa (modified) * tests/numericConstants.cfa (modified) * tests/preempt_longrun/Makefile.am (deleted) * tests/preempt_longrun/block.c (deleted) * tests/preempt_longrun/coroutine.c (deleted) * tests/preempt_longrun/disjoint.c (deleted) * tests/preempt_longrun/preempt.c (deleted) * tests/preempt_longrun/wait.c (deleted) * tests/pybin/settings.py (modified) * tests/pybin/test_run.py (modified) * tests/pybin/tools.py (modified) * tests/raii/.expect/ctor-autogen-ERR1.txt (modified) * tests/raii/init_once.cfa (modified) * tests/rational.cfa (modified) * tests/sum.cfa (modified) * tests/test.py (modified) * tests/warnings/.expect/self-assignment.txt (modified) * tests/warnings/self-assignment.cfa (modified) * tools/Makefile.in (modified) * tools/PrettyGitLogs.sh (modified) * tools/expanded-line-count.sh (added) * tools/prettyprinter/Makefile.in (modified) Merge branch 'master' into cleanup-dtors Thu, 28 Feb 2019 17:03:24 GMT tdelisle [7abee38] * src/CodeGen/module.mk (modified) * src/Common/Heap.cc (deleted) * src/Common/Stats.h (added) * src/Common/Stats/Heap.cc (added) * src/Common/Stats/Heap.h (moved) * src/Common/module.mk (modified) * src/Concurrency/module.mk (modified) * src/ControlStruct/module.mk (modified) * src/GenPoly/module.mk (modified) * src/InitTweak/module.mk (modified) * src/Makefile.am (modified) * src/Makefile.in (modified) * src/Parser/module.mk (modified) * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/ResolvExpr/module.mk (modified) * src/SymTab/ManglerCommon.cc (modified) * src/SymTab/Validate.cc (modified) * src/SymTab/module.mk (modified) * src/SynTree/Type.h (modified) * src/SynTree/module.mk (modified) * src/Tuples/module.mk (modified) * src/Validate/module.mk (modified) * src/main.cc (modified) Cleaned some module.mk files and preparing for better stats in the ... Thu, 30 Aug 2018 17:00:41 GMT Rob Schluntz [2bfc6b2] * src/GenPoly/Lvalue.cc (modified) * src/InitTweak/FixInit.cc (modified) * src/InitTweak/GenInit.cc (modified) * src/Makefile.am (modified) * src/Makefile.in (modified) * src/ResolvExpr/Resolver.cc (modified) * src/SymTab/Autogen.cc (modified) * src/SymTab/Autogen.h (modified) * src/SymTab/Validate.cc (modified) * src/Validate/FindSpecialDecls.cc (added) * src/Validate/FindSpecialDecls.h (added) * src/Validate/module.mk (modified) Refactor FindSpecialDeclarations and associated special declarations Mon, 30 Jul 2018 20:43:48 GMT Rob Schluntz [5cbacf1] * src/Common/Eval.cc (added) * src/Common/module.mk (modified) * src/Common/utility.h (modified) * src/Makefile.in (modified) * src/Validate/HandleAttributes.cc (modified) Refactor eval into Common Mon, 30 Jul 2018 20:43:48 GMT Rob Schluntz [05e6eb5] * src/CompilationState.cc (modified) * src/CompilationState.h (modified) * src/Validate/HandleAttributes.cc (modified) * src/main.cc (modified) Warn about constructor/destructor priorities 101-200 only when not ... Mon, 30 Jul 2018 20:43:48 GMT Rob Schluntz [fd2debf] * src/Common/SemanticError.h (modified) * src/Makefile.am (modified) * src/Makefile.in (modified) * src/SymTab/Validate.cc (modified) * src/Validate/HandleAttributes.cc (added) * src/Validate/HandleAttributes.h (added) * src/Validate/module.mk (added) Add checks for constructor/destructor attribute arguments