# # ChangeLog for / # # Generated by Trac 1.2.1 # May 2, 2024, 3:06:40 PM 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 ... Mon, 01 Feb 2016 19:24:50 GMT Peter A. Buhr [5721a6d] * src/Parser/ExpressionNode.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/examples/abs.c (modified) * src/examples/minmax.c (modified) * src/examples/random.c (added) * src/examples/swap.c (modified) * src/libcfa/Makefile.am (modified) * src/libcfa/Makefile.in (modified) * src/libcfa/algorithm (modified) * src/libcfa/algorithm.c (modified) * src/libcfa/iostream.c (modified) correctly set type for complex constants, consolidate function name ... 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, 29 Jan 2016 20:00:04 GMT Aaron Moss [73a28e2] * src/Parser/ParseNode.h (modified) * src/Parser/TypeData.h (modified) * src/Parser/lex.cc (modified) * src/Parser/lex.ll (modified) * src/SymTab/IdTable.cc (modified) * src/examples/nestedfunc.c (deleted) * src/examples/simple.c (deleted) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc 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 [4a79e3c] * src/GenPoly/Box.cc (modified) Fix offset temporary array generation Fri, 22 Jan 2016 16:00:19 GMT Aaron Moss [4ef7506] * src/SymTab/Validate.cc (modified) Kludge auto-generated assignment operator for generic types into ... Fri, 22 Jan 2016 03:03:13 GMT Peter A. Buhr [f3fc8cbe] * src/Parser/lex.cc (modified) * src/Parser/lex.ll (modified) dli suffixes second try Fri, 22 Jan 2016 02:25:53 GMT Peter A. Buhr [7ee14bb7] * src/Parser/ParseNode.h (modified) * src/Parser/TypeData.h (modified) * src/Parser/lex.cc (modified) * src/Parser/lex.ll (modified) * src/SymTab/IdTable.cc (modified) * src/examples/nestedfunc.c (deleted) * src/examples/simple.c (deleted) formatting, add missing copy constructor for ConstantNode, support ... 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 Thu, 21 Jan 2016 18:40:07 GMT Aaron Moss [bfebb6c5] * src/SynTree/Expression.cc (modified) Switch type of {size,align,offset}of to unsigned long Thu, 21 Jan 2016 18:16:44 GMT Aaron Moss [e551c69] * src/CodeGen/CodeGenerator.cc (modified) Fix code generation for offsetofexpr 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 Tue, 19 Jan 2016 21:46:04 GMT Aaron Moss [25a054f] * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/CodeGenerator.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/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) Add OffsetofExpr for field offsets 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 [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 ...