# # ChangeLog for src # # Generated by Trac 1.2.1 # May 20, 2024, 2:00:09 AM Wed, 16 Dec 2015 20:20:19 GMT Aaron Moss [8360977] * src/SymTab/Mangler.cc (modified) * src/SymTab/Mangler.h (modified) Mangler now mangles parameters to generic types 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 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 Fri, 04 Dec 2015 19:55:22 GMT Aaron Moss [47534159] * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/CodeGenerator.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) Added support for alignof expressions for everything but polymorphic ... 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 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 Thu, 26 Nov 2015 23:06:12 GMT Rob Schluntz [7cd23d5] * src/InitTweak/RemoveInit.cc (modified) Revert "fixed adapter suffix naming scheme" This reverts commit ... Thu, 26 Nov 2015 22:06:26 GMT Rob Schluntz [13ca524] * src/ResolvExpr/Unify.cc (modified) * src/SymTab/Validate.cc (modified) Merge branch 'master' of plg.uwaterloo.ca:/u/cforall/software/cfa /cfa-cc Thu, 26 Nov 2015 22:06:14 GMT Rob Schluntz [43ffef1] * src/InitTweak/RemoveInit.cc (modified) fixed adapter suffix naming scheme Thu, 26 Nov 2015 20:49:27 GMT Aaron Moss [b81096f] * src/GenPoly/Box.cc (modified) * src/GenPoly/GenPoly.cc (modified) * src/GenPoly/GenPoly.h (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Thu, 26 Nov 2015 20:48:04 GMT Aaron Moss [f5234f3] * src/ResolvExpr/Unify.cc (modified) Unify parameter types for generic types Thu, 26 Nov 2015 20:46:03 GMT Aaron Moss [32d281d] * src/SymTab/Validate.cc (modified) Fixed generic struct assignment operator generation to generify ... Thu, 26 Nov 2015 19:37:41 GMT Rob Schluntz [704c9dd] * src/ResolvExpr/Unify.cc (modified) * src/examples/runTests.sh (added) * src/examples/tests/log.txt (added) * src/examples/tests/vector_test.in.txt (added) * src/examples/tests/vector_test.out.txt (added) Merge branch 'master' of plg.uwaterloo.ca:/u/cforall/software/cfa /cfa-cc Wed, 25 Nov 2015 19:53:26 GMT Aaron Moss [7e23d0a] * src/GenPoly/Box.cc (modified) * src/GenPoly/Box.h (modified) * src/GenPoly/GenPoly.cc (modified) * src/GenPoly/GenPoly.h (modified) * src/Parser/LinkageSpec.cc (modified) * src/Parser/LinkageSpec.h (modified) * src/ResolvExpr/CastCost.cc (modified) * src/ResolvExpr/PtrsAssignable.cc (modified) * src/ResolvExpr/PtrsCastable.cc (modified) * src/ResolvExpr/Unify.cc (modified) * src/SymTab/IdTable.cc (modified) * src/SymTab/Mangler.cc (modified) * src/SymTab/Mangler.h (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/Mutator.h (modified) * src/SynTree/ObjectDecl.cc (modified) * src/SynTree/Type.h (modified) * src/examples/Makefile.am (modified) * src/examples/Makefile.in (modified) * src/examples/fstream.c (modified) * src/examples/hello.c (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) * src/libcfa/prelude.cf (modified) * src/main.cc (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Wed, 25 Nov 2015 19:53:22 GMT Aaron Moss [02ec390] * src/ResolvExpr/Unify.cc (modified) First attempt at properly resolving functions on generic types Wed, 25 Nov 2015 18:51:05 GMT Aaron Moss [70d4b4f] * src/examples/runTests.sh (added) * src/examples/tests/log.txt (added) * src/examples/tests/vector_test.in.txt (added) * src/examples/tests/vector_test.out.txt (added) Added batchtest, initially just vector_test 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:44:27 GMT Rob Schluntz [5189888] * src/GenPoly/Box.cc (modified) * src/GenPoly/Box.h (modified) * src/GenPoly/GenPoly.cc (modified) * src/GenPoly/GenPoly.h (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/Mutator.h (modified) * src/SynTree/Type.h (modified) * src/examples/Makefile.am (modified) * src/examples/Makefile.in (modified) * src/examples/fstream.c (modified) * src/examples/hello.c (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) * src/main.cc (modified) Merge branch 'master' of /u/cforall/software/cfa/cfa-cc Conflicts: ... 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:34 GMT Rob Schluntz [66a2a61] * src/GenPoly/InstantiateGeneric.cc (modified) * src/SynTree/ReferenceToType.cc (modified) * src/SynTree/Type.h (modified) * src/SynTree/TypeSubstitution.cc (modified) Merge branch 'master' of /u/cforall/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() Fri, 20 Nov 2015 15:32:05 GMT Rob Schluntz [63afee0] * 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 /u/cforall/software/cfa/cfa-cc 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 Thu, 19 Nov 2015 16:12:38 GMT Rob Schluntz [f066321] * src/SymTab/Validate.cc (modified) * src/libcfa/prelude.cf (modified) changed AddStructAssignment to AutogenerateRoutines, update prelude ... 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, 18 Nov 2015 18:06:12 GMT Rob Schluntz [ba407ce] * src/GenPoly/Box.cc (modified) * src/GenPoly/Specialize.cc (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/SynTree/Type.h (modified) * src/main.cc (modified) Merge branch 'master' into override-autogen Wed, 18 Nov 2015 18:05:30 GMT Rob Schluntz [4673385] * src/GenPoly/Box.cc (modified) * src/GenPoly/Specialize.cc (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/SynTree/Type.h (modified) * src/main.cc (modified) Merge branch 'master' of /u/cforall/software/cfa/cfa-cc Wed, 18 Nov 2015 17:50:35 GMT Rob Schluntz [50eac1b] * doc/refrat/refrat.tex (modified) * src/Parser/ExpressionNode.cc (modified) * src/Parser/InitializerNode.cc (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/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 branch 'master' into override-autogen Tue, 10 Nov 2015 21:15:48 GMT Aaron Moss [37a3b8f9] * 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) First code generation for generic types (incorrect) 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 Wed, 28 Oct 2015 19:40:28 GMT Aaron Moss [f6835e5] * src/SynTree/Type.h (modified) Removed restrict qualifier from type comparisons Wed, 28 Oct 2015 19:39:05 GMT Aaron Moss [adcdd2f] * src/ResolvExpr/AlternativeFinder.cc (modified) Restored unification for side effects in cast expression resolution Wed, 21 Oct 2015 12:44:32 GMT Rob Schluntz [9909842] * doc/refrat/refrat.tex (modified) * src/Parser/ExpressionNode.cc (modified) * src/Parser/InitializerNode.cc (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/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 branch 'master' of /u/cforall/software/cfa/cfa-cc Fri, 09 Oct 2015 20:37:04 GMT Peter A. Buhr [097e2b0] * doc/refrat/refrat.tex (modified) * src/Parser/ExpressionNode.cc (modified) * src/Parser/InitializerNode.cc (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/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) constructor/destructor, more example programs Wed, 07 Oct 2015 16:42:10 GMT Rob Schluntz [f28a53a] * .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/GenPoly/Specialize.cc (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/CastCost.cc (modified) * src/ResolvExpr/PtrsAssignable.cc (modified) * src/ResolvExpr/PtrsCastable.cc (modified) * src/ResolvExpr/Unify.cc (modified) * src/SymTab/Indexer.h (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/ObjectDecl.cc (modified) * src/driver/cfa.cc (modified) Merge branch 'master' into override-autogen Wed, 07 Oct 2015 16:40:53 GMT Rob Schluntz [1521de20] * src/ResolvExpr/CastCost.cc (modified) * src/ResolvExpr/PtrsAssignable.cc (modified) * src/ResolvExpr/PtrsCastable.cc (modified) fix segmentation fault in PtrsAssignable, fix logic error with return ... Wed, 07 Oct 2015 16:38:48 GMT Rob Schluntz [1cbca6e] * src/ResolvExpr/Unify.cc (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/ObjectDecl.cc (modified) check length, etc. in unification of arrays, switch typedef equality ... Wed, 07 Oct 2015 16:23:53 GMT Rob Schluntz [59cde21] * src/SymTab/IdTable.cc (modified) rearrange IdTable checks Mon, 28 Sep 2015 22:25:43 GMT Peter A. Buhr [02e5ab6] * 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/Validate.cc (modified) * src/driver/cfa.cc (modified) add preprocessor flag -D__CFORALL__=1, add syntax for ... Tue, 22 Sep 2015 18:09:26 GMT Rob Schluntz [d0d9610] * src/SymTab/Indexer.h (modified) * src/SynTree/Expression.cc (modified) fixed copy error in Expression Tue, 22 Sep 2015 18:05:29 GMT Rob Schluntz [8cbf8cd] * src/GenPoly/Specialize.cc (modified) added some list emptiness checks in Specialize.cc Thu, 17 Sep 2015 19:24:36 GMT Rob Schluntz [971ae89] * src/CodeGen/CodeGenerator.cc (modified) committed to wrong branch Tue, 15 Sep 2015 17:58:27 GMT Rob Schluntz [76b48f1] * src/CodeGen/CodeGenerator.cc (modified) drop cast when the result type is an lvalue type Fri, 11 Sep 2015 17:00:45 GMT Rob Schluntz [8a4da06] * src/CodeGen/CodeGenerator.cc (modified) fixed unused variable warning Wed, 19 Aug 2015 19:58:35 GMT Rob Schluntz [4aa0858] * src/Parser/LinkageSpec.cc (modified) * src/Parser/LinkageSpec.h (modified) * src/SymTab/IdTable.cc (modified) * src/SymTab/Mangler.cc (modified) * src/SymTab/Mangler.h (modified) allow user defined routines to override autogenerated routines Fri, 14 Aug 2015 19:30:35 GMT Rob Schluntz [4550bcf] * src/GenPoly/PolyMutator.cc (modified) * src/GenPoly/PolyMutator.h (modified) * src/ResolvExpr/CastCost.cc (modified) Merge branch 'master' into designate 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 Fri, 14 Aug 2015 17:10:27 GMT Rob Schluntz [43ee2a8] * src/ResolvExpr/CastCost.cc (modified) Merge branch 'master' of /u/cforall/software/cfa/cfa-cc Thu, 13 Aug 2015 18:16:15 GMT Aaron Moss [543159b] * src/ResolvExpr/CastCost.cc (modified) Fixed costs for casts between pointer and integer types Wed, 12 Aug 2015 18:35:51 GMT Rob Schluntz [f32c7f4] * src/CodeGen/CodeGenerator.cc (modified) fixed codegen for designators Wed, 12 Aug 2015 18:27:31 GMT Rob Schluntz [d60ccbf] * doc/TeX/cfa.sty (added) * doc/man/README (added) * doc/man/cfa.1 (added) * doc/refrat/refrat.tex (added) * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/CodeGenerator.h (modified) * src/CodeGen/FixNames.h (modified) * src/CodeGen/GenType.cc (modified) * src/CodeGen/Generate.h (modified) * src/ControlStruct/CaseRangeMutator.h (modified) * src/ControlStruct/ChooseMutator.h (modified) * src/ControlStruct/LabelFixer.cc (modified) * src/ControlStruct/LabelFixer.h (modified) * src/ControlStruct/MLEMutator.cc (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/InitTweak/RemoveInit.h (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/ExpressionNode.cc (modified) * src/Parser/ParseNode.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/StatementNode.cc (modified) * src/Parser/TypeData.cc (modified) * src/Parser/parser.cc (modified) * src/Parser/parser.h (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/Cost.h (modified) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/Resolver.h (modified) * src/ResolvExpr/typeops.h (modified) * src/SymTab/FixFunction.h (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Indexer.h (modified) * src/SymTab/TypeEquality.cc (modified) * src/SymTab/Validate.cc (modified) * src/SymTab/Validate.h (modified) * src/SynTree/ArrayType.cc (modified) * src/SynTree/BasicType.cc (modified) * src/SynTree/Constant.cc (modified) * src/SynTree/Constant.h (modified) * src/SynTree/Declaration.cc (modified) * src/SynTree/Declaration.h (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) * src/SynTree/FunctionDecl.cc (modified) * src/SynTree/Initializer.cc (modified) * src/SynTree/Mutator.cc (modified) * src/SynTree/Mutator.h (modified) * src/SynTree/ObjectDecl.cc (modified) * src/SynTree/Statement.cc (modified) * src/SynTree/Statement.h (modified) * src/SynTree/SynTree.h (modified) * src/SynTree/Type.cc (modified) * src/SynTree/Type.h (modified) * src/SynTree/TypeSubstitution.h (modified) * src/SynTree/Visitor.cc (modified) * src/SynTree/Visitor.h (modified) * src/driver/cc1.cc (modified) * src/driver/cfa.cc (modified) * src/main.cc (modified) Merge branch 'master' into designate Conflicts: ... Wed, 12 Aug 2015 18:26:44 GMT Rob Schluntz [e869d663] * src/Parser/ExpressionNode.cc (modified) * src/Parser/ParseNode.cc (modified) * src/Parser/ParseNode.h (modified) designator parsing and AST building Wed, 12 Aug 2015 18:24:56 GMT Rob Schluntz [d58ebf3] * src/SynTree/ArrayType.cc (modified) * src/SynTree/BasicType.cc (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Initializer.cc (modified) some print reformatting Tue, 11 Aug 2015 20:37:37 GMT Rob Schluntz [a3a17ba] * doc/TeX/cfa.sty (added) * doc/man/README (added) * doc/man/cfa.1 (added) * doc/refrat/refrat.tex (added) * src/Parser/ExpressionNode.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/parser.cc (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/typeops.h (modified) Merge branch 'master' of /u/cforall/software/cfa/cfa-cc 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 ... Tue, 11 Aug 2015 20:34:47 GMT Rob Schluntz [ae4c85a] * src/SymTab/Indexer.cc (modified) * src/SymTab/Indexer.h (modified) * src/SymTab/Validate.cc (modified) fix function type parameter names leaking into the enclosing scope, ... Tue, 11 Aug 2015 20:16:03 GMT Peter A. Buhr [51b1202] * src/Parser/ExpressionNode.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/parser.cc (modified) * src/Parser/parser.yy (modified) move constant/string to unary_expression, temporarily separate asm ... Mon, 10 Aug 2015 20:46:08 GMT Aaron Moss [db4977a] * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/typeops.h (modified) Fix so void* does not have common type with function pointer Fri, 07 Aug 2015 19:51:03 GMT Aaron Moss [8c84ebd] * src/ResolvExpr/AlternativeFinder.cc (modified) Doc comments Thu, 30 Jul 2015 20:08:34 GMT Rob Schluntz [f678663] * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/CodeGenerator.h (modified) * src/Parser/ExpressionNode.cc (modified) * src/Parser/ParseNode.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/StatementNode.cc (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/Constant.cc (modified) * src/SynTree/Constant.h (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) * src/SynTree/Mutator.cc (modified) * src/SynTree/Mutator.h (modified) * src/SynTree/Statement.cc (modified) * src/SynTree/Statement.h (modified) * src/SynTree/SynTree.h (modified) * src/SynTree/Visitor.cc (modified) * src/SynTree/Visitor.h (modified) * src/main.cc (modified) Merge branch 'master' of /u/cforall/software/cfa/cfa-cc Conflicts: ... Thu, 30 Jul 2015 20:07:54 GMT Rob Schluntz [5aa708c] * src/ResolvExpr/Cost.h (modified) fix paste error in incPoly and incSafe 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 ... Thu, 30 Jul 2015 20:05:02 GMT Rob Schluntz [e766208] * src/ControlStruct/LabelFixer.cc (modified) * src/ControlStruct/LabelFixer.h (modified) simplified label fixer code => no longer rename and consolidate labels Thu, 30 Jul 2015 19:56:42 GMT Peter A. Buhr [093f1a0] * src/ResolvExpr/AlternativeFinder.cc (modified) * src/SymTab/Validate.cc (modified) Merge branch 'master' of plg2:software/cfa/cfa-cc Thu, 30 Jul 2015 19:56:18 GMT Peter A. Buhr [7f5566b] * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/CodeGenerator.h (modified) * src/Parser/ExpressionNode.cc (modified) * src/Parser/ParseNode.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/StatementNode.cc (modified) * src/Parser/parser.cc (modified) * src/Parser/parser.h (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/Resolver.cc (modified) * src/SynTree/Constant.cc (modified) * src/SynTree/Constant.h (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) * src/SynTree/Mutator.cc (modified) * src/SynTree/Mutator.h (modified) * src/SynTree/Statement.cc (modified) * src/SynTree/Statement.h (modified) * src/SynTree/SynTree.h (modified) * src/SynTree/Visitor.cc (modified) * src/SynTree/Visitor.h (modified) * src/main.cc (modified) asm statement, memory leaks Wed, 29 Jul 2015 16:07:38 GMT Aaron Moss [b29f8f3] * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/GenType.cc (modified) * src/ControlStruct/ForExprMutator.cc (modified) * src/ControlStruct/MLEMutator.cc (modified) * src/ControlStruct/Mutate.cc (modified) * src/GenPoly/PolyMutator.cc (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/StatementNode.cc (modified) * src/Parser/TypeData.cc (modified) * src/Parser/parser.cc (modified) * src/Parser/parser.h (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/Resolver.cc (modified) * src/SymTab/AddVisit.h (modified) * src/SymTab/TypeEquality.cc (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/Declaration.cc (modified) * src/SynTree/Declaration.h (modified) * src/SynTree/FunctionDecl.cc (modified) * src/SynTree/Mutator.cc (modified) * src/SynTree/Mutator.h (modified) * src/SynTree/ObjectDecl.cc (modified) * src/SynTree/Statement.cc (modified) * src/SynTree/Statement.h (modified) * src/SynTree/Type.cc (modified) * src/SynTree/Type.h (modified) * src/SynTree/Visitor.cc (modified) * src/driver/cc1.cc (modified) * src/driver/cfa.cc (modified) * src/main.cc (modified) Merge from origin Wed, 29 Jul 2015 16:00:29 GMT Aaron Moss [1e8f143] * src/ResolvExpr/AlternativeFinder.cc (modified) Remove erroneous unifier pass in cast conversion; fixes unsigned- ... Wed, 22 Jul 2015 17:16:39 GMT Rob Schluntz [51b986f] * src/SymTab/Validate.cc (modified) fix segfault: error check for incorrect number of context parameters Mon, 20 Jul 2015 18:17:46 GMT Rob Schluntz [994ec2c] * src/ControlStruct/MLEMutator.cc (modified) * src/SymTab/TypeEquality.cc (modified) fix warning in logical expression Thu, 16 Jul 2015 21:28:24 GMT Peter A. Buhr [1db21619] * src/CodeGen/GenType.cc (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/StatementNode.cc (modified) * src/Parser/TypeData.cc (modified) * src/Parser/parser.cc (modified) * src/Parser/parser.h (modified) * src/Parser/parser.yy (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/Declaration.cc (modified) * src/SynTree/Declaration.h (modified) * src/SynTree/FunctionDecl.cc (modified) * src/SynTree/Mutator.cc (modified) * src/SynTree/Mutator.h (modified) * src/SynTree/ObjectDecl.cc (modified) * src/SynTree/Type.cc (modified) * src/SynTree/Type.h (modified) * src/driver/cc1.cc (modified) * src/driver/cfa.cc (modified) add __CFA__ flag, remove -p from cc1, typedef on functions become ... 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 20:47:34 GMT Rob Schluntz [1ab4ce2] * src/main.cc (modified) modified -p option to remove the prelude from output whenever this ... Wed, 15 Jul 2015 20:36:42 GMT Aaron Moss [73737e5] * src/SymTab/Validate.cc (modified) Add doc comments Wed, 15 Jul 2015 20:18:56 GMT Aaron Moss [34e3732] * src/SymTab/Validate.cc (modified) Remove pass2 from validateType; fixes assertion failure in resolver Wed, 15 Jul 2015 19:06:49 GMT Rob Schluntz [e45215c] * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/CodeGenerator.h (modified) basic designator codegen 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 ... Tue, 14 Jul 2015 15:31:54 GMT Aaron Moss [9163b9c] * src/SymTab/Validate.cc (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Mon, 13 Jul 2015 18:43:46 GMT Rob Schluntz [dfee306] * 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/InitTweak/RemoveInit.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) Merge branch 'master' of /u/cforall/software/cfa/cfa-cc Mon, 13 Jul 2015 18:41:40 GMT Rob Schluntz [85c4ef0] * src/SymTab/Validate.cc (modified) typedefs nested within aggregates are handled Fri, 10 Jul 2015 20:35:25 GMT Aaron Moss [0215a76f] * src/SymTab/Validate.cc (modified) Copy instance parameters over typedefs Thu, 09 Jul 2015 19:07:32 GMT Aaron Moss [cff1143] * src/CodeGen/GenType.cc (modified) * src/ControlStruct/LabelFixer.cc (modified) * src/Makefile.in (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/ParseNode.cc (modified) * src/SymTab/TypeEquality.cc (added) * src/SymTab/TypeEquality.h (added) * src/SymTab/Validate.cc (modified) * src/SymTab/module.mk (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc 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 Thu, 09 Jul 2015 15:20:30 GMT Rob Schluntz [e5609dd] * src/SymTab/TypeEquality.cc (modified) fixed incomplete array type equality Wed, 08 Jul 2015 20:47:08 GMT Rob Schluntz [71bd8c6] * src/CodeGen/GenType.cc (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/ParseNode.cc (modified) * src/SymTab/TypeEquality.cc (modified) fix isVarLen in array types, fix loss of typedef when variable of ... Wed, 08 Jul 2015 17:44:42 GMT Rob Schluntz [cc79d97] * src/Makefile.in (modified) * src/SymTab/TypeEquality.cc (added) * src/SymTab/TypeEquality.h (added) * src/SymTab/Validate.cc (modified) * src/SymTab/module.mk (modified) incorrectly redefining a typedef will cause an error in most cases