# # ChangeLog for src/GenPoly # # Generated by Trac 1.2.1 # Nov 22, 2024, 1:16:44 AM Wed, 13 Apr 2016 19:02:30 GMT Aaron Moss [aa19ccf] * src/GenPoly/Box.cc (modified) Box no longer marks generic type layouts calculated past scope of ... Tue, 12 Apr 2016 18:30:22 GMT Aaron Moss [4b8f918] * src/GenPoly/Box.cc (modified) Fix modularization for generic types, so that caller is only required ... Mon, 11 Apr 2016 20:41:22 GMT Aaron Moss [5ba653c] * src/GenPoly/ScopedMap.h (modified) * src/GenPoly/ScopedSet.h (modified) Fix latent empty-scope iteration bug in ScopedMap/Set Mon, 11 Apr 2016 19:29:19 GMT Aaron Moss [6f49cdf] * src/GenPoly/Box.cc (modified) * src/GenPoly/FindFunction.cc (modified) Switch uses of TyVarMap over to begin/endScope() Mon, 11 Apr 2016 19:22:36 GMT Aaron Moss [bfae637] * src/GenPoly/Box.cc (modified) * src/GenPoly/ErasableScopedMap.h (added) * src/GenPoly/FindFunction.cc (modified) * src/GenPoly/GenPoly.cc (modified) * src/GenPoly/GenPoly.h (modified) * src/GenPoly/PolyMutator.cc (modified) Initial compiling build with TyVarMap as ErasableScopedMap Fri, 08 Apr 2016 19:49:19 GMT Aaron Moss [63c0dbf] * src/GenPoly/Box.cc (modified) Made Pass1::assignOps a ScopedMap Fri, 08 Apr 2016 18:43:20 GMT Aaron Moss [adc6781] * src/GenPoly/Box.cc (modified) * src/GenPoly/GenPoly.cc (modified) * src/GenPoly/GenPoly.h (modified) * src/GenPoly/ScrubTyVars.cc (modified) Remove unnecessarily duplicated name-mangling passes in Box Fri, 08 Apr 2016 14:38:28 GMT Aaron Moss [8a34677] * src/GenPoly/Box.cc (modified) Move layout function generation into renamed MemberExprFixer pass Wed, 06 Apr 2016 21:13:09 GMT Aaron Moss [bc1ab61] * src/GenPoly/Box.cc (modified) Clean up previous fix to comma expression boxing Wed, 06 Apr 2016 21:03:29 GMT Aaron Moss [b3ab8f0] * src/GenPoly/Box.cc (modified) Fix boxing error on comma expressions Wed, 06 Apr 2016 19:53:44 GMT Aaron Moss [2a76297] * src/GenPoly/Box.cc (modified) Fixed duplicate generation of offset arrays Wed, 06 Apr 2016 19:09:26 GMT Aaron Moss [ae7014e] * src/GenPoly/Box.cc (modified) Fix bug that forgets to add dtype mappings to assign op expression Tue, 05 Apr 2016 20:54:48 GMT Aaron Moss [d75038c] * src/GenPoly/Box.cc (modified) Fix segfault bug introduced in layout function code Tue, 05 Apr 2016 19:31:09 GMT Aaron Moss [afc1045] * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/CodeGenerator.h (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/ScopedSet.h (added) * src/InitTweak/InitModel.h (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/AlternativeFinder.h (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Indexer.h (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) * src/SynTree/Mutator.cc (modified) * src/SynTree/Mutator.h (modified) * src/SynTree/SynTree.h (modified) * src/SynTree/Visitor.cc (modified) * src/SynTree/Visitor.h (modified) * src/Tuples/FlattenTuple.cc (modified) * src/Tuples/FlattenTuple.h (modified) Hoist OffsetPackExpr to top level expression Thu, 10 Mar 2016 21:56:53 GMT Aaron Moss [89173242] * src/GenPoly/Box.cc (modified) Added first draft of use of layout functions Wed, 09 Mar 2016 20:11:25 GMT Aaron Moss [0531b5d] * src/GenPoly/Box.cc (modified) * src/GenPoly/ScopedMap.h (modified) Fixed ScopedMap's const find, refactored InstantionMap to use ScopedMap Wed, 09 Mar 2016 17:30:14 GMT Aaron Moss [d1caa6c] * src/GenPoly/Box.cc (modified) Refactor ConcreteType, InstantiationMap to be more generically useful Wed, 09 Mar 2016 15:37:29 GMT Aaron Moss [ac633d0] * src/GenPoly/Box.cc (modified) Strip some dead code from Box.cc Tue, 08 Mar 2016 15:32:47 GMT Aaron Moss [4e284ea6] * src/GenPoly/Box.cc (modified) * src/GenPoly/InstantiateGeneric.cc (deleted) * src/GenPoly/InstantiateGeneric.h (deleted) * src/GenPoly/module.mk (modified) * src/Makefile.in (modified) Move InstantiateGeneric into Box.cc to share impl details Mon, 07 Mar 2016 18:37:42 GMT Aaron Moss [6635c74] * src/GenPoly/Box.cc (modified) Switched GenPoly::Pass1.adapters over to non-copying ScopedMap from ... Mon, 07 Mar 2016 18:25:48 GMT Aaron Moss [2e60a1a] * src/GenPoly/Box.cc (modified) Fix parameter names for layout functions Thu, 03 Mar 2016 20:59:25 GMT Aaron Moss [bd91e2a] * src/GenPoly/Box.cc (modified) Properly clone types in layout function generation Thu, 03 Mar 2016 18:46:51 GMT Aaron Moss [3627356] * src/GenPoly/Box.cc (modified) Fix compile-bugs in draft of layout function generation pass Thu, 03 Mar 2016 18:28:51 GMT Aaron Moss [9d7b3ea] * src/GenPoly/Box.cc (modified) * src/SynTree/Constant.cc (modified) * src/SynTree/Constant.h (modified) First draft of layout function builders Mon, 29 Feb 2016 22:42:02 GMT Aaron Moss [dbd8652] * src/GenPoly/DeclMutator.cc (modified) * src/GenPoly/DeclMutator.h (modified) Add capability to add declarations after current one to DeclMutator Tue, 23 Feb 2016 21:32:15 GMT Aaron Moss [4067aa8] * src/GenPoly/Box.cc (modified) Fix non-polymorphic members of polymorphic types (general case of ... Tue, 23 Feb 2016 20:52:49 GMT Aaron Moss [dc12481] * src/GenPoly/Box.cc (modified) * src/ResolvExpr/TypeMap.h (added) Modify box pass to support partially-polymorphic generic types; add ... Thu, 18 Feb 2016 20:09:40 GMT Aaron Moss [4318107] * src/GenPoly/Box.cc (modified) Fix member expressions for polymorphic generic types where the member ... Wed, 17 Feb 2016 21:40:26 GMT Aaron Moss [30aeb27] * src/GenPoly/Box.cc (modified) Fix makeAdapterArg() to account for polymorphic generic types Wed, 17 Feb 2016 20:08:16 GMT Aaron Moss [9407ed8] * src/GenPoly/Box.cc (modified) Fixed unnecessary address-of for polymorphic objects Tue, 16 Feb 2016 22:31:06 GMT Aaron Moss [5c52b06] * src/GenPoly/Box.cc (modified) Pass polymorphism information for generic types in function return ... Fri, 12 Feb 2016 19:16:51 GMT Aaron Moss [bed4d37c] * src/GenPoly/Box.cc (modified) Improve member expression finding routine Thu, 11 Feb 2016 20:28:27 GMT Aaron Moss [cce7872] * src/GenPoly/Box.cc (modified) * src/Parser/lex.cc (modified) * src/Parser/lex.ll (modified) * src/Parser/parser.cc (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/CastCost.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/examples/abs.c (modified) * src/examples/alloc.c (modified) * src/examples/minmax.c (modified) * src/examples/random.c (modified) * src/examples/sum.c (modified) * src/examples/swap.c (modified) * src/libcfa/Makefile.am (modified) * src/libcfa/Makefile.in (modified) * src/libcfa/algorithm (deleted) * src/libcfa/algorithm.c (deleted) * src/libcfa/iostream.c (modified) * src/libcfa/stdlib (added) * src/libcfa/stdlib.c (added) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Thu, 11 Feb 2016 20:28:23 GMT Aaron Moss [98735ef] * src/GenPoly/Box.cc (modified) * src/SymTab/Validate.cc (modified) Renamed type parameters on generic struct assignment operators Fri, 05 Feb 2016 22:09:04 GMT Peter A. Buhr [bd85400] * src/GenPoly/Box.cc (modified) * src/Parser/lex.cc (modified) * src/Parser/lex.ll (modified) * src/Parser/parser.cc (modified) * src/Parser/parser.yy (modified) * src/examples/abs.c (modified) * src/examples/alloc.c (modified) * src/examples/minmax.c (modified) * src/examples/random.c (modified) * src/examples/sum.c (modified) * src/examples/swap.c (modified) * src/libcfa/Makefile.am (modified) * src/libcfa/Makefile.in (modified) * src/libcfa/algorithm (deleted) * src/libcfa/algorithm.c (deleted) * src/libcfa/stdlib (added) * src/libcfa/stdlib.c (added) remove offsetof keyword, parser 0/1 names as structure fields, update ... Fri, 05 Feb 2016 21:41:25 GMT Aaron Moss [408d460] * src/GenPoly/Box.cc (modified) * src/GenPoly/FindFunction.cc (modified) * src/libcfa/algorithm (modified) * src/libcfa/algorithm.c (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Fri, 05 Feb 2016 21:41:20 GMT Aaron Moss [b10c9959] * src/GenPoly/Box.cc (modified) First draft of fixing polymorphic generic return types Fri, 05 Feb 2016 17:28:21 GMT Rob Schluntz [4789f44] * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/CodeGenerator.h (modified) * src/GenPoly/Box.cc (modified) * src/InitTweak/InitModel.h (modified) * src/Parser/ExpressionNode.cc (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/AlternativeFinder.h (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Indexer.h (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) * src/SynTree/Mutator.cc (modified) * src/SynTree/Mutator.h (modified) * src/SynTree/SynTree.h (modified) * src/SynTree/Visitor.cc (modified) * src/SynTree/Visitor.h (modified) * src/Tuples/FlattenTuple.cc (modified) * src/Tuples/FlattenTuple.h (modified) Merge branch 'master' into fix-argument-passing-type-warnings Fri, 05 Feb 2016 17:27:21 GMT Rob Schluntz [b4cd03b7] * src/GenPoly/Box.cc (modified) * src/GenPoly/FindFunction.cc (modified) * src/libcfa/algorithm (modified) * src/libcfa/algorithm.c (modified) fix many warnings from gcc by adding appropriate casts to adapter ... Tue, 02 Feb 2016 19:00:37 GMT Aaron Moss [2a4b088] * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/CodeGenerator.h (modified) * src/GenPoly/Box.cc (modified) * src/InitTweak/InitModel.h (modified) * src/Parser/ExpressionNode.cc (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/AlternativeFinder.h (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Indexer.h (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) * src/SynTree/Mutator.cc (modified) * src/SynTree/Mutator.h (modified) * src/SynTree/SynTree.h (modified) * src/SynTree/Visitor.cc (modified) * src/SynTree/Visitor.h (modified) * src/Tuples/FlattenTuple.cc (modified) * src/Tuples/FlattenTuple.h (modified) Make offsetof expressions work Fri, 29 Jan 2016 21:36:46 GMT Peter A. Buhr [ae8b942] * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/CodeGenerator.h (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/GenPoly.cc (modified) * src/GenPoly/GenPoly.h (modified) * src/GenPoly/PolyMutator.cc (modified) * src/GenPoly/PolyMutator.h (modified) * src/GenPoly/ScopedMap.h (added) * src/GenPoly/ScrubTyVars.cc (modified) * src/GenPoly/ScrubTyVars.h (modified) * src/InitTweak/InitModel.h (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/AlternativeFinder.h (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Indexer.h (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) * src/SynTree/Initializer.h (modified) * src/SynTree/Mutator.cc (modified) * src/SynTree/Mutator.h (modified) * src/SynTree/SynTree.h (modified) * src/SynTree/Visitor.cc (modified) * src/SynTree/Visitor.h (modified) * src/Tuples/FlattenTuple.cc (modified) * src/Tuples/FlattenTuple.h (modified) * src/main.cc (modified) Merge branch 'master' of plg2:software/cfa/cfa-cc Fri, 29 Jan 2016 21:36:39 GMT Peter A. Buhr [d3b7937] * .gitignore (modified) * Makefile.am (modified) * Makefile.in (modified) * config.h.in (modified) * configure (modified) * configure.ac (modified) * src/CodeGen/CodeGenerator.cc (modified) * src/ControlStruct/CaseRangeMutator.cc (modified) * src/ControlStruct/ChooseMutator.h (modified) * src/ControlStruct/ForExprMutator.h (modified) * src/ControlStruct/LabelFixer.cc (modified) * src/ControlStruct/LabelFixer.h (modified) * src/ControlStruct/LabelTypeChecker.h (modified) * src/ControlStruct/MLEMutator.h (modified) * src/ControlStruct/Mutate.cc (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/CopyParams.cc (modified) * src/GenPoly/InstantiateGeneric.cc (modified) * src/GenPoly/Lvalue.cc (modified) * src/GenPoly/Specialize.cc (modified) * src/InitTweak/BasicInit.cc (modified) * src/InitTweak/DeclarationHoister.cc (modified) * src/InitTweak/InitExpander.cc (modified) * src/InitTweak/InitExpander.h (modified) * src/InitTweak/InitModel.h (modified) * src/MakeLibCfa.cc (modified) * src/Makefile.am (modified) * src/Makefile.in (modified) * src/Parser/ExpressionNode.cc (modified) * src/Parser/LinkageSpec.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/StatementNode.cc (modified) * src/Parser/TypeData.cc (modified) * src/Parser/module.mk (modified) * src/ResolvExpr/Alternative.cc (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/AlternativePrinter.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/TypeEnvironment.cc (modified) * src/ResolvExpr/Unify.cc (modified) * src/ResolvExpr/Unify.h (modified) * src/SymTab/FixFunction.cc (modified) * src/SymTab/IdTable.cc (modified) * src/SymTab/ImplementationType.cc (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/AddressExpr.cc (modified) * src/SynTree/AggregateDecl.cc (modified) * src/SynTree/ApplicationExpr.cc (modified) * src/SynTree/ArrayType.cc (modified) * src/SynTree/AttrType.cc (modified) * src/SynTree/CommaExpr.cc (modified) * src/SynTree/CompoundStmt.cc (modified) * src/SynTree/DeclStmt.cc (modified) * src/SynTree/Declaration.cc (modified) * src/SynTree/DeclarationWithType.cc (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/FunctionDecl.cc (modified) * src/SynTree/FunctionType.cc (modified) * src/SynTree/Initializer.cc (modified) * src/SynTree/Mutator.cc (modified) * src/SynTree/Mutator.h (modified) * src/SynTree/NamedTypeDecl.cc (modified) * src/SynTree/ObjectDecl.cc (modified) * src/SynTree/PointerType.cc (modified) * src/SynTree/ReferenceToType.cc (modified) * src/SynTree/TupleExpr.cc (modified) * src/SynTree/TupleType.cc (modified) * src/SynTree/Type.cc (modified) * src/SynTree/TypeDecl.cc (modified) * src/SynTree/TypeExpr.cc (modified) * src/SynTree/TypeofType.cc (modified) * src/SynTree/Visitor.h (modified) * src/Tuples/AssignExpand.h (modified) * src/Tuples/FunctionChecker.cc (modified) * src/Tuples/FunctionChecker.h (modified) * src/Tuples/TupleAssignment.cc (modified) * src/driver/Makefile.am (modified) * src/driver/Makefile.in (modified) * src/driver/cc1.cc (modified) * src/driver/cfa.cc (modified) * src/examples/Makefile.am (modified) * src/examples/Makefile.in (modified) * src/examples/abs.c (added) * src/examples/alloc.c (modified) * src/examples/array.h (modified) * src/examples/constants.c (modified) * src/examples/fstream_test.c (modified) * src/examples/hello.c (modified) * src/examples/identity.c (modified) * src/examples/limits.c (added) * src/examples/minmax.c (moved) * src/examples/new.c (modified) * src/examples/quad.c (modified) * src/examples/quoted_keyword.c (modified) * src/examples/square.c (modified) * src/examples/sum.c (modified) * src/examples/swap.c (modified) * src/examples/twice.c (modified) * src/examples/vector_test.c (modified) * src/libcfa/Makefile.am (modified) * src/libcfa/Makefile.in (modified) * src/libcfa/algorithm (added) * src/libcfa/algorithm.c (added) * src/libcfa/bfd.h (moved) * src/libcfa/bfdlink.h (moved) * src/libcfa/demangle.h (moved) * src/libcfa/dialog.h (moved) * src/libcfa/evdns.h (moved) * src/libcfa/evhttp.h (moved) * src/libcfa/evrpc.h (moved) * src/libcfa/expat.h (moved) * src/libcfa/fcntl.h (moved) * src/libcfa/form.h (moved) * src/libcfa/fstream (moved) * src/libcfa/fstream.c (moved) * src/libcfa/gcrypt.h (moved) * src/libcfa/iostream (moved) * src/libcfa/iostream.c (moved) * src/libcfa/iterator (moved) * src/libcfa/iterator.c (moved) * src/libcfa/limits (added) * src/libcfa/math.h (moved) * src/main.cc (modified) building runtime library (first attempt) Fri, 22 Jan 2016 20:30:43 GMT Aaron Moss [8488c715] * src/GenPoly/Box.cc (modified) * src/GenPoly/GenPoly.cc (modified) * src/GenPoly/GenPoly.h (modified) Fixed dereferencing in member expressions Fri, 22 Jan 2016 19:21:29 GMT Aaron Moss [6d160d7] * src/GenPoly/ScrubTyVars.cc (modified) Fixed type scrubbing for pointers to polymorphic generic types Fri, 22 Jan 2016 18:54:30 GMT Aaron Moss [32805db] * src/GenPoly/Box.cc (modified) * src/GenPoly/GenPoly.cc (modified) Switched parameter adder over to add for pointer*-to-polymorphic- ... Fri, 22 Jan 2016 16:42:32 GMT Aaron Moss [4a79e3c9] * src/GenPoly/Box.cc (modified) Fix offset temporary array generation Thu, 21 Jan 2016 21:51:51 GMT Aaron Moss [567bb17] * src/GenPoly/Box.cc (modified) fix (?) void* errors on member offsets Thu, 21 Jan 2016 21:40:58 GMT Aaron Moss [421edab] * src/CodeGen/CodeGenerator.cc (modified) * src/GenPoly/Specialize.cc (modified) Merge changes from master Thu, 21 Jan 2016 21:35:33 GMT Aaron Moss [05d47278] * src/GenPoly/Box.cc (modified) * src/GenPoly/GenPoly.cc (modified) * src/GenPoly/GenPoly.h (modified) * src/SynTree/Initializer.h (modified) * src/main.cc (modified) First draft of member expressions by passed offset Wed, 20 Jan 2016 17:55:39 GMT Rob Schluntz [803deb1] * src/CodeGen/CodeGenerator.cc (modified) * src/GenPoly/Specialize.cc (modified) fix cast to void error Wed, 13 Jan 2016 22:01:22 GMT Aaron Moss [1194734] * src/GenPoly/Box.cc (modified) Continue to work on handling polymorphic generic returns Wed, 13 Jan 2016 22:00:46 GMT Aaron Moss [933667d] * src/GenPoly/ScopedMap.h (modified) Bugfixes for ScopedMap Wed, 13 Jan 2016 20:49:11 GMT Aaron Moss [52bbd67] * src/GenPoly/ScopedMap.h (added) Added ScopedMap Wed, 13 Jan 2016 19:31:28 GMT Aaron Moss [48ca586] * src/GenPoly/Box.cc (modified) addPolyRetParam now handles polymorphic generic types Tue, 12 Jan 2016 23:12:10 GMT Aaron Moss [aadc9a4] * src/GenPoly/Box.cc (modified) * src/GenPoly/GenPoly.cc (modified) * src/GenPoly/GenPoly.h (modified) * src/GenPoly/PolyMutator.cc (modified) * src/GenPoly/PolyMutator.h (modified) Refactor isPolyRet to include generic return types Tue, 12 Jan 2016 20:56:30 GMT Aaron Moss [ebe9b3a] * src/GenPoly/ScrubTyVars.cc (modified) * src/GenPoly/ScrubTyVars.h (modified) Stripped unused and potentially buggy 'doAll' flag from ScrubTyVars Tue, 12 Jan 2016 20:36:16 GMT Aaron Moss [b18b0b5] * src/GenPoly/Box.cc (modified) * src/GenPoly/ScrubTyVars.cc (modified) * src/GenPoly/ScrubTyVars.h (modified) Replace generic type function parameters with void* Wed, 30 Dec 2015 14:07:10 GMT Aaron Moss [1cced28] * src/GenPoly/Box.cc (modified) box arguments to generic parameters Fri, 18 Dec 2015 19:56:11 GMT Rob Schluntz [ae63a18] * configure (modified) * configure.ac (modified) * doc/refrat/refrat.tex (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/GenPoly.cc (modified) * src/GenPoly/GenPoly.h (modified) * src/GenPoly/InstantiateGeneric.cc (modified) * src/GenPoly/Lvalue.cc (modified) * src/GenPoly/ScrubTyVars.cc (modified) * src/GenPoly/ScrubTyVars.h (modified) * src/GenPoly/Specialize.cc (modified) * src/InitTweak/RemoveInit.cc (modified) * src/InitTweak/RemoveInit.h (modified) * src/Makefile.in (modified) * src/SymTab/Mangler.cc (modified) * src/SymTab/Mangler.h (modified) * src/SynTree/PointerType.cc (modified) * src/SynTree/Type.h (modified) * src/driver/Makefile.in (modified) * src/examples/Makefile.in (modified) * src/examples/fstream_test.c (modified) * src/examples/hello.c (modified) * src/examples/iostream.c (modified) * src/examples/iostream.h (modified) * src/examples/sum.c (modified) * src/examples/tests/log.txt (deleted) * src/examples/vector_test.c (modified) * src/libcfa/Makefile.am (modified) * src/libcfa/Makefile.in (modified) * src/main.cc (modified) resolving conflicts Fri, 18 Dec 2015 19:43:06 GMT Rob Schluntz [baf7fee] * src/GenPoly/PolyMutator.h (modified) * src/SynTree/Declaration.cc (modified) * src/SynTree/Declaration.h (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) * src/SynTree/Statement.cc (modified) * src/SynTree/Statement.h (modified) * src/SynTree/Type.cc (modified) * src/SynTree/Type.h (modified) added output operators for AST types, made makeTyVars public in ... Thu, 17 Dec 2015 17:00:55 GMT Aaron Moss [69911c11] * src/GenPoly/Box.cc (modified) * src/GenPoly/GenPoly.cc (modified) * src/SymTab/Mangler.cc (modified) * src/SymTab/Mangler.h (modified) Restore Mangler to closer to previous behaviour Wed, 16 Dec 2015 21:59:58 GMT Aaron Moss [7754cde] * src/GenPoly/Box.cc (modified) * src/GenPoly/GenPoly.cc (modified) * src/GenPoly/GenPoly.h (modified) * src/GenPoly/ScrubTyVars.cc (modified) * src/GenPoly/Specialize.cc (modified) First draft of passing generic size/align Wed, 16 Dec 2015 20:21:05 GMT Aaron Moss [0f889a77] * src/GenPoly/GenPoly.cc (modified) * src/GenPoly/GenPoly.h (modified) Added unfiltered version of isPoly{Type,Ptr} Tue, 15 Dec 2015 22:33:25 GMT Aaron Moss [5f6c42c] * doc/refrat/refrat.tex (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/GenPoly.cc (modified) * src/GenPoly/Lvalue.cc (modified) * src/InitTweak/RemoveInit.cc (modified) * src/InitTweak/RemoveInit.h (modified) * src/SynTree/PointerType.cc (modified) * src/SynTree/Type.h (modified) * src/examples/fstream_test.c (modified) * src/examples/hello.c (modified) * src/examples/iostream.c (modified) * src/examples/iostream.h (modified) * src/examples/sum.c (modified) * src/examples/vector_test.c (modified) Merge changes from Peter Tue, 15 Dec 2015 21:57:31 GMT Aaron Moss [ffad73a] * src/GenPoly/Box.cc (modified) * src/GenPoly/GenPoly.cc (modified) * src/GenPoly/GenPoly.h (modified) * src/GenPoly/ScrubTyVars.cc (modified) * src/GenPoly/ScrubTyVars.h (modified) Refactored isPolyType and friends to account for polymorphic generic ... Tue, 15 Dec 2015 21:14:01 GMT Peter A. Buhr [4389966] * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/CodeGenerator.h (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/FindFunction.h (modified) * src/GenPoly/GenPoly.cc (modified) * src/GenPoly/InstantiateGeneric.cc (modified) * src/GenPoly/Lvalue.cc (modified) * src/GenPoly/ScrubTyVars.cc (modified) * src/GenPoly/ScrubTyVars.h (modified) * src/InitTweak/InitModel.h (modified) * src/Parser/ExpressionNode.cc (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/AlternativeFinder.h (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Indexer.h (modified) * src/SymTab/Mangler.cc (modified) * src/SymTab/Mangler.h (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) * src/SynTree/Mutator.cc (modified) * src/SynTree/Mutator.h (modified) * src/SynTree/SynTree.h (modified) * src/SynTree/Visitor.cc (modified) * src/SynTree/Visitor.h (modified) * src/Tuples/FlattenTuple.cc (modified) * src/Tuples/FlattenTuple.h (modified) * src/examples/tests/log.txt (deleted) fix comment Tue, 15 Dec 2015 21:09:13 GMT Peter A. Buhr [cf16f94] * doc/refrat/refrat.tex (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/GenPoly.cc (modified) * src/GenPoly/Lvalue.cc (modified) * src/InitTweak/RemoveInit.cc (modified) * src/InitTweak/RemoveInit.h (modified) * src/SynTree/PointerType.cc (modified) * src/SynTree/Type.h (modified) * src/examples/fstream_test.c (modified) * src/examples/hello.c (modified) * src/examples/iostream.c (modified) * src/examples/iostream.h (modified) * src/examples/sum.c (modified) * src/examples/vector_test.c (modified) create temporary return variable for return expressions, remove ... Tue, 15 Dec 2015 19:56:43 GMT Aaron Moss [78dd0da] * src/GenPoly/Box.cc (modified) * src/GenPoly/ScrubTyVars.cc (modified) * src/GenPoly/ScrubTyVars.h (modified) * src/SymTab/Mangler.cc (modified) * src/SymTab/Mangler.h (modified) Switched size/align parameters over to use SymTab::Mangler in ... Mon, 14 Dec 2015 22:17:49 GMT Aaron Moss [5e92fee] * src/GenPoly/Box.cc (modified) Fixed Box pass to use new _sizeof_T variable throughout Mon, 14 Dec 2015 21:28:46 GMT Aaron Moss [db0b3ce] * src/GenPoly/Box.cc (modified) * src/GenPoly/ScrubTyVars.cc (modified) * src/GenPoly/ScrubTyVars.h (modified) * src/examples/tests/log.txt (deleted) Initial draft of switch-over of size/align names Mon, 14 Dec 2015 21:06:26 GMT Aaron Moss [56fcd77] * src/GenPoly/Box.cc (modified) Roll back addition of layout struct because anonymous initializer ... Mon, 14 Dec 2015 18:54:46 GMT Aaron Moss [cdec5af] * src/GenPoly/Box.cc (modified) Added LayoutStructDecls to box pass Mon, 07 Dec 2015 16:31:53 GMT Rob Schluntz [000b914] * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/CodeGenerator.h (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/FindFunction.h (modified) * src/GenPoly/GenPoly.cc (modified) * src/GenPoly/Lvalue.cc (modified) * src/GenPoly/ScrubTyVars.h (modified) * src/InitTweak/InitModel.h (modified) * src/Parser/ExpressionNode.cc (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/AlternativeFinder.h (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Indexer.h (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) * src/SynTree/Mutator.cc (modified) * src/SynTree/Mutator.h (modified) * src/SynTree/SynTree.h (modified) * src/SynTree/Visitor.cc (modified) * src/SynTree/Visitor.h (modified) * src/Tuples/FlattenTuple.cc (modified) * src/Tuples/FlattenTuple.h (modified) Merge branch 'master' of plg.uwaterloo.ca:/u/cforall/software/cfa /cfa-cc Fri, 04 Dec 2015 20:13:40 GMT Aaron Moss [63db3d76] * src/GenPoly/InstantiateGeneric.cc (modified) Temporarily roll back dtype-to-void optimization until it works properly Thu, 03 Dec 2015 21:37:27 GMT Aaron Moss [f8b961b] * src/GenPoly/Box.cc (modified) * src/GenPoly/FindFunction.h (modified) * src/GenPoly/GenPoly.cc (modified) * src/GenPoly/Lvalue.cc (modified) * src/GenPoly/ScrubTyVars.h (modified) Documentation improvements Wed, 02 Dec 2015 17:14:24 GMT Rob Schluntz [e58be8e] * src/GenPoly/DeclMutator.cc (added) * src/GenPoly/DeclMutator.h (added) * src/GenPoly/InstantiateGeneric.cc (modified) * src/GenPoly/module.mk (modified) * src/Makefile.in (modified) Merge branch 'master' of plg.uwaterloo.ca:/u/cforall/software/cfa /cfa-cc Wed, 02 Dec 2015 16:55:55 GMT Rob Schluntz [f2b2029] * src/GenPoly/Box.cc (modified) documentation in Box.cc Tue, 01 Dec 2015 19:44:13 GMT Aaron Moss [5bf4712] * src/GenPoly/InstantiateGeneric.cc (modified) Generic instantiator now only instantiates complete types; can stub ... Mon, 30 Nov 2015 18:46:36 GMT Aaron Moss [b0b958a] * src/GenPoly/DeclMutator.cc (added) * src/GenPoly/DeclMutator.h (added) * src/GenPoly/InstantiateGeneric.cc (modified) * src/GenPoly/module.mk (modified) * src/Makefile.in (modified) Switched InstantiateGeneric pass over to use DeclMutator base Thu, 26 Nov 2015 23:09:19 GMT Rob Schluntz [ed1065c] * src/GenPoly/Box.cc (modified) fixed adapter suffix naming scheme - adding the correct file this time Tue, 24 Nov 2015 21:01:31 GMT Rob Schluntz [bdf1954] * src/GenPoly/Box.cc (modified) * src/GenPoly/GenPoly.cc (modified) * src/GenPoly/GenPoly.h (modified) removed polyret adapter name mangling for more general poly/mono suffix Fri, 20 Nov 2015 21:19:13 GMT Peter A. Buhr [839ccbb] * src/GenPoly/InstantiateGeneric.cc (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/Mutator.h (modified) * src/SynTree/ReferenceToType.cc (modified) * src/SynTree/Type.h (modified) * src/SynTree/TypeSubstitution.cc (modified) * src/examples/Makefile.am (modified) * src/examples/fstream.c (modified) * src/examples/hello.c (modified) * src/examples/iostream.c (modified) * src/main.cc (modified) Merge branch 'master' of plg2:software/cfa/cfa-cc Fri, 20 Nov 2015 17:27:01 GMT Aaron Moss [ed94eac] * src/GenPoly/InstantiateGeneric.cc (modified) * src/SynTree/ReferenceToType.cc (modified) * src/SynTree/Type.h (modified) * src/SynTree/TypeSubstitution.cc (modified) Fixed bug with get_baseParameters() Thu, 19 Nov 2015 23:06:27 GMT Peter A. Buhr [05587c2] * src/GenPoly/InstantiateGeneric.cc (added) * src/GenPoly/InstantiateGeneric.h (added) * src/GenPoly/module.mk (modified) * src/Makefile.in (modified) * src/Parser/TypeData.cc (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/ReferenceToType.cc (modified) * src/SynTree/Type.h (modified) * src/SynTree/TypeSubstitution.cc (modified) * src/SynTree/TypeSubstitution.h (modified) * src/main.cc (modified) Merge branch 'master' of plg2:software/cfa/cfa-cc Thu, 19 Nov 2015 23:06:12 GMT Peter A. Buhr [e56cfdb0] * src/GenPoly/Box.cc (modified) * src/GenPoly/Box.h (modified) * src/GenPoly/GenPoly.cc (modified) * src/GenPoly/GenPoly.h (modified) * src/examples/Makefile.am (modified) * src/examples/Makefile.in (modified) * src/examples/iostream.c (modified) * src/examples/iostream.h (modified) * src/examples/iterator.c (modified) * src/examples/iterator.h (modified) * src/examples/vector_test.c (modified) allow nested routines to use type variables in containing scope, fix ... Thu, 19 Nov 2015 20:49:00 GMT Aaron Moss [258eb5c9] * src/GenPoly/InstantiateGeneric.cc (modified) Fixed InstantiateGeneric's handling of top-level declarations Wed, 18 Nov 2015 21:21:37 GMT Aaron Moss [a2eda27] * src/GenPoly/InstantiateGeneric.cc (modified) Switch type matching to use typesCompatible (on Rob's recommendation) Wed, 18 Nov 2015 20:06:27 GMT Aaron Moss [d8847b7] * src/GenPoly/InstantiateGeneric.cc (added) * src/GenPoly/InstantiateGeneric.h (added) * src/GenPoly/module.mk (modified) * src/Makefile.in (modified) * src/main.cc (modified) First draft of generic instantiation pass Wed, 28 Oct 2015 19:47:29 GMT Aaron Moss [d2ded3e7] * .gitignore (modified) * doc/TeX/cfa.sty (deleted) * doc/man/README (deleted) * doc/man/cfa.1 (deleted) * doc/refrat/Makefile (added) * doc/refrat/indexstyle (added) * doc/refrat/predefined.sed (added) * doc/refrat/refrat.bib (added) * doc/refrat/refrat.tex (modified) * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/CodeGenerator.h (modified) * src/GenPoly/PolyMutator.cc (modified) * src/GenPoly/PolyMutator.h (modified) * src/GenPoly/Specialize.cc (modified) * src/Parser/ExpressionNode.cc (modified) * src/Parser/InitializerNode.cc (modified) * src/Parser/ParseNode.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/lex.cc (modified) * src/Parser/lex.ll (modified) * src/Parser/parser.cc (modified) * src/Parser/parser.h (modified) * src/Parser/parser.yy (modified) * src/SymTab/Indexer.h (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/ArrayType.cc (modified) * src/SynTree/BasicType.cc (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Initializer.cc (modified) * src/driver/cfa.cc (modified) * src/examples/alloc.c (added) * src/examples/asm.c (added) * src/examples/constructors.c (added) * src/examples/control_structures.c (modified) * src/examples/nestedfunc.c (added) * src/examples/poly-bench.c (added) * src/examples/sum.c (modified) Merge changes into current branch Wed, 28 Oct 2015 19:41:07 GMT Aaron Moss [698664b3] * src/GenPoly/Box.cc (modified) * src/GenPoly/Specialize.cc (modified) * src/main.cc (modified) Improved handling of cast expression boxing Tue, 22 Sep 2015 18:05:29 GMT Rob Schluntz [8cbf8cd] * src/GenPoly/Specialize.cc (modified) added some list emptiness checks in Specialize.cc Fri, 14 Aug 2015 19:30:09 GMT Rob Schluntz [09f800b] * src/GenPoly/PolyMutator.cc (modified) * src/GenPoly/PolyMutator.h (modified) fix initializing object with result of polymorphic call Tue, 11 Aug 2015 20:37:32 GMT Rob Schluntz [c29d9ce] * src/GenPoly/Box.cc (modified) fix issues where incorrect number of adapters can be passed as ... Thu, 30 Jul 2015 20:07:23 GMT Rob Schluntz [e497c1d] * src/GenPoly/Box.cc (modified) * src/main.cc (modified) fix adapter passing in function application when two types unify to ... Thu, 30 Jul 2015 20:06:11 GMT Rob Schluntz [e01559c] * src/GenPoly/Box.cc (modified) fix initialization of polymorphic value objects so that initializer ... Wed, 15 Jul 2015 20:47:48 GMT Rob Schluntz [724c2b6] * src/CodeGen/CodeGenerator.cc (modified) * src/ControlStruct/ForExprMutator.cc (modified) * src/ControlStruct/Mutate.cc (modified) * src/GenPoly/PolyMutator.cc (modified) * src/Parser/StatementNode.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/SymTab/AddVisit.h (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/Mutator.cc (modified) * src/SynTree/Statement.cc (modified) * src/SynTree/Statement.h (modified) * src/SynTree/Visitor.cc (modified) * src/main.cc (modified) Merge branch 'resolver' Wed, 15 Jul 2015 18:59:57 GMT Rob Schluntz [145f1fc] * src/CodeGen/CodeGenerator.cc (modified) * src/ControlStruct/ForExprMutator.cc (modified) * src/ControlStruct/Mutate.cc (modified) * src/GenPoly/PolyMutator.cc (modified) * src/Parser/StatementNode.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/SymTab/AddVisit.h (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/Mutator.cc (modified) * src/SynTree/Statement.cc (modified) * src/SynTree/Statement.h (modified) * src/SynTree/Visitor.cc (modified) modified ForStmt to have a list of statements for the initialization ... 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, 03 Jul 2015 22:52:57 GMT Rob Schluntz [f6d7e0f] * src/ControlStruct/MLEMutator.cc (modified) * src/GenPoly/Box.cc (modified) * src/SymTab/Validate.cc (modified) * src/main.cc (modified) label fix, enumeration assignment first attempt Wed, 24 Jun 2015 20:04:19 GMT Peter A. Buhr [de62360d] * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/OperatorTable.cc (modified) * src/CodeGen/OperatorTable.h (modified) * src/ControlStruct/LabelFixer.cc (modified) * src/ControlStruct/LabelGenerator.cc (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/Specialize.cc (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/TypedefTable.cc (modified) * src/Parser/TypedefTable.h (modified) * src/Parser/lex.cc (modified) * src/Parser/lex.ll (modified) * src/Parser/parser.cc (modified) * src/Parser/parser.h (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/CompoundStmt.cc (modified) * src/SynTree/DeclStmt.cc (modified) * src/SynTree/Declaration.h (modified) * src/SynTree/FunctionDecl.cc (modified) * src/SynTree/Statement.cc (modified) * src/SynTree/Statement.h (modified) * src/driver/cfa.cc (modified) * src/main.cc (modified) fix computed goto, fixed -std=, implicit typedefs for enum and ...