# # ChangeLog for src/SymTab/Validate.h # # Generated by Trac 1.2.1 # Nov 18, 2024, 1:27:54 AM Tue, 12 Jul 2022 19:40:38 GMT Andrew Beach [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 ... Tue, 17 May 2022 19:44:08 GMT Andrew Beach [9939dc3] * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/FixMain.cc (modified) * src/CodeGen/FixMain2.cc (added) * src/CodeGen/module.mk (modified) * src/Common/Indenter.cc (added) * src/Common/Indenter.h (modified) * src/Common/module.mk (modified) * src/Concurrency/module.mk (modified) * src/ControlStruct/module.mk (modified) * src/GenPoly/Lvalue.cc (modified) * src/GenPoly/Lvalue2.cc (added) * src/GenPoly/module.mk (modified) * src/InitTweak/module.mk (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/SymTab/Validate.cc (modified) * src/SymTab/Validate.h (modified) * src/SymTab/ValidateType.cc (added) * src/SymTab/ValidateType.h (added) * src/SymTab/module.mk (modified) * src/SynTree/BaseSyntaxNode.cc (added) * src/SynTree/module.mk (modified) * src/Tuples/TupleExpansion.cc (modified) * src/Tuples/Tuples.cc (modified) * src/Tuples/module.mk (modified) * src/Validate/module.mk (modified) * src/Virtual/module.mk (modified) * src/main.cc (modified) Reduced the number of object files linked into the demangler. Some of ... Fri, 29 Apr 2022 17:30:49 GMT Andrew Beach [298fe57] * src/AST/Convert.cpp (modified) * src/Common/utility.h (modified) * src/SymTab/Validate.cc (modified) * src/SymTab/Validate.h (modified) * src/Validate/EliminateTypedef.cpp (added) * src/Validate/EliminateTypedef.hpp (added) * src/Validate/FixQualifiedTypes.cpp (added) * src/Validate/FixQualifiedTypes.hpp (added) * src/Validate/ForallPointerDecay.cpp (modified) * src/Validate/ForallPointerDecay.hpp (modified) * src/Validate/GenericParameter.cpp (modified) * src/Validate/HoistStruct.cpp (added) * src/Validate/HoistStruct.hpp (added) * src/Validate/NoIdSymbolTable.hpp (added) * src/Validate/module.mk (modified) * src/main.cc (modified) * tests/.expect/nested-types-ERR2.nast.txt (added) * tests/.expect/nested-types-ERR2.oast.txt (moved) Translated 3/4 of validate_B. Link Reference To Types has been ... Mon, 21 Mar 2022 20:48:10 GMT Andrew Beach [a76202d] * src/SymTab/Validate.cc (modified) * src/SymTab/Validate.h (modified) Removed some code from Validate that had been used for the ... Fri, 11 Feb 2022 16:00:35 GMT Andrew Beach [9490621] * src/AST/Decl.cpp (modified) * src/SymTab/Validate.cc (modified) * src/SymTab/Validate.h (modified) * src/Validate/ForallPointerDecay.cpp (added) * src/Validate/ForallPointerDecay.hpp (added) * src/Validate/module.mk (modified) * src/main.cc (modified) My work in progress implementation of ForallPointerDecay for Fangren. Wed, 26 Jan 2022 19:42:52 GMT Andrew Beach [a488783] * src/AST/Copy.hpp (modified) * src/AST/Node.hpp (modified) * src/ControlStruct/HoistControlDecls.cpp (added) * src/ControlStruct/HoistControlDecls.hpp (added) * src/ControlStruct/module.mk (modified) * src/SymTab/Validate.cc (modified) * src/SymTab/Validate.h (modified) * src/Validate/Autogen.cpp (added) * src/Validate/Autogen.hpp (added) * src/Validate/module.mk (modified) * src/main.cc (modified) Translated the first half of validate-D. HoistControlStruct is pretty ... Fri, 12 Nov 2021 16:27:15 GMT Andrew Beach [5dcb881] * src/SymTab/Validate.cc (modified) * src/SymTab/Validate.h (modified) * src/main.cc (modified) Split up the validate pass. (Some statistics code is repeated, but ... Fri, 12 Jul 2019 14:49:02 GMT Thierry Delisle [7870799] * src/AST/Convert.cpp (modified) * src/AST/Expr.hpp (modified) * src/Common/PassVisitor.h (modified) * src/Common/PassVisitor.impl.h (modified) * src/Common/PassVisitor.proto.h (modified) * src/ResolvExpr/CastCost.cc (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/ResolvExpr/ConversionCost.h (modified) * src/ResolvExpr/PtrsAssignable.cc (modified) * src/ResolvExpr/PtrsCastable.cc (modified) * src/ResolvExpr/Unify.cc (modified) * src/ResolvExpr/typeops.h (modified) * src/SymTab/Validate.h (modified) * src/SynTree/Attribute.h (modified) * src/SynTree/BaseSyntaxNode.h (modified) * src/SynTree/Constant.h (modified) * src/SynTree/Declaration.h (modified) * src/SynTree/Expression.h (modified) * src/SynTree/Initializer.h (modified) * src/SynTree/Statement.h (modified) * src/SynTree/Type.h (modified) * src/SynTree/Visitor.h (modified) * src/Tuples/Explode.h (modified) * src/Tuples/TupleAssignment.cc (modified) Cast cost and conversion cost now take constant parameters. This ... Mon, 24 Jun 2019 15:11:59 GMT Aaron Moss [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 Tue, 18 Jun 2019 15:47:44 GMT Aaron Moss [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 Wed, 26 Jul 2017 16:19:41 GMT Thierry Delisle [33218c6] * configure (modified) * configure.ac (modified) * doc/LaTeXmacros/common.tex (modified) * doc/LaTeXmacros/enumitem/README (deleted) * doc/LaTeXmacros/enumitem/enumitem.pdf (deleted) * doc/LaTeXmacros/enumitem/enumitem.sty (deleted) * doc/LaTeXmacros/enumitem/enumitem.tex (deleted) * doc/LaTeXmacros/listings/README (deleted) * doc/LaTeXmacros/listings/listings-acm.prf (deleted) * doc/LaTeXmacros/listings/listings-bash.prf (deleted) * doc/LaTeXmacros/listings/listings-fortran.prf (deleted) * doc/LaTeXmacros/listings/listings-lua.prf (deleted) * doc/LaTeXmacros/listings/listings-python.prf (deleted) * doc/LaTeXmacros/listings/listings.cfg (deleted) * doc/LaTeXmacros/listings/listings.dtx (deleted) * doc/LaTeXmacros/listings/listings.ins (deleted) * doc/LaTeXmacros/listings/listings.log (deleted) * doc/LaTeXmacros/listings/listings.pdf (deleted) * doc/LaTeXmacros/listings/listings.sty (deleted) * doc/LaTeXmacros/listings/listings.sty.new (deleted) * doc/LaTeXmacros/listings/lstdoc.sty (deleted) * doc/LaTeXmacros/listings/lstdrvrs.dtx (deleted) * doc/LaTeXmacros/listings/lstdrvrs.ins (deleted) * doc/LaTeXmacros/listings/lstdrvrs.pdf (deleted) * doc/LaTeXmacros/listings/lstlang1.sty (deleted) * doc/LaTeXmacros/listings/lstlang2.sty (deleted) * doc/LaTeXmacros/listings/lstlang3.sty (deleted) * doc/LaTeXmacros/listings/lstmisc.sty (deleted) * doc/LaTeXmacros/lstlang.sty (modified) * doc/bibliography/cfa.bib (modified) * doc/proposals/virtual.txt (modified) * doc/user/EHMHierarchy.fig (modified) * doc/user/Makefile (modified) * doc/user/user.tex (modified) * src/CodeGen/CodeGenerator.h (modified) * src/CodeGen/FixMain.h (modified) * src/CodeGen/FixNames.h (modified) * src/CodeGen/GenType.h (modified) * src/CodeGen/Generate.h (modified) * src/CodeGen/OperatorTable.cc (modified) * src/CodeGen/OperatorTable.h (modified) * src/CodeTools/DeclStats.h (modified) * src/CodeTools/TrackLoc.h (modified) * src/Common/CompilerError.h (modified) * src/Common/ScopedMap.h (modified) * src/Common/SemanticError.h (modified) * src/Common/UnimplementedError.h (modified) * src/Common/UniqueName.h (modified) * src/Common/VectorMap.h (modified) * src/Common/utility.h (modified) * src/Concurrency/Keywords.cc (modified) * src/Concurrency/Keywords.h (modified) * src/ControlStruct/ExceptTranslate.cc (modified) * src/ControlStruct/ExceptTranslate.h (modified) * src/ControlStruct/ForExprMutator.h (modified) * src/ControlStruct/LabelFixer.h (modified) * src/ControlStruct/LabelGenerator.h (modified) * src/ControlStruct/MLEMutator.h (modified) * src/ControlStruct/Mutate.h (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/Box.h (modified) * src/GenPoly/CopyParams.h (modified) * src/GenPoly/DeclMutator.h (modified) * src/GenPoly/ErasableScopedMap.h (modified) * src/GenPoly/FindFunction.h (modified) * src/GenPoly/GenPoly.h (modified) * src/GenPoly/InstantiateGeneric.h (modified) * src/GenPoly/Lvalue.h (modified) * src/GenPoly/PolyMutator.h (modified) * src/GenPoly/ScopedSet.h (modified) * src/GenPoly/ScrubTyVars.h (modified) * src/GenPoly/Specialize.h (modified) * src/InitTweak/FixGlobalInit.h (modified) * src/InitTweak/FixInit.h (modified) * src/InitTweak/GenInit.h (modified) * src/InitTweak/InitTweak.h (modified) * src/MakeLibCfa.h (modified) * src/Makefile.in (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/ExpressionNode.cc (modified) * src/Parser/LinkageSpec.h (modified) * src/Parser/ParseNode.h (modified) * src/Parser/ParserTypes.h (modified) * src/Parser/TypeData.cc (modified) * src/Parser/TypeData.h (modified) * src/Parser/TypedefTable.h (modified) * src/Parser/lex.ll (modified) * src/Parser/parser.yy (modified) * src/Parser/parserutility.cc (modified) * src/Parser/parserutility.h (modified) * src/ResolvExpr/Alternative.h (modified) * src/ResolvExpr/AlternativeFinder.h (modified) * src/ResolvExpr/AlternativePrinter.h (modified) * src/ResolvExpr/ConversionCost.h (modified) * src/ResolvExpr/Cost.h (modified) * src/ResolvExpr/CurrentObject.h (modified) * src/ResolvExpr/FindOpenVars.h (modified) * src/ResolvExpr/RenameVars.h (modified) * src/ResolvExpr/ResolveTypeof.h (modified) * src/ResolvExpr/Resolver.h (modified) * src/ResolvExpr/TypeEnvironment.h (modified) * src/ResolvExpr/TypeMap.h (modified) * src/ResolvExpr/Unify.h (modified) * src/ResolvExpr/typeops.h (modified) * src/SymTab/Autogen.cc (modified) * src/SymTab/Autogen.h (modified) * src/SymTab/FixFunction.h (modified) * src/SymTab/ImplementationType.h (modified) * src/SymTab/Indexer.h (modified) * src/SymTab/Mangler.h (modified) * src/SymTab/TreeStruct.cc (added) * src/SymTab/TreeStruct.h (added) * src/SymTab/Validate.h (modified) * src/SymTab/module.mk (modified) * src/SynTree/AddStmtVisitor.h (modified) * src/SynTree/Attribute.h (modified) * src/SynTree/BaseSyntaxNode.h (modified) * src/SynTree/Constant.cc (modified) * src/SynTree/Constant.h (modified) * src/SynTree/Declaration.h (modified) * src/SynTree/Expression.h (modified) * src/SynTree/Initializer.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.h (modified) * src/SynTree/TypeSubstitution.h (modified) * src/SynTree/VarExprReplacer.h (modified) * src/SynTree/Visitor.h (modified) * src/Tuples/Explode.h (modified) * src/Tuples/Tuples.h (modified) * src/benchmark/create_pthrd.c (modified) * src/driver/cfa.cc (modified) * src/libcfa/Makefile.am (modified) * src/libcfa/Makefile.in (modified) * src/libcfa/assert (deleted) * src/libcfa/assert.c (modified) * src/libcfa/concurrency/CtxSwitch-i386.S (modified) * src/libcfa/concurrency/CtxSwitch-x86_64.S (modified) * src/libcfa/concurrency/alarm.c (modified) * src/libcfa/concurrency/alarm.h (modified) * src/libcfa/concurrency/coroutine (modified) * src/libcfa/concurrency/coroutine.c (modified) * src/libcfa/concurrency/invoke.c (modified) * src/libcfa/concurrency/invoke.h (modified) * src/libcfa/concurrency/kernel (modified) * src/libcfa/concurrency/kernel.c (modified) * src/libcfa/concurrency/kernel_private.h (modified) * src/libcfa/concurrency/monitor (modified) * src/libcfa/concurrency/monitor.c (modified) * src/libcfa/concurrency/preemption.c (modified) * src/libcfa/concurrency/preemption.h (modified) * src/libcfa/concurrency/thread (modified) * src/libcfa/concurrency/thread.c (modified) * src/libcfa/containers/maybe (modified) * src/libcfa/containers/maybe.c (modified) * src/libcfa/containers/pair (modified) * src/libcfa/containers/result (modified) * src/libcfa/containers/result.c (modified) * src/libcfa/containers/vector (modified) * src/libcfa/exception.h (modified) * src/libcfa/fstream.c (modified) * src/libcfa/interpose.c (modified) * src/libcfa/interpose.h (modified) * src/libcfa/iostream.c (modified) * src/libcfa/libhdr.h (modified) * src/libcfa/libhdr/libalign.h (modified) * src/libcfa/libhdr/libdebug.h (modified) * src/libcfa/libhdr/libtools.h (modified) * src/libcfa/math (modified) * src/libcfa/math.c (deleted) * src/libcfa/startup.h (modified) * src/libcfa/stdhdr/assert.h (modified) * src/libcfa/stdhdr/bfdlink.h (added) * src/libcfa/stdhdr/gmp.h (modified) * src/libcfa/stdhdr/hwloc.h (added) * src/libcfa/stdhdr/krb5.h (added) * src/libcfa/stdhdr/malloc.h (added) * src/libcfa/stdlib (modified) * src/libcfa/stdlib.c (modified) * src/libcfa/typeobject.c (added) * src/libcfa/typeobject.h (added) * src/prelude/builtins.c (modified) * src/tests/.expect/32/math.txt (modified) * src/tests/.expect/64/math.txt (modified) * src/tests/.expect/concurrent/sched-int-barge.txt (deleted) * src/tests/alloc.c (modified) * src/tests/attributes.c (modified) * src/tests/avltree/avl-private.h (modified) * src/tests/avltree/avl.h (modified) * src/tests/gmp.c (modified) * src/tests/math.c (modified) * src/tests/maybe.c (modified) * src/tests/preempt_longrun/Makefile.am (modified) * src/tests/preempt_longrun/Makefile.in (modified) * src/tests/preempt_longrun/barge.c (deleted) * src/tests/preempt_longrun/create.c (modified) * src/tests/preempt_longrun/enter.c (modified) * src/tests/preempt_longrun/enter3.c (modified) * src/tests/preempt_longrun/processor.c (modified) * src/tests/preempt_longrun/yield.c (modified) * src/tests/result.c (modified) * src/tests/sched-int-barge.c (modified) * src/tests/sched-int-block.c (modified) * src/tests/sched-int-disjoint.c (modified) * src/tests/sched-int-wait.c (modified) * src/tests/test.py (modified) * src/tests/vector/array.h (modified) * src/tests/vector/vector_int.h (modified) * tools/cfa.nanorc (modified) * tools/prettyprinter/ParserTypes.h (modified) * tools/prettyprinter/filter.h (modified) * tools/prettyprinter/lex.ll (modified) * tools/prettyprinter/test.y (modified) * tools/prettyprinter/token.cc (modified) * tools/prettyprinter/token.h (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Sat, 22 Jul 2017 14:58:08 GMT Peter A. Buhr [6b0b624] * src/CodeGen/CodeGenerator.h (modified) * src/CodeGen/FixMain.h (modified) * src/CodeGen/FixNames.h (modified) * src/CodeGen/GenType.h (modified) * src/CodeGen/Generate.h (modified) * src/CodeGen/OperatorTable.h (modified) * src/CodeTools/DeclStats.h (modified) * src/CodeTools/TrackLoc.h (modified) * src/Common/CompilerError.h (modified) * src/Common/ScopedMap.h (modified) * src/Common/SemanticError.h (modified) * src/Common/UnimplementedError.h (modified) * src/Common/UniqueName.h (modified) * src/Common/VectorMap.h (modified) * src/Common/utility.h (modified) * src/Concurrency/Keywords.cc (modified) * src/Concurrency/Keywords.h (modified) * src/ControlStruct/ExceptTranslate.h (modified) * src/ControlStruct/ForExprMutator.h (modified) * src/ControlStruct/LabelFixer.h (modified) * src/ControlStruct/LabelGenerator.h (modified) * src/ControlStruct/MLEMutator.h (modified) * src/ControlStruct/Mutate.h (modified) * src/GenPoly/Box.h (modified) * src/GenPoly/CopyParams.h (modified) * src/GenPoly/DeclMutator.h (modified) * src/GenPoly/ErasableScopedMap.h (modified) * src/GenPoly/FindFunction.h (modified) * src/GenPoly/GenPoly.h (modified) * src/GenPoly/InstantiateGeneric.h (modified) * src/GenPoly/Lvalue.h (modified) * src/GenPoly/PolyMutator.h (modified) * src/GenPoly/ScopedSet.h (modified) * src/GenPoly/ScrubTyVars.h (modified) * src/GenPoly/Specialize.h (modified) * src/InitTweak/FixGlobalInit.h (modified) * src/InitTweak/FixInit.h (modified) * src/InitTweak/GenInit.h (modified) * src/InitTweak/InitTweak.h (modified) * src/MakeLibCfa.h (modified) * src/Parser/LinkageSpec.h (modified) * src/Parser/ParseNode.h (modified) * src/Parser/ParserTypes.h (modified) * src/Parser/TypeData.h (modified) * src/Parser/TypedefTable.h (modified) * src/Parser/parserutility.h (modified) * src/ResolvExpr/Alternative.h (modified) * src/ResolvExpr/AlternativeFinder.h (modified) * src/ResolvExpr/AlternativePrinter.h (modified) * src/ResolvExpr/ConversionCost.h (modified) * src/ResolvExpr/Cost.h (modified) * src/ResolvExpr/CurrentObject.h (modified) * src/ResolvExpr/FindOpenVars.h (modified) * src/ResolvExpr/RenameVars.h (modified) * src/ResolvExpr/ResolveTypeof.h (modified) * src/ResolvExpr/Resolver.h (modified) * src/ResolvExpr/TypeEnvironment.h (modified) * src/ResolvExpr/TypeMap.h (modified) * src/ResolvExpr/Unify.h (modified) * src/ResolvExpr/typeops.h (modified) * src/SymTab/Autogen.h (modified) * src/SymTab/FixFunction.h (modified) * src/SymTab/ImplementationType.h (modified) * src/SymTab/Indexer.h (modified) * src/SymTab/Mangler.h (modified) * src/SymTab/Validate.h (modified) * src/SynTree/AddStmtVisitor.h (modified) * src/SynTree/Attribute.h (modified) * src/SynTree/BaseSyntaxNode.h (modified) * src/SynTree/Constant.h (modified) * src/SynTree/Declaration.h (modified) * src/SynTree/Expression.h (modified) * src/SynTree/Initializer.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.h (modified) * src/SynTree/TypeSubstitution.h (modified) * src/SynTree/VarExprReplacer.h (modified) * src/SynTree/Visitor.h (modified) * src/Tuples/Explode.h (modified) * src/Tuples/Tuples.h (modified) * src/libcfa/concurrency/CtxSwitch-i386.S (modified) * src/libcfa/concurrency/CtxSwitch-x86_64.S (modified) * src/libcfa/concurrency/alarm.c (modified) * src/libcfa/concurrency/alarm.h (modified) * src/libcfa/concurrency/coroutine (modified) * src/libcfa/concurrency/coroutine.c (modified) * src/libcfa/concurrency/invoke.c (modified) * src/libcfa/concurrency/invoke.h (modified) * src/libcfa/concurrency/kernel (modified) * src/libcfa/concurrency/kernel.c (modified) * src/libcfa/concurrency/kernel_private.h (modified) * src/libcfa/concurrency/monitor (modified) * src/libcfa/concurrency/monitor.c (modified) * src/libcfa/concurrency/preemption.c (modified) * src/libcfa/concurrency/preemption.h (modified) * src/libcfa/concurrency/thread (modified) * src/libcfa/concurrency/thread.c (modified) * src/libcfa/containers/maybe (modified) * src/libcfa/containers/pair (modified) * src/libcfa/containers/result (modified) * src/libcfa/containers/vector (modified) * src/libcfa/exception.h (modified) * src/libcfa/interpose.c (modified) * src/libcfa/interpose.h (modified) * src/libcfa/libhdr.h (modified) * src/libcfa/libhdr/libalign.h (modified) * src/libcfa/libhdr/libdebug.h (modified) * src/libcfa/libhdr/libtools.h (modified) * src/libcfa/typeobject.h (modified) * src/tests/attributes.c (modified) * src/tests/avltree/avl-private.h (modified) * src/tests/avltree/avl.h (modified) * src/tests/vector/array.h (modified) * src/tests/vector/vector_int.h (modified) * tools/prettyprinter/ParserTypes.h (modified) * tools/prettyprinter/filter.h (modified) * tools/prettyprinter/lex.ll (modified) * tools/prettyprinter/test.y (modified) * tools/prettyprinter/token.cc (modified) * tools/prettyprinter/token.h (modified) change #ifndef to #pragma once Wed, 12 Jul 2017 17:58:00 GMT Thierry Delisle [30f9072] * src/SymTab/AddVisit.h (modified) * src/SymTab/Autogen.cc (modified) * src/SymTab/Autogen.h (modified) * src/SymTab/FixFunction.cc (modified) * src/SymTab/FixFunction.h (modified) * src/SymTab/ImplementationType.cc (modified) * src/SymTab/ImplementationType.h (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Indexer.h (modified) * src/SymTab/Mangler.cc (modified) * src/SymTab/Mangler.h (modified) * src/SymTab/TypeEquality.cc (modified) * src/SymTab/TypeEquality.h (modified) * src/SymTab/Validate.cc (modified) * src/SymTab/Validate.h (modified) More cleanup on the headers Thu, 09 Jul 2015 19:07:22 GMT Aaron Moss [82dd287] * src/CodeGen/FixNames.h (modified) * src/CodeGen/Generate.h (modified) * src/ControlStruct/CaseRangeMutator.h (modified) * src/ControlStruct/ChooseMutator.h (modified) * src/ControlStruct/LabelFixer.h (modified) * src/ControlStruct/Mutate.h (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/Box.h (modified) * src/GenPoly/CopyParams.h (modified) * src/GenPoly/Lvalue.h (modified) * src/GenPoly/Specialize.h (modified) * src/ResolvExpr/Resolver.h (modified) * src/SymTab/FixFunction.h (modified) * src/SymTab/Validate.cc (modified) * src/SymTab/Validate.h (modified) * src/SynTree/TypeSubstitution.h (modified) Doc comments Fri, 22 May 2015 01:44:51 GMT Peter A. Buhr [843054c2] * src/ArgTweak/FunctionFixer.cc (moved) * src/ArgTweak/FunctionFixer.h (moved) * src/ArgTweak/Mutate.cc (moved) * src/ArgTweak/Mutate.h (moved) * src/ArgTweak/module.mk (moved) * src/CodeGen/CodeGenerator2.cc (moved) * src/CodeGen/CodeGenerator2.h (moved) * src/CodeGen/FixNames.cc (moved) * src/CodeGen/FixNames.h (moved) * src/CodeGen/GenType.cc (moved) * src/CodeGen/GenType.h (moved) * src/CodeGen/Generate.cc (moved) * src/CodeGen/Generate.h (moved) * src/CodeGen/OperatorTable.cc (moved) * src/CodeGen/OperatorTable.h (moved) * src/CodeGen/module.mk (moved) * src/Common/CompilerError.h (moved) * src/Common/SemanticError.cc (moved) * src/Common/SemanticError.h (moved) * src/Common/UnimplementedError.h (moved) * src/Common/UniqueName.cc (moved) * src/Common/UniqueName.h (moved) * src/Common/module.mk (moved) * src/Common/utility.h (moved) * src/ControlStruct/CaseRangeMutator.cc (moved) * src/ControlStruct/CaseRangeMutator.h (moved) * src/ControlStruct/ChooseMutator.cc (moved) * src/ControlStruct/ChooseMutator.h (moved) * src/ControlStruct/ForExprMutator.cc (moved) * src/ControlStruct/ForExprMutator.h (moved) * src/ControlStruct/LabelFixer.cc (moved) * src/ControlStruct/LabelFixer.h (moved) * src/ControlStruct/LabelGenerator.cc (moved) * src/ControlStruct/LabelGenerator.h (moved) * src/ControlStruct/LabelTypeChecker.cc (moved) * src/ControlStruct/LabelTypeChecker.h (moved) * src/ControlStruct/MLEMutator.cc (moved) * src/ControlStruct/MLEMutator.h (moved) * src/ControlStruct/Mutate.cc (moved) * src/ControlStruct/Mutate.h (moved) * src/ControlStruct/module.mk (moved) * src/Designators/Processor.cc (moved) * src/Designators/Processor.h (moved) * src/Designators/module.mk (moved) * src/Docs/Makefile (moved) * src/Docs/cfa-cpp.1 (moved) * src/Docs/design.tex (moved) * src/Docs/uml.dia (moved) * src/GenPoly/Box.cc (moved) * src/GenPoly/Box.h (moved) * src/GenPoly/CopyParams.cc (moved) * src/GenPoly/CopyParams.h (moved) * src/GenPoly/FindFunction.cc (moved) * src/GenPoly/FindFunction.h (moved) * src/GenPoly/GenPoly.cc (moved) * src/GenPoly/GenPoly.h (moved) * src/GenPoly/Lvalue.cc (moved) * src/GenPoly/Lvalue.h (moved) * src/GenPoly/PolyMutator.cc (moved) * src/GenPoly/PolyMutator.h (moved) * src/GenPoly/ScrubTyVars.cc (moved) * src/GenPoly/ScrubTyVars.h (moved) * src/GenPoly/Specialize.cc (moved) * src/GenPoly/Specialize.h (moved) * src/GenPoly/module.mk (moved) * src/InitTweak/Association.cc (moved) * src/InitTweak/Association.h (moved) * src/InitTweak/BasicInit.cc (moved) * src/InitTweak/BasicInit.h (moved) * src/InitTweak/DeclarationHoister.cc (moved) * src/InitTweak/DeclarationHoister.h (moved) * src/InitTweak/InitExpander.cc (moved) * src/InitTweak/InitExpander.h (moved) * src/InitTweak/InitModel.cc (moved) * src/InitTweak/InitModel.h (moved) * src/InitTweak/Mutate.cc (moved) * src/InitTweak/Mutate.h (moved) * src/InitTweak/RemoveInit.cc (moved) * src/InitTweak/RemoveInit.h (moved) * src/InitTweak/diet_map.h (moved) * src/InitTweak/module.mk (moved) * src/MakeLibCfa.cc (moved) * src/MakeLibCfa.h (moved) * src/Makefile.in (moved) * src/Parser/DeclarationNode.cc (moved) * src/Parser/ExpressionNode.cc (moved) * src/Parser/InitializerNode.cc (moved) * src/Parser/LinkageSpec.cc (moved) * src/Parser/LinkageSpec.h (moved) * src/Parser/ParseNode.cc (moved) * src/Parser/ParseNode.h (moved) * src/Parser/Parser.cc (moved) * src/Parser/Parser.h (moved) * src/Parser/StatementNode.cc (moved) * src/Parser/TypeData.cc (moved) * src/Parser/TypeData.h (moved) * src/Parser/TypedefTable.cc (moved) * src/Parser/TypedefTable.h (moved) * src/Parser/cfa.y (moved) * src/Parser/lex.h (moved) * src/Parser/lex.l (moved) * src/Parser/module.mk (moved) * src/Parser/parseutility.cc (moved) * src/Parser/parseutility.h (moved) * src/ResolvExpr/AdjustExprType.cc (moved) * src/ResolvExpr/Alternative.cc (moved) * src/ResolvExpr/Alternative.h (moved) * src/ResolvExpr/AlternativeFinder.cc (moved) * src/ResolvExpr/AlternativeFinder.h (moved) * src/ResolvExpr/AlternativePrinter.cc (moved) * src/ResolvExpr/AlternativePrinter.h (moved) * src/ResolvExpr/CastCost.cc (moved) * src/ResolvExpr/CommonType.cc (moved) * src/ResolvExpr/ConversionCost.cc (moved) * src/ResolvExpr/ConversionCost.h (moved) * src/ResolvExpr/Cost.h (moved) * src/ResolvExpr/FindOpenVars.cc (moved) * src/ResolvExpr/FindOpenVars.h (moved) * src/ResolvExpr/Occurs.cc (moved) * src/ResolvExpr/PolyCost.cc (moved) * src/ResolvExpr/PtrsAssignable.cc (moved) * src/ResolvExpr/PtrsCastable.cc (moved) * src/ResolvExpr/RenameVars.cc (moved) * src/ResolvExpr/RenameVars.h (moved) * src/ResolvExpr/ResolveTypeof.cc (moved) * src/ResolvExpr/ResolveTypeof.h (moved) * src/ResolvExpr/Resolver.cc (moved) * src/ResolvExpr/Resolver.h (moved) * src/ResolvExpr/TypeEnvironment.cc (moved) * src/ResolvExpr/TypeEnvironment.h (moved) * src/ResolvExpr/Unify.cc (moved) * src/ResolvExpr/Unify.h (moved) * src/ResolvExpr/module.mk (moved) * src/ResolvExpr/typeops.h (moved) * src/SymTab/AddVisit.h (moved) * src/SymTab/AggregateTable.h (moved) * src/SymTab/FixFunction.cc (moved) * src/SymTab/FixFunction.h (moved) * src/SymTab/IdTable.cc (moved) * src/SymTab/IdTable.h (moved) * src/SymTab/ImplementationType.cc (moved) * src/SymTab/ImplementationType.h (moved) * src/SymTab/Indexer.cc (moved) * src/SymTab/Indexer.h (moved) * src/SymTab/Mangler.cc (moved) * src/SymTab/Mangler.h (moved) * src/SymTab/StackTable.cc (moved) * src/SymTab/StackTable.h (moved) * src/SymTab/TypeTable.h (moved) * src/SymTab/Validate.cc (moved) * src/SymTab/Validate.h (moved) * src/SymTab/module.mk (moved) * src/SynTree/AddressExpr.cc (moved) * src/SynTree/AggregateDecl.cc (moved) * src/SynTree/ApplicationExpr.cc (moved) * src/SynTree/ArrayType.cc (moved) * src/SynTree/AttrType.cc (moved) * src/SynTree/BasicType.cc (moved) * src/SynTree/CodeGenVisitor.cc (moved) * src/SynTree/CodeGenVisitor.h (moved) * src/SynTree/CommaExpr.cc (moved) * src/SynTree/CompoundStmt.cc (moved) * src/SynTree/Constant.cc (moved) * src/SynTree/Constant.h (moved) * src/SynTree/DeclStmt.cc (moved) * src/SynTree/Declaration.cc (moved) * src/SynTree/Declaration.h (moved) * src/SynTree/DeclarationWithType.cc (moved) * src/SynTree/Expression.cc (moved) * src/SynTree/Expression.h (moved) * src/SynTree/FunctionDecl.cc (moved) * src/SynTree/FunctionType.cc (moved) * src/SynTree/Initializer.cc (moved) * src/SynTree/Initializer.h (moved) * src/SynTree/Makefile (moved) * src/SynTree/Mutator.cc (moved) * src/SynTree/Mutator.h (moved) * src/SynTree/NamedTypeDecl.cc (moved) * src/SynTree/ObjectDecl.cc (moved) * src/SynTree/PointerType.cc (moved) * src/SynTree/ReferenceToType.cc (moved) * src/SynTree/Statement.cc (moved) * src/SynTree/Statement.h (moved) * src/SynTree/SynTree.h (moved) * src/SynTree/TupleExpr.cc (moved) * src/SynTree/TupleType.cc (moved) * src/SynTree/Type.cc (moved) * src/SynTree/Type.h (moved) * src/SynTree/TypeDecl.cc (moved) * src/SynTree/TypeExpr.cc (moved) * src/SynTree/TypeSubstitution.cc (moved) * src/SynTree/TypeSubstitution.h (moved) * src/SynTree/TypeofType.cc (moved) * src/SynTree/Visitor.cc (moved) * src/SynTree/Visitor.h (moved) * src/SynTree/VoidType.cc (moved) * src/SynTree/module.mk (moved) * src/Tests/Parser/Array.c (moved) * src/Tests/Parser/Constant0-1.c (moved) * src/Tests/Parser/DeclarationSpecifier.c (moved) * src/Tests/Parser/Expected/Array.tst (moved) * src/Tests/Parser/Expected/Constant0-1.tst (moved) * src/Tests/Parser/Expected/DeclarationSpecifier.tst (moved) * src/Tests/Parser/Expected/Forall.tst (moved) * src/Tests/Parser/Expected/Functions.tst (moved) * src/Tests/Parser/Expected/IdentFuncDeclarator.tst (moved) * src/Tests/Parser/Expected/IdentFuncParamDeclarator.tst (moved) * src/Tests/Parser/Expected/Initialization.tst (moved) * src/Tests/Parser/Expected/Scope.tst (moved) * src/Tests/Parser/Expected/StructMember.tst (moved) * src/Tests/Parser/Expected/Tuple.tst (moved) * src/Tests/Parser/Expected/TypeGenerator.tst (moved) * src/Tests/Parser/Expected/Typedef.tst (moved) * src/Tests/Parser/Expected/TypedefDeclarator.tst (moved) * src/Tests/Parser/Expected/TypedefParamDeclarator.tst (moved) * src/Tests/Parser/Expected/VariableDeclarator.tst (moved) * src/Tests/Parser/Forall.c (moved) * src/Tests/Parser/Functions.c (moved) * src/Tests/Parser/IdentFuncDeclarator.c (moved) * src/Tests/Parser/IdentFuncParamDeclarator.c (moved) * src/Tests/Parser/Initialization.c (moved) * src/Tests/Parser/Makefile (moved) * src/Tests/Parser/Scope.c (moved) * src/Tests/Parser/StructMember.c (moved) * src/Tests/Parser/Tuple.c (moved) * src/Tests/Parser/TypeGenerator.c (moved) * src/Tests/Parser/Typedef.c (moved) * src/Tests/Parser/TypedefDeclarator.c (moved) * src/Tests/Parser/TypedefParamDeclarator.c (moved) * src/Tests/Parser/VariableDeclarator.c (moved) * src/Tests/ResolvExpr/Abstype.c (moved) * src/Tests/ResolvExpr/Attributes.c (moved) * src/Tests/ResolvExpr/Cast.c (moved) * src/Tests/ResolvExpr/CastError.c (moved) * src/Tests/ResolvExpr/Expected/Abstype.tst (moved) * src/Tests/ResolvExpr/Expected/Attributes.tst (moved) * src/Tests/ResolvExpr/Expected/Cast.tst (moved) * src/Tests/ResolvExpr/Expected/CastError.tst (moved) * src/Tests/ResolvExpr/Expected/Forall.tst (moved) * src/Tests/ResolvExpr/Expected/Function.tst (moved) * src/Tests/ResolvExpr/Expected/InferParam.tst (moved) * src/Tests/ResolvExpr/Expected/Members.tst (moved) * src/Tests/ResolvExpr/Expected/Misc.tst (moved) * src/Tests/ResolvExpr/Expected/MiscError.tst (moved) * src/Tests/ResolvExpr/Expected/OccursError.tst (moved) * src/Tests/ResolvExpr/Expected/Operators.tst (moved) * src/Tests/ResolvExpr/Expected/Quad.tst (moved) * src/Tests/ResolvExpr/Expected/Rank2.tst (moved) * src/Tests/ResolvExpr/Expected/ShortCircuit.tst (moved) * src/Tests/ResolvExpr/Expected/Statement.tst (moved) * src/Tests/ResolvExpr/Forall.c (moved) * src/Tests/ResolvExpr/Function.c (moved) * src/Tests/ResolvExpr/InferParam.c (moved) * src/Tests/ResolvExpr/Makefile (moved) * src/Tests/ResolvExpr/Members.c (moved) * src/Tests/ResolvExpr/Misc.c (moved) * src/Tests/ResolvExpr/MiscError.c (moved) * src/Tests/ResolvExpr/OccursError.c (moved) * src/Tests/ResolvExpr/Operators.c (moved) * src/Tests/ResolvExpr/Quad.c (moved) * src/Tests/ResolvExpr/Rank2.c (moved) * src/Tests/ResolvExpr/ShortCircuit.c (moved) * src/Tests/ResolvExpr/Statement.c (moved) * src/Tests/ResolvExpr/make-rules (moved) * src/Tests/ResolvExpr/run-tests.sh (moved) * src/Tests/SynTree/Array.c (moved) * src/Tests/SynTree/Constant0-1.c (moved) * src/Tests/SynTree/Context.c (moved) * src/Tests/SynTree/DeclarationErrors.c (moved) * src/Tests/SynTree/DeclarationSpecifier.c (moved) * src/Tests/SynTree/Enum.c (moved) * src/Tests/SynTree/Expected-SymTab/Array.tst (moved) * src/Tests/SynTree/Expected-SymTab/Context.tst (moved) * src/Tests/SynTree/Expected-SymTab/Enum.tst (moved) * src/Tests/SynTree/Expected-SymTab/Forall.tst (moved) * src/Tests/SynTree/Expected-SymTab/Scope.tst (moved) * src/Tests/SynTree/Expected-SymTab/ScopeErrors.tst (moved) * src/Tests/SynTree/Expected-SymTab/Tuple.tst (moved) * src/Tests/SynTree/Expected/Array.tst (moved) * src/Tests/SynTree/Expected/Constant0-1.tst (moved) * src/Tests/SynTree/Expected/Context.tst (moved) * src/Tests/SynTree/Expected/DeclarationSpecifier.tst (moved) * src/Tests/SynTree/Expected/Enum.tst (moved) * src/Tests/SynTree/Expected/Forall.tst (moved) * src/Tests/SynTree/Expected/Functions.tst (moved) * src/Tests/SynTree/Expected/IdentFuncDeclarator.tst (moved) * src/Tests/SynTree/Expected/Initialization.tst (moved) * src/Tests/SynTree/Expected/Scope.tst (moved) * src/Tests/SynTree/Expected/StructMember.tst (moved) * src/Tests/SynTree/Expected/Tuple.tst (moved) * src/Tests/SynTree/Expected/TypeGenerator.tst (moved) * src/Tests/SynTree/Expected/Typedef.tst (moved) * src/Tests/SynTree/Expected/TypedefDeclarator.tst (moved) * src/Tests/SynTree/Expected/TypedefParamDeclarator.tst (moved) * src/Tests/SynTree/Expected/VariableDeclarator.tst (moved) * src/Tests/SynTree/Forall.c (moved) * src/Tests/SynTree/Functions.c (moved) * src/Tests/SynTree/IdentFuncDeclarator.c (moved) * src/Tests/SynTree/IdentFuncParamDeclarator.c (moved) * src/Tests/SynTree/Initialization.c (moved) * src/Tests/SynTree/Makefile (moved) * src/Tests/SynTree/Scope.c (moved) * src/Tests/SynTree/ScopeErrors.c (moved) * src/Tests/SynTree/StructMember.c (moved) * src/Tests/SynTree/Tuple.c (moved) * src/Tests/SynTree/TypeGenerator.c (moved) * src/Tests/SynTree/Typedef.c (moved) * src/Tests/SynTree/TypedefDeclarator.c (moved) * src/Tests/SynTree/TypedefParamDeclarator.c (moved) * src/Tests/SynTree/VariableDeclarator.c (moved) * src/Tests/SynTree/make-rules (moved) * src/Tests/SynTree/run-tests.sh (moved) * src/Tests/Syntax/Array.c (moved) * src/Tests/Syntax/AsmName.c (moved) * src/Tests/Syntax/Attributes.c (moved) * src/Tests/Syntax/CharStringConstants.c (moved) * src/Tests/Syntax/CommentMisc.c (moved) * src/Tests/Syntax/Constant0-1.c (moved) * src/Tests/Syntax/DeclarationSpecifier.c (moved) * src/Tests/Syntax/Exception.c (moved) * src/Tests/Syntax/Expression.c (moved) * src/Tests/Syntax/Forall.c (moved) * src/Tests/Syntax/Functions.c (moved) * src/Tests/Syntax/GccExtensions.c (moved) * src/Tests/Syntax/IdentFuncDeclarator.c (moved) * src/Tests/Syntax/IdentFuncParamDeclarator.c (moved) * src/Tests/Syntax/Initialization.c (moved) * src/Tests/Syntax/LabelledExit.c (moved) * src/Tests/Syntax/Makefile (moved) * src/Tests/Syntax/NamedParmArg.c (moved) * src/Tests/Syntax/NumericConstants.c (moved) * src/Tests/Syntax/Scope.c (moved) * src/Tests/Syntax/StructMember.c (moved) * src/Tests/Syntax/Subrange.c (moved) * src/Tests/Syntax/Switch.c (moved) * src/Tests/Syntax/Tuple.c (moved) * src/Tests/Syntax/TypeGenerator.c (moved) * src/Tests/Syntax/Typedef.c (moved) * src/Tests/Syntax/TypedefDeclarator.c (moved) * src/Tests/Syntax/TypedefParamDeclarator.c (moved) * src/Tests/Syntax/Typeof.c (moved) * src/Tests/Syntax/VariableDeclarator.c (moved) * src/Tests/TupleAssign/Initialization2.c (moved) * src/Tests/gcc/900407-1.c (moved) * src/Tests/gcc/900516-1.c (moved) * src/Tests/gcc/920301-1.c (moved) * src/Tests/gcc/920409-1.c (moved) * src/Tests/gcc/920409-2.c (moved) * src/Tests/gcc/920410-2.c (moved) * src/Tests/gcc/920501-1.c (moved) * src/Tests/gcc/920501-11.c (moved) * src/Tests/gcc/920501-19.c (moved) * src/Tuples/AssignExpand.cc (moved) * src/Tuples/AssignExpand.h (moved) * src/Tuples/FlattenTuple.cc (moved) * src/Tuples/FlattenTuple.h (moved) * src/Tuples/FunctionChecker.cc (moved) * src/Tuples/FunctionChecker.h (moved) * src/Tuples/FunctionFixer.cc (moved) * src/Tuples/FunctionFixer.h (moved) * src/Tuples/MultRet.cc (moved) * src/Tuples/MultRet.h (moved) * src/Tuples/Mutate.cc (moved) * src/Tuples/Mutate.h (moved) * src/Tuples/NameMatcher.cc (moved) * src/Tuples/NameMatcher.h (moved) * src/Tuples/TupleAssignment.cc (moved) * src/Tuples/TupleAssignment.h (moved) * src/Tuples/module.mk (moved) * src/attr-ex (moved) * src/comments.txt (moved) * src/examples/Makefile.in (moved) * src/examples/abstype.c (moved) * src/examples/array.c (moved) * src/examples/array.h (moved) * src/examples/constants.c (moved) * src/examples/control_structures.c (moved) * src/examples/ctxts.c (moved) * src/examples/esskaykay.c (moved) * src/examples/forward.c (moved) * src/examples/fstream.c (moved) * src/examples/fstream.h (moved) * src/examples/fstream_test.c (moved) * src/examples/fwrite.c (moved) * src/examples/hello.c (moved) * src/examples/huge.c (moved) * src/examples/identity.c (moved) * src/examples/includes.c (moved) * src/examples/index.h (moved) * src/examples/iostream.c (moved) * src/examples/iostream.h (moved) * src/examples/it_out.c (moved) * src/examples/iterator.c (moved) * src/examples/iterator.h (moved) * src/examples/min.c (moved) * src/examples/new.c (moved) * src/examples/prolog.c (moved) * src/examples/quad.c (moved) * src/examples/quoted_keyword.c (moved) * src/examples/rodolfo1.c (moved) * src/examples/rodolfo2.c (moved) * src/examples/s.c (moved) * src/examples/simple.c (moved) * src/examples/simplePoly.c (moved) * src/examples/simpler.c (moved) * src/examples/specialize.c (moved) * src/examples/square.c (moved) * src/examples/square.cf (moved) * src/examples/sum.c (moved) * src/examples/swap.c (moved) * src/examples/twice.c (moved) * src/examples/vector_int.c (moved) * src/examples/vector_int.h (moved) * src/examples/vector_test.c (moved) * src/initialization.txt (moved) * src/main.cc (moved) * src/preludesrc.c (moved) * src/spectest (moved) licencing: seventh groups of files