# # ChangeLog for / # # Generated by Trac 1.2.1 # Apr 27, 2024, 9:14:55 AM 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 Wed, 13 Jan 2016 19:31:01 GMT Aaron Moss [4d7e8f5] * src/main.cc (modified) Move instantiateGeneric pass after box pass 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:20 GMT Aaron Moss [36874e4] * include/bfd.h (modified) * include/bfdlink.h (modified) * include/demangle.h (modified) * include/dialog.h (modified) * include/evdns.h (modified) * include/evhttp.h (modified) * include/evrpc.h (modified) * include/expat.h (modified) * include/fcntl.h (modified) * include/form.h (modified) * include/gcrypt.h (modified) * include/math.h (modified) * src/InitTweak/module.mk (modified) * src/Makefile.in (modified) * src/examples/alloc.c (modified) * src/examples/control_structures.c (modified) * src/examples/fstream_test.c (modified) * src/examples/identity.c (modified) * src/examples/includes.c (modified) * src/examples/iostream.c (modified) * src/examples/iostream.h (modified) * src/examples/min.c (modified) * src/examples/quoted_keyword.c (modified) * src/examples/s.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/prelude.cf (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc 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* Mon, 11 Jan 2016 19:52:51 GMT Rob Schluntz [61f9356] * src/InitTweak/module.mk (modified) * src/Makefile.in (modified) removed Rodolfo's InitTweak code from the build Sat, 09 Jan 2016 03:37:10 GMT Peter A. Buhr [784deab] * include/bfd.h (modified) * include/bfdlink.h (modified) * include/demangle.h (modified) * include/dialog.h (modified) * include/evdns.h (modified) * include/evhttp.h (modified) * include/evrpc.h (modified) * include/expat.h (modified) * include/fcntl.h (modified) * include/form.h (modified) * include/gcrypt.h (modified) * include/math.h (modified) * src/examples/alloc.c (modified) * src/examples/control_structures.c (modified) * src/examples/fstream_test.c (modified) * src/examples/identity.c (modified) * src/examples/includes.c (modified) * src/examples/iostream.c (modified) * src/examples/iostream.h (modified) * src/examples/min.c (modified) * src/examples/quoted_keyword.c (modified) * src/examples/s.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/prelude.cf (modified) fix recursive include bug in shadow includes, major clean of ... 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 20:40:22 GMT Rob Schluntz [de91427b] * src/SymTab/Validate.cc (modified) emit a compiler error if a void function returns a value or if a non- ... Fri, 18 Dec 2015 19:56:28 GMT Rob Schluntz [8762501] * INSTALL (modified) Merge branch 'master' of plg.uwaterloo.ca:/u/cforall/software/cfa /cfa-cc 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:55:38 GMT Aaron Moss [261fd34] * INSTALL (modified) Put warning for my build error in INSTALL 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 ... Fri, 18 Dec 2015 19:41:08 GMT Aaron Moss [c23f807] * configure (modified) * configure.ac (modified) * src/Makefile.in (modified) * src/driver/Makefile.in (modified) * src/examples/Makefile.in (modified) * src/libcfa/Makefile.am (modified) * src/libcfa/Makefile.in (modified) * src/main.cc (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Thu, 17 Dec 2015 18:03:33 GMT Peter A. Buhr [faf8857] * configure (modified) * configure.ac (modified) * src/Makefile.in (modified) * src/driver/Makefile.in (modified) * src/examples/Makefile.in (modified) * src/libcfa/Makefile.in (modified) * src/main.cc (modified) fix location of builtin.cf at configure, fifth attempt 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 Thu, 17 Dec 2015 12:27:39 GMT Peter A. Buhr [5e0fa1f] * src/main.cc (modified) fix location of builtin.cf at configure, fourth attempt Thu, 17 Dec 2015 12:22:13 GMT Peter A. Buhr [387e005] * src/main.cc (modified) fix location of builtin.cf at configure, third attempt Thu, 17 Dec 2015 04:02:15 GMT Peter A. Buhr [a89b2fa] * src/libcfa/Makefile.am (modified) * src/libcfa/Makefile.in (modified) fix location of builtin.cf at configure, use relative pathname Thu, 17 Dec 2015 03:15:39 GMT Peter A. Buhr [8c0404e] * src/libcfa/Makefile.in (added) add back src/libcfa/Makefile.in Thu, 17 Dec 2015 03:11:54 GMT Peter A. Buhr [35304009] * src/libcfa/Makefile.am (modified) * src/libcfa/Makefile.in (deleted) * src/main.cc (modified) fix location of builtin.cf at configure 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} 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 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 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 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 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 [698664b] * 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 ... Fri, 25 Sep 2015 01:59:20 GMT Peter A. Buhr [20e409e] * doc/refrat/Makefile (modified) * doc/refrat/predefined.sed (modified) * doc/refrat/refrat.tex (modified) make *predefined* declarations work Thu, 24 Sep 2015 13:45:18 GMT Peter A. Buhr [bfee448] * doc/refrat/predefined.sed (modified) * doc/refrat/refrat.tex (modified) fix *predefined* macro and associated sed script Thu, 24 Sep 2015 03:02:48 GMT Peter A. Buhr [41b3ddd] * doc/refrat/refrat.tex (modified) begin documentation for generic types Thu, 24 Sep 2015 02:44:47 GMT Glen Ditchfield [01414f1] * doc/refrat/refrat.tex (modified) Added Peter as an author Tue, 22 Sep 2015 18:09:32 GMT Rob Schluntz [8ee15ffd] * doc/refrat/Makefile (modified) * doc/refrat/refrat.tex (modified) * doc/refrat/xref.tex (deleted) Merge branch 'master' of /u/cforall/software/cfa/cfa-cc 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 Mon, 21 Sep 2015 12:37:16 GMT Peter A. Buhr [0e1e79e] * doc/refrat/xref.tex (deleted) fold xref.tex into refrat.tex Mon, 21 Sep 2015 12:35:46 GMT Peter A. Buhr [a188b16] * doc/refrat/Makefile (modified) * doc/refrat/refrat.tex (modified) work on index Sat, 19 Sep 2015 12:32:30 GMT Peter A. Buhr [865249a] * doc/refrat/refrat.tex (modified) correct error Sat, 19 Sep 2015 12:25:07 GMT Peter A. Buhr [ce6c57c] * doc/refrat/Makefile (modified) * doc/refrat/refrat.tex (modified) simplify Makefile, add material on exception statements Fri, 18 Sep 2015 14:04:03 GMT Peter A. Buhr [2f9956b] * doc/refrat/refrat.tex (modified) add control-structure extensions Thu, 17 Sep 2015 19:24:36 GMT Rob Schluntz [971ae89] * src/CodeGen/CodeGenerator.cc (modified) committed to wrong branch Thu, 17 Sep 2015 16:49:14 GMT Rob Schluntz [18387ef] * .gitignore (modified) * doc/refrat/Makefile (modified) * doc/refrat/refrat.tex (modified) Merge branch 'master' of /u/cforall/software/cfa/cfa-cc Thu, 17 Sep 2015 16:48:51 GMT Peter A. Buhr [a7b8126] * .gitignore (modified) ignore latex generated files Wed, 16 Sep 2015 11:17:46 GMT Peter A. Buhr [9460586] * doc/refrat/Makefile (modified) fix .bib name Wed, 16 Sep 2015 03:12:54 GMT Peter A. Buhr [05f0d98] * doc/refrat/Makefile (modified) fix missing .ind problme during build