# # ChangeLog for src/SymTab # # Generated by Trac 1.2.1 # Nov 22, 2024, 10:43:54 AM Sun, 19 Aug 2018 16:09:36 GMT Rob Schluntz [04c77791] * src/SymTab/Demangle.cc (modified) Parse forall lists and type variables in demangler Sun, 19 Aug 2018 16:09:00 GMT Rob Schluntz [0e73845] * src/SymTab/Mangler.cc (modified) * src/SymTab/Mangler.h (modified) * src/SymTab/ManglerCommon.cc (modified) * src/SynTree/Declaration.h (modified) Fix name mangling for type variables and forall lists Sun, 19 Aug 2018 15:15:47 GMT Rob Schluntz [38587bc] * src/SymTab/Demangle.cc (modified) Parse union, enum, zero_t, and one_t in demangler Sun, 19 Aug 2018 14:56:12 GMT Rob Schluntz [2f9768f] * src/SymTab/Demangle.cc (modified) Parse array types in demangler Sun, 19 Aug 2018 14:55:39 GMT Rob Schluntz [90ed538] * src/SymTab/ManglerCommon.cc (modified) Change _Atomic mangling so that it is distinct from arrays Wed, 15 Aug 2018 17:59:38 GMT Rob Schluntz [90cac45] * src/SymTab/Demangle.cc (modified) * src/SymTab/Mangler.h (modified) * src/SymTab/demangler.cc (modified) Add options parameter to cforall_demangle Mon, 06 Aug 2018 14:49:15 GMT Rob Schluntz [d7d63e5] * src/SymTab/Demangle.cc (modified) Handle memory leaks in cforall_demangle Mon, 06 Aug 2018 14:48:20 GMT Rob Schluntz [8316a49] * src/SymTab/Demangle.cc (modified) Remove unnecessary lambda capture Mon, 06 Aug 2018 14:47:55 GMT Rob Schluntz [f47d0ad] * src/SymTab/Demangle.cc (modified) * src/SymTab/Mangler.h (modified) * src/SymTab/demangler.cc (modified) Change signature of cforall_demangle to be C-compatible Mon, 06 Aug 2018 13:02:25 GMT Rob Schluntz [4084928e] * .gitignore (modified) * Jenkins/FullBuild (modified) * Jenkinsfile (modified) * Makefile.in (modified) * configure (modified) * configure.ac (modified) * doc/papers/general/Paper.tex (modified) * doc/user/user.tex (modified) * src/Makefile.am (modified) * src/Makefile.in (modified) * src/Parser/ParseNode.h (modified) * src/Parser/StatementNode.cc (modified) * src/Parser/parser.yy (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/AggregateDecl.cc (modified) * src/benchmark/Makefile.am (modified) * src/benchmark/Makefile.in (modified) * src/cfa.make (added) * src/driver/Makefile.am (modified) * src/driver/Makefile.in (modified) * src/driver/as.cc (added) * src/examples/Makefile.am (modified) * src/examples/Makefile.in (modified) * src/libcfa/Makefile.am (modified) * src/libcfa/Makefile.in (modified) * src/libcfa/heap.c (modified) * src/libcfa/stdhdr/malloc.h (modified) * src/prelude/Makefile.am (modified) * src/prelude/Makefile.in (modified) * src/tests/.expect/heap.txt (added) * src/tests/Makefile.am (modified) * src/tests/Makefile.in (modified) * src/tests/heap.c (added) * src/tests/preempt_longrun/Makefile.am (modified) * src/tests/preempt_longrun/Makefile.in (modified) * src/tests/pybin/tools.py (modified) * tools/Makefile.in (modified) * tools/prettyprinter/Makefile.in (modified) Merge branch 'master' into demangler Fri, 03 Aug 2018 15:56:53 GMT Rob Schluntz [ac3362c] * src/SymTab/Validate.cc (modified) * src/SynTree/AggregateDecl.cc (modified) Resolve enumerator initializers early to allow other passes to ... Fri, 03 Aug 2018 13:02:13 GMT Rob Schluntz [d8cb7df] * src/SymTab/Mangler.cc (modified) * src/SymTab/Mangler.h (modified) * src/SymTab/ManglerCommon.cc (modified) Update mangling for opaque types Thu, 02 Aug 2018 21:16:47 GMT Rob Schluntz [c20fafd] * src/SymTab/Demangle.cc (modified) Update demangler for new name mangling scheme Thu, 02 Aug 2018 21:15:21 GMT Rob Schluntz [7804e2a] * src/SymTab/Mangler.cc (modified) * src/SymTab/Mangler.h (modified) * src/SymTab/ManglerCommon.cc (modified) Minor updates to name mangling to eliminate overlaps Thu, 02 Aug 2018 15:09:03 GMT Rob Schluntz [642bc83] * src/SymTab/Mangler.cc (modified) * src/SymTab/Mangler.h (modified) * src/SymTab/ManglerCommon.cc (modified) Modify name mangling scheme to more closely resembly itanium C++ name ... Tue, 31 Jul 2018 18:43:04 GMT Rob Schluntz [3bbd012] * .autom4te.cfg (added) * .gitignore (modified) * Jenkinsfile (modified) * Makefile.in (modified) * aclocal.m4 (modified) * configure (modified) * configure.ac (modified) * doc/bibliography/pl.bib (modified) * doc/user/Makefile (modified) * doc/user/user.tex (modified) * src/Common/Eval.cc (added) * src/Common/SemanticError.h (modified) * src/Common/module.mk (modified) * src/Common/utility.h (modified) * src/CompilationState.cc (added) * src/CompilationState.h (added) * src/InitTweak/FixGlobalInit.cc (modified) * src/InitTweak/FixGlobalInit.h (modified) * src/InitTweak/FixInit.cc (modified) * src/InitTweak/FixInit.h (modified) * src/InitTweak/InitTweak.cc (modified) * src/Makefile.am (modified) * src/Makefile.in (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/TypeData.cc (modified) * src/Parser/TypeData.h (modified) * src/Parser/TypedefTable.cc (modified) * src/Parser/TypedefTable.h (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/CurrentObject.cc (modified) * src/SymTab/Validate.cc (modified) * src/Validate/HandleAttributes.cc (added) * src/Validate/HandleAttributes.h (added) * src/Validate/module.mk (added) * src/benchmark/Makefile.am (modified) * src/benchmark/Makefile.in (modified) * src/config.h.in (moved) * src/driver/Makefile.am (modified) * src/driver/Makefile.in (modified) * src/driver/cc1.cc (modified) * src/driver/cfa.cc (modified) * src/examples/Makefile.in (modified) * src/libcfa/Makefile.am (modified) * src/libcfa/Makefile.in (modified) * src/libcfa/concurrency/kernel.c (modified) * src/libcfa/concurrency/kernel_private.h (modified) * src/libcfa/concurrency/preemption.c (modified) * src/libcfa/concurrency/preemption.h (modified) * src/libcfa/heap.c (added) * src/libcfa/startup.c (added) * src/libcfa/startup.h (modified) * src/libcfa/stdhdr/bfdlink.h (modified) * src/libcfa/stdhdr/hwloc.h (modified) * src/libcfa/stdhdr/krb5.h (modified) * src/libcfa/stdhdr/malloc.h (modified) * src/libcfa/stdlib (modified) * src/main.cc (modified) * src/prelude/Makefile.am (modified) * src/prelude/Makefile.in (modified) * src/tests/.expect/alloc-ERROR.txt (modified) * src/tests/.expect/alloc.txt (modified) * src/tests/.expect/attributes.x64.txt (modified) * src/tests/.expect/attributes.x86.txt (modified) * src/tests/.expect/declarationErrors.txt (modified) * src/tests/.in/io.data (moved) * src/tests/Makefile.am (modified) * src/tests/Makefile.in (modified) * src/tests/alloc.c (modified) * src/tests/attributes.c (modified) * src/tests/config.py.in (added) * src/tests/io2.c (modified) * src/tests/preempt_longrun/Makefile.am (modified) * src/tests/preempt_longrun/Makefile.in (modified) * src/tests/pybin/settings.py (modified) * src/tests/pybin/test_run.py (modified) * src/tests/pybin/tools.py (modified) * src/tests/structMember.c (modified) * src/tests/test.py (modified) * tools/Makefile.in (modified) * tools/prettyprinter/Makefile.in (modified) Merge branch 'master' into demangler Mon, 30 Jul 2018 20:43:48 GMT Rob Schluntz [fd2debf] * src/Common/SemanticError.h (modified) * src/Makefile.am (modified) * src/Makefile.in (modified) * src/SymTab/Validate.cc (modified) * src/Validate/HandleAttributes.cc (added) * src/Validate/HandleAttributes.h (added) * src/Validate/module.mk (added) Add checks for constructor/destructor attribute arguments Mon, 30 Jul 2018 20:43:47 GMT Rob Schluntz [4934ea3] * src/SymTab/Validate.cc (modified) Resolve array dimensions early to correctly evaluate whether a type ... Mon, 30 Jul 2018 20:43:47 GMT Rob Schluntz [f072892] * src/InitTweak/FixGlobalInit.cc (modified) * src/InitTweak/InitTweak.cc (modified) * src/ResolvExpr/CurrentObject.cc (modified) * src/SymTab/Validate.cc (modified) Minor cleanup Tue, 24 Jul 2018 14:45:59 GMT Rob Schluntz [d1e0979] * src/Makefile.am (modified) * src/Makefile.in (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/SymTab/Demangle.cc (added) * src/SymTab/Mangler.cc (modified) * src/SymTab/Mangler.h (modified) * src/SymTab/ManglerCommon.cc (added) * src/SymTab/demangler.cc (added) * src/SymTab/module.mk (modified) * src/main.cc (modified) Add a basic demangler that works for basic types, pointers, tuples, ... Tue, 17 Jul 2018 21:19:18 GMT Rob Schluntz [2f84692] * src/SymTab/Validate.cc (modified) * src/prelude/sync-builtins.cf (modified) Merge branch 'master' of plg.uwaterloo.ca:/u/cforall/software/cfa /cfa-cc Tue, 17 Jul 2018 21:13:51 GMT Rob Schluntz [8a3ecb9] * src/SymTab/Validate.cc (modified) Pass type qualifiers from qualified type to actual type Tue, 17 Jul 2018 13:59:25 GMT Rob Schluntz [95d09bdb] * src/SymTab/Validate.cc (modified) Hoist aggregates defined as part of a compound literal Thu, 12 Jul 2018 16:01:31 GMT Rob Schluntz [d53772d] * src/SymTab/FixFunction.cc (modified) Transfer location from function to object in FixFunction [fixes #98] Tue, 10 Jul 2018 19:53:38 GMT Rob Schluntz [e82ef13] * src/SymTab/Validate.cc (modified) Transfer location from typedef instance to actual type [fixes #97] Mon, 09 Jul 2018 14:31:54 GMT Rob Schluntz [0bcc2b7] * src/SymTab/Validate.cc (modified) Fix handling of traits and TypeDecls in ReplaceTypedef Mon, 09 Jul 2018 14:31:04 GMT Rob Schluntz [062e8df] * src/SymTab/Validate.cc (modified) Add error checks for nested types Thu, 28 Jun 2018 19:29:37 GMT Rob Schluntz [a12c81f3] * src/SymTab/Validate.cc (modified) Replace qualified types with the actual type Thu, 28 Jun 2018 19:27:34 GMT Rob Schluntz [69918cea] * src/SymTab/Validate.cc (modified) Add new EliminateTypedef pass that just removes typedefs from AST Thu, 28 Jun 2018 19:27:02 GMT Rob Schluntz [afcb0a3] * src/SymTab/Validate.cc (modified) Ignore QualifiedType children in LinkReferenceToTypes Thu, 28 Jun 2018 19:10:22 GMT Rob Schluntz [48ed81c] * src/SymTab/Validate.cc (modified) Rename EliminateTypedef to ReplaceTypedef and add TypedefDecls for ... Thu, 28 Jun 2018 19:06:48 GMT Rob Schluntz [d419d8e] * src/SymTab/Validate.cc (modified) Rename nested types when hoisting Thu, 28 Jun 2018 18:39:21 GMT Rob Schluntz [15f5c5e] * src/SymTab/Validate.cc (modified) Rename LinkNestedTypes to HoistTypeDecls Thu, 28 Jun 2018 16:39:08 GMT Rob Schluntz [e73becf] * src/SymTab/Mangler.cc (modified) Mangle qualified type names Tue, 26 Jun 2018 20:26:09 GMT Rob Schluntz [b16923d] * src/SymTab/Validate.cc (modified) Fix type linking for empty SUEs Tue, 26 Jun 2018 17:17:11 GMT Rob Schluntz [ed34540] * src/SymTab/Indexer.cc (modified) * src/SymTab/Indexer.h (modified) Update Indexer handling for typedefs Fri, 22 Jun 2018 19:43:19 GMT Rob Schluntz [0b3b2ae] * src/CodeGen/CodeGenerator.cc (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/ReferenceToType.cc (modified) * src/SynTree/Type.cc (modified) * src/SynTree/Type.h (modified) Minor code cleanup Tue, 19 Jun 2018 18:13:34 GMT Rob Schluntz [9a7a3b6] * src/SymTab/Indexer.cc (modified) * src/SymTab/Indexer.h (modified) Fix lookup{SUE}AtScope functions to look in only a specific scope and ... Thu, 14 Jun 2018 20:43:52 GMT Rob Schluntz [29f9e20] * src/SymTab/Validate.cc (modified) * src/SynTree/Declaration.h (modified) Reorganize validate passes and reduce scope of HoistStruct pass Thu, 14 Jun 2018 20:21:48 GMT Rob Schluntz [589a70b] * src/InitTweak/FixInit.cc (modified) * src/SymTab/Indexer.cc (modified) * src/prelude/prelude.cf (modified) Minor cleanup Tue, 12 Jun 2018 15:26:23 GMT Rob Schluntz [eaa6430] * src/SymTab/Validate.cc (modified) Minor cleanup Mon, 11 Jun 2018 17:49:51 GMT Rob Schluntz [1057e3d] * src/SymTab/Indexer.cc (modified) Fix removeSpecialOverrides to delete default constructor and field ... Mon, 04 Jun 2018 15:54:28 GMT Rob Schluntz [0a75b77] * src/SymTab/Indexer.cc (modified) * src/tests/raii/.expect/ctor-autogen-ERR1.txt (modified) Simplify removeSpecialOverrides and modify it to delete functions ... Thu, 31 May 2018 14:41:38 GMT Rob Schluntz [25fcb84] * src/ControlStruct/Mutate.cc (modified) * src/ControlStruct/Mutate.h (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/SymTab/Validate.cc (modified) * src/main.cc (modified) Reorder if/for initialization hoisting pass Tue, 29 May 2018 19:38:01 GMT Rob Schluntz [3530f39a] * src/SymTab/Mangler.cc (modified) Fix mangling for float80/128 Tue, 29 May 2018 19:26:31 GMT Rob Schluntz [054514d] * Jenkins/TestRegen (modified) * Jenkinsfile (modified) * README (modified) * doc/bibliography/pl.bib (modified) * doc/papers/concurrency/Paper.tex (modified) * doc/papers/general/Paper.tex (modified) * doc/related_papers/Buhr94.pdf (added) * src/CodeGen/CodeGenerator.cc (modified) * src/Common/Heap.cc (modified) * src/Concurrency/Keywords.cc (modified) * src/Parser/LinkageSpec.h (modified) * src/Parser/TypeData.cc (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/SymTab/Mangler.cc (modified) * src/SynTree/BasicType.cc (modified) * src/SynTree/Type.cc (modified) * src/SynTree/Type.h (modified) * src/libcfa/bits/locks.h (modified) * src/libcfa/concurrency/alarm.c (modified) * src/libcfa/concurrency/preemption.c (modified) * src/prelude/Makefile.am (modified) * src/prelude/Makefile.in (modified) * src/prelude/builtins.def (modified) * src/prelude/prototypes.awk (modified) * src/prelude/prototypes.sed (modified) * src/prelude/sync-builtins.cf (added) * src/tests/.expect/io1.txt (added) * src/tests/.expect/io2.txt (moved) * src/tests/.expect/math1.x64.txt (modified) * src/tests/.expect/math1.x86.txt (modified) * src/tests/.expect/math2.x64.txt (modified) * src/tests/.expect/math2.x86.txt (modified) * src/tests/.expect/math3.x64.txt (modified) * src/tests/.expect/math3.x86.txt (modified) * src/tests/.expect/math4.x64.txt (added) * src/tests/Makefile.am (modified) * src/tests/Makefile.in (modified) * src/tests/builtins/.expect/sync.txt (added) * src/tests/builtins/sync.c (added) * src/tests/concurrent/coroutineYield.c (modified) * src/tests/concurrent/examples/datingService.c (modified) * src/tests/concurrent/examples/matrixSum.c (modified) * src/tests/concurrent/signal/block.c (modified) * src/tests/concurrent/signal/disjoint.c (modified) * src/tests/concurrent/signal/wait.c (modified) * src/tests/io1.c (added) * src/tests/io2.c (moved) * src/tests/math1.c (modified) * src/tests/math2.c (modified) * src/tests/math3.c (modified) * src/tests/math4.c (added) * src/tests/preempt_longrun/Makefile.am (modified) * src/tests/preempt_longrun/Makefile.in (modified) * src/tests/preempt_longrun/create.c (modified) * src/tests/preempt_longrun/enter.c (modified) * src/tests/preempt_longrun/enter3.c (modified) * src/tests/preempt_longrun/processor.c (modified) * src/tests/preempt_longrun/stack.c (modified) * src/tests/preempt_longrun/yield.c (modified) * src/tests/test.py (modified) Merge branch 'master' of plg.uwaterloo.ca:/u/cforall/software/cfa /cfa-cc Tue, 29 May 2018 18:03:34 GMT Rob Schluntz [96812c0] * src/SymTab/Indexer.cc (modified) * src/SymTab/Mangler.cc (modified) Minor cleanup Tue, 29 May 2018 18:02:47 GMT Rob Schluntz [3ed994e] * src/CodeGen/CodeGenerator.cc (modified) * src/Common/PassVisitor.h (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/InitializerNode.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/parser.yy (modified) * src/SymTab/Indexer.cc (modified) * src/SynTree/Declaration.cc (modified) * src/SynTree/Declaration.h (modified) Push deleted decls through the system Tue, 29 May 2018 14:50:03 GMT Rob Schluntz [4ee3b0c1] * src/Parser/TypeData.cc (modified) * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/SymTab/Mangler.cc (modified) * src/SynTree/BasicType.cc (modified) * src/SynTree/Type.cc (modified) * src/SynTree/Type.h (modified) Push __float80/__float128 through the system Fri, 04 May 2018 15:01:48 GMT Rob Schluntz [3f024c9] * src/SymTab/Indexer.cc (modified) * src/SymTab/Mangler.cc (modified) Mangle function pointers the same as functions to prevent function ... Tue, 01 May 2018 18:43:01 GMT Rob Schluntz [f465f0e] * src/SymTab/Mangler.cc (modified) Mangle trait instances to prevent indexer errors before traits are ... Mon, 30 Apr 2018 15:59:07 GMT Rob Schluntz [1a3eab8] * doc/papers/AMA/AMA-stix/ama/WileyNJD-v2.cls (modified) * doc/papers/concurrency/Paper.tex (modified) * doc/papers/general/Paper.tex (modified) * doc/papers/general/evaluation/c-bench.c (modified) * doc/papers/general/evaluation/c-pair.c (modified) * doc/papers/general/evaluation/c-pair.h (modified) * doc/papers/general/evaluation/c-print.c (modified) * doc/papers/general/evaluation/c-print.h (modified) * doc/papers/general/evaluation/c-stack.c (modified) * doc/papers/general/evaluation/c-stack.h (modified) * doc/papers/general/evaluation/cfa-stack.c (modified) * doc/papers/general/evaluation/cfa-stack.h (modified) * doc/papers/general/evaluation/cpp-stack.hpp (modified) * doc/papers/general/evaluation/cpp-vstack.cpp (modified) * src/InitTweak/FixInit.cc (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/StatementNode.cc (modified) * src/Parser/TypeData.cc (modified) * src/Parser/lex.ll (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/Resolver.cc (modified) * src/SymTab/Autogen.cc (modified) * src/SynTree/Statement.cc (modified) * src/libcfa/bits/locks.h (modified) * src/libcfa/concurrency/coroutine (modified) * src/libcfa/concurrency/coroutine.c (modified) * src/libcfa/concurrency/invoke.h (modified) * src/libcfa/concurrency/kernel (modified) * src/libcfa/concurrency/kernel.c (modified) * src/libcfa/concurrency/preemption.c (modified) * src/libcfa/concurrency/thread (modified) * src/libcfa/concurrency/thread.c (modified) * src/libcfa/iostream (modified) * src/libcfa/iostream.c (modified) * src/prelude/prelude.cf (modified) * src/tests/.expect/literals.x64.txt (modified) * src/tests/.expect/literals.x86.txt (modified) * src/tests/.expect/user_literals.txt (modified) * src/tests/concurrent/examples/.expect/boundedBufferEXT.txt (modified) * src/tests/concurrent/examples/boundedBufferEXT.c (modified) * src/tests/concurrent/thread.c (modified) * src/tests/coroutine/fibonacci.c (modified) * src/tests/user_literals.c (modified) Merge branch 'master' into fix-reference-overloading Mon, 30 Apr 2018 15:08:10 GMT Rob Schluntz [b9c432f] * doc/papers/AMA/AMA-stix/ama/WileyNJD-v2.cls (modified) * doc/papers/concurrency/Paper.tex (modified) * doc/papers/general/Paper.tex (modified) * doc/papers/general/evaluation/c-bench.c (modified) * doc/papers/general/evaluation/c-pair.c (modified) * doc/papers/general/evaluation/c-pair.h (modified) * doc/papers/general/evaluation/c-print.c (modified) * doc/papers/general/evaluation/c-print.h (modified) * doc/papers/general/evaluation/c-stack.c (modified) * doc/papers/general/evaluation/c-stack.h (modified) * doc/papers/general/evaluation/cfa-stack.c (modified) * doc/papers/general/evaluation/cfa-stack.h (modified) * doc/papers/general/evaluation/cpp-stack.hpp (modified) * doc/papers/general/evaluation/cpp-vstack.cpp (modified) * src/InitTweak/FixInit.cc (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/StatementNode.cc (modified) * src/Parser/TypeData.cc (modified) * src/Parser/lex.ll (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/Resolver.cc (modified) * src/SymTab/Autogen.cc (modified) * src/SynTree/Statement.cc (modified) * src/libcfa/bits/locks.h (modified) * src/libcfa/concurrency/coroutine (modified) * src/libcfa/concurrency/coroutine.c (modified) * src/libcfa/concurrency/invoke.h (modified) * src/libcfa/concurrency/kernel (modified) * src/libcfa/concurrency/kernel.c (modified) * src/libcfa/concurrency/preemption.c (modified) * src/libcfa/concurrency/thread (modified) * src/libcfa/concurrency/thread.c (modified) * src/libcfa/iostream (modified) * src/libcfa/iostream.c (modified) * src/prelude/prelude.cf (modified) * src/tests/.expect/literals.x64.txt (modified) * src/tests/.expect/literals.x86.txt (modified) * src/tests/.expect/user_literals.txt (modified) * src/tests/concurrent/examples/.expect/boundedBufferEXT.txt (modified) * src/tests/concurrent/examples/boundedBufferEXT.c (modified) * src/tests/concurrent/thread.c (modified) * src/tests/coroutine/fibonacci.c (modified) * src/tests/user_literals.c (modified) Merge branch 'master' of plg.uwaterloo.ca:/u/cforall/software/cfa /cfa-cc Mon, 30 Apr 2018 15:07:21 GMT Rob Schluntz [c0453ca3] * src/SymTab/Mangler.cc (modified) * src/tests/.expect/KRfunctions.x64.txt (modified) * src/tests/.expect/attributes.x64.txt (modified) * src/tests/.expect/declarationSpecifier.x64.txt (modified) * src/tests/.expect/functions.x64.txt (modified) * src/tests/functions.c (modified) Remove reference type mangling to prevent reference and non-reference ... Sat, 28 Apr 2018 14:33:07 GMT Peter A. Buhr [6926a6d] * src/Parser/DeclarationNode.cc (modified) * src/Parser/TypeData.cc (modified) * src/SymTab/Autogen.cc (modified) fixes for gcc-7/8 Wed, 25 Apr 2018 18:11:21 GMT Rob Schluntz [1da22500] * src/SymTab/Mangler.cc (modified) Minor cleanup Wed, 18 Apr 2018 21:15:19 GMT Rob Schluntz [b2da0574] * src/Parser/DeclarationNode.cc (modified) * src/Parser/TypeData.cc (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Validate.cc (modified) Fix missing struct definition for empty struct with chained variable ... Tue, 10 Apr 2018 23:08:50 GMT Rob Schluntz [bbf3fda] * src/SymTab/Validate.cc (modified) * src/libcfa/stdlib.c (modified) Use ForallFixer on every FunctionType Tue, 03 Apr 2018 17:58:10 GMT Rob Schluntz [0f40912] * src/SymTab/Validate.cc (modified) Hoist _Static_assert declarations from struct/union bodies Wed, 28 Mar 2018 20:46:54 GMT Rob Schluntz [3d2b7bc] * src/CodeGen/OperatorTable.cc (modified) * src/CodeGen/OperatorTable.h (modified) * src/SymTab/Validate.cc (modified) * src/tests/operators.c (modified) Check for operator-as-object errors Wed, 28 Feb 2018 21:48:22 GMT Thierry Delisle [a16764a6] * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/FixMain.cc (modified) * src/CodeGen/FixNames.cc (modified) * src/CodeTools/DeclStats.cc (modified) * src/CodeTools/TrackLoc.cc (modified) * src/Common/ErrorObjects.h (added) * src/Common/PassVisitor.impl.h (modified) * src/Common/SemanticError.cc (modified) * src/Common/SemanticError.h (modified) * src/Concurrency/Keywords.cc (modified) * src/Concurrency/Waitfor.cc (modified) * src/ControlStruct/ExceptTranslate.cc (modified) * src/ControlStruct/LabelFixer.cc (modified) * src/ControlStruct/LabelFixer.h (modified) * src/ControlStruct/MLEMutator.cc (modified) * src/ControlStruct/MLEMutator.h (modified) * src/ControlStruct/Mutate.cc (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/FindFunction.cc (modified) * src/GenPoly/InstantiateGeneric.cc (modified) * src/GenPoly/Lvalue.cc (modified) * src/GenPoly/Specialize.cc (modified) * src/InitTweak/FixGlobalInit.cc (modified) * src/InitTweak/FixInit.cc (modified) * src/InitTweak/GenInit.cc (modified) * src/InitTweak/InitTweak.cc (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/ExpressionNode.cc (modified) * src/Parser/LinkageSpec.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/TypeData.cc (modified) * src/Parser/lex.ll (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/CurrentObject.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/SymTab/Autogen.cc (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Mutator.h (modified) * src/SynTree/Statement.cc (modified) * src/SynTree/Statement.h (modified) * src/SynTree/TypeSubstitution.h (modified) * src/SynTree/Visitor.h (modified) * src/main.cc (modified) Changed warning system to prepare for toggling warnings Tue, 27 Feb 2018 22:55:01 GMT Rob Schluntz [4b1be68] * src/Concurrency/Keywords.cc (modified) * src/SymTab/AddVisit.h (deleted) * src/SymTab/Autogen.cc (modified) * src/SymTab/Validate.cc (modified) Remove unused AddVisit.h Wed, 21 Feb 2018 21:07:10 GMT Rob Schluntz [a181494] * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/typeops.h (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Indexer.h (modified) Adding cost for reference-to-rvalue conversions Tue, 20 Feb 2018 20:13:40 GMT Rob Schluntz [78d69da7] * src/SymTab/Indexer.cc (modified) * src/SymTab/Indexer.h (modified) Fix build failure on gcc-4.9 Fri, 16 Feb 2018 21:22:25 GMT Rob Schluntz [7c782af] * doc/LaTeXmacros/common.tex (modified) * doc/papers/general/Paper.tex (modified) * doc/user/user.tex (modified) * src/CodeGen/FixMain.cc (modified) * src/CodeGen/FixNames.cc (modified) * src/Common/PassVisitor.impl.h (modified) * src/Common/SemanticError.cc (modified) * src/Common/SemanticError.h (modified) * src/Concurrency/Keywords.cc (modified) * src/Concurrency/Waitfor.cc (modified) * src/ControlStruct/ExceptTranslate.cc (modified) * src/ControlStruct/LabelFixer.cc (modified) * src/ControlStruct/MLEMutator.cc (modified) * src/GenPoly/Box.cc (modified) * src/InitTweak/FixInit.cc (modified) * src/InitTweak/GenInit.cc (modified) * src/InitTweak/InitTweak.cc (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/ExpressionNode.cc (modified) * src/Parser/LinkageSpec.cc (modified) * src/Parser/LinkageSpec.h (modified) * src/Parser/ParseNode.h (modified) * src/Parser/TypeData.cc (modified) * src/Parser/TypeData.h (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/CurrentObject.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/Declaration.h (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Mutator.h (modified) * src/SynTree/Statement.cc (modified) * src/SynTree/TypeSubstitution.h (modified) * src/SynTree/Visitor.h (modified) * src/libcfa/bits/cfatime.h (added) * src/libcfa/concurrency/alarm.c (modified) * src/libcfa/concurrency/alarm.h (modified) * src/libcfa/concurrency/coroutine.c (modified) * src/libcfa/concurrency/invoke.c (modified) * src/libcfa/concurrency/kernel.c (modified) * src/libcfa/concurrency/kernel_private.h (modified) * src/libcfa/concurrency/monitor.c (modified) * src/libcfa/concurrency/preemption.c (modified) * src/libcfa/concurrency/thread.c (modified) * src/main.cc (modified) * src/tests/.expect/alloc.txt (modified) * src/tests/alloc.c (modified) * src/tests/raii/.expect/dtor-early-exit-ERR2.txt (modified) Merge branch 'master' of plg.uwaterloo.ca:/u/cforall/software/cfa /cfa-cc Fri, 16 Feb 2018 19:36:29 GMT Thierry Delisle [0b0f1dd] * src/Parser/TypeData.cc (modified) * src/Parser/TypeData.h (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/Declaration.h (modified) Propagated code location to TypeData Thu, 15 Feb 2018 20:58:56 GMT Thierry Delisle [d55d7a6] * src/CodeGen/FixMain.cc (modified) * src/CodeGen/FixNames.cc (modified) * src/Common/PassVisitor.impl.h (modified) * src/Common/SemanticError.cc (modified) * src/Common/SemanticError.h (modified) * src/Concurrency/Keywords.cc (modified) * src/Concurrency/Waitfor.cc (modified) * src/ControlStruct/ExceptTranslate.cc (modified) * src/ControlStruct/LabelFixer.cc (modified) * src/ControlStruct/MLEMutator.cc (modified) * src/GenPoly/Box.cc (modified) * src/InitTweak/FixInit.cc (modified) * src/InitTweak/GenInit.cc (modified) * src/InitTweak/InitTweak.cc (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/ExpressionNode.cc (modified) * src/Parser/LinkageSpec.cc (modified) * src/Parser/LinkageSpec.h (modified) * src/Parser/ParseNode.h (modified) * src/Parser/TypeData.cc (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/CurrentObject.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Mutator.h (modified) * src/SynTree/Statement.cc (modified) * src/SynTree/TypeSubstitution.h (modified) * src/SynTree/Visitor.h (modified) * src/main.cc (modified) Massive change to errors to enable warnings Thu, 15 Feb 2018 16:39:12 GMT Rob Schluntz [0ac366b] * src/Common/PassVisitor.h (modified) * src/Common/PassVisitor.impl.h (modified) * src/Common/PassVisitor.proto.h (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Indexer.h (modified) Add Indexer support for deleting identifiers Wed, 14 Feb 2018 18:54:14 GMT Rob Schluntz [490ff5c3] * src/ResolvExpr/AlternativeFinder.cc (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Indexer.h (modified) * src/Tuples/Explode.h (modified) Minor code cleanup Tue, 13 Feb 2018 16:12:25 GMT Rob Schluntz [54c9000] * src/Common/utility.h (modified) * src/SymTab/Autogen.cc (modified) * src/SynTree/Attribute.cc (modified) * src/SynTree/Attribute.h (modified) * src/tests/.expect/attributes.x64.txt (modified) Fix missing attribute warning Mon, 12 Feb 2018 19:38:44 GMT Thierry Delisle [2fdbb3b] * src/SymTab/Mangler.cc (modified) * src/libcfa/concurrency/monitor.c (modified) Fixed some warnings Fri, 09 Feb 2018 15:49:57 GMT Rob Schluntz [b8a52f5] * src/SymTab/Mangler.cc (modified) Fix Mangler warning Fri, 09 Feb 2018 15:06:16 GMT Rob Schluntz [4bda2cf] * src/SymTab/FixFunction.cc (modified) * src/SymTab/FixFunction.h (modified) * src/SymTab/Validate.cc (modified) Refactor FixFunction, add error for void foo(void, ...) Wed, 31 Jan 2018 21:50:37 GMT Rob Schluntz [4670c79] * src/Common/PassVisitor.h (modified) * src/Common/PassVisitor.impl.h (modified) * src/Common/PassVisitor.proto.h (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Indexer.h (modified) Change Indexer::addWith to take a list of expressions instead of a ... Wed, 31 Jan 2018 21:42:38 GMT Rob Schluntz [2cb70aa] * src/Common/PassVisitor.impl.h (modified) * src/SymTab/Indexer.cc (modified) Move Indexer unnamed object check into addId Wed, 17 Jan 2018 16:17:42 GMT Rob Schluntz [d7d9a60] * src/SymTab/Mangler.cc (modified) * src/SymTab/Mangler.h (modified) Convert Mangler to PassVisitor Wed, 03 Jan 2018 15:40:02 GMT Rob Schluntz [4b97770] * src/ResolvExpr/CurrentObject.cc (modified) * src/SymTab/Validate.cc (modified) Add error handling for C-style initialization of VLAs Thu, 14 Dec 2017 15:44:23 GMT Rob Schluntz [bdad6eb7] * src/SymTab/Validate.cc (modified) Modify HoistStruct to track parent aggregate Thu, 07 Dec 2017 22:06:28 GMT Rob Schluntz [1485c1a] * src/SymTab/Indexer.cc (modified) * src/SymTab/Indexer.h (modified) Add anonymous members to Indexer in WithStmt [fixes #69] Tue, 05 Dec 2017 19:17:17 GMT Thierry Delisle [65197c2] * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/CodeGenerator.h (modified) * src/Common/PassVisitor.h (modified) * src/Common/PassVisitor.impl.h (modified) * src/Common/PassVisitor.proto.h (modified) * src/GenPoly/InstantiateGeneric.cc (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/StatementNode.cc (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/AlternativeFinder.h (modified) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/typeops.h (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Indexer.h (modified) * src/SynTree/Mutator.cc (modified) * src/SynTree/Mutator.h (modified) * src/SynTree/ReferenceToType.cc (modified) * src/SynTree/Statement.cc (modified) * src/SynTree/Statement.h (modified) * src/SynTree/SynTree.h (modified) * src/SynTree/Type.h (modified) * src/SynTree/Visitor.cc (modified) * src/SynTree/Visitor.h (modified) * src/tests/.expect/declarationErrors.txt (modified) * src/tests/.expect/with-statement.txt (added) * src/tests/with-statement.c (added) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Tue, 05 Dec 2017 19:16:53 GMT Thierry Delisle [12d2dc8] * src/SymTab/Validate.cc (modified) * src/tests/concurrent/preempt.c (modified) Removed unnecessary lambada capture in Validate.cc. Temp fix for the ... Mon, 04 Dec 2017 20:36:40 GMT Rob Schluntz [ac57659] * src/SymTab/Indexer.cc (modified) Convert reference-typed with expressions to rvalue when building ... Mon, 04 Dec 2017 16:08:00 GMT Rob Schluntz [497282e] * src/SymTab/Indexer.cc (modified) Strip references when adding with statement to Indexer Fri, 01 Dec 2017 22:12:03 GMT Rob Schluntz [a40d503] * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/AlternativeFinder.h (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Indexer.h (modified) Add base expression to Indexer MangleTable and implement WithStmt ... Fri, 01 Dec 2017 19:55:41 GMT Rob Schluntz [3ca540f] * doc/proposals/concurrency/text/basics.tex (modified) * doc/proposals/concurrency/text/cforall.tex (modified) * doc/proposals/concurrency/text/concurrency.tex (modified) * doc/proposals/concurrency/text/frontpgs.tex (modified) * doc/proposals/concurrency/text/future.tex (modified) * doc/proposals/concurrency/text/internals.tex (modified) * doc/proposals/concurrency/text/parallelism.tex (modified) * doc/proposals/concurrency/text/results.tex (modified) * doc/proposals/concurrency/text/together.tex (modified) * doc/proposals/concurrency/version (modified) * src/CodeGen/FixNames.cc (modified) * src/CodeGen/FixNames.h (modified) * src/Common/PassVisitor.impl.h (modified) * src/Concurrency/Keywords.cc (modified) * src/Concurrency/Waitfor.cc (modified) * src/ControlStruct/ExceptTranslate.cc (modified) * src/ControlStruct/ForExprMutator.cc (modified) * src/ControlStruct/LabelFixer.cc (modified) * src/ControlStruct/LabelFixer.h (modified) * src/ControlStruct/MLEMutator.cc (modified) * src/ControlStruct/Mutate.cc (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/InstantiateGeneric.cc (modified) * src/GenPoly/Specialize.cc (modified) * src/InitTweak/FixGlobalInit.cc (modified) * src/InitTweak/FixInit.cc (modified) * src/InitTweak/InitTweak.cc (modified) * src/MakeLibCfa.cc (modified) * src/Makefile.in (modified) * src/Parser/StatementNode.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/SymTab/AddVisit.h (modified) * src/SymTab/Autogen.cc (modified) * src/SymTab/Autogen.h (modified) * src/SymTab/ImplementationType.cc (deleted) * src/SymTab/ImplementationType.h (deleted) * src/SymTab/TypeEquality.cc (deleted) * src/SymTab/TypeEquality.h (deleted) * src/SymTab/Validate.cc (modified) * src/SymTab/module.mk (modified) * src/SynTree/CompoundStmt.cc (modified) * src/SynTree/DeclStmt.cc (modified) * src/SynTree/Statement.cc (modified) * src/SynTree/Statement.h (modified) * src/SynTree/TupleExpr.cc (modified) * src/Tuples/TupleAssignment.cc (modified) * src/Tuples/TupleExpansion.cc (modified) * src/driver/cfa.cc (modified) * src/libcfa/Makefile.am (modified) * src/libcfa/Makefile.in (modified) * src/libcfa/assert.c (modified) * src/libcfa/bits/align.h (moved) * src/libcfa/bits/containers.h (modified) * src/libcfa/bits/debug.c (moved) * src/libcfa/bits/debug.h (added) * src/libcfa/bits/defs.h (modified) * src/libcfa/bits/locks.h (modified) * src/libcfa/concurrency/alarm.c (modified) * src/libcfa/concurrency/coroutine.c (modified) * src/libcfa/concurrency/invoke.c (modified) * src/libcfa/concurrency/kernel.c (modified) * src/libcfa/concurrency/kernel_private.h (modified) * src/libcfa/concurrency/monitor.c (modified) * src/libcfa/concurrency/preemption.c (modified) * src/libcfa/concurrency/thread.c (modified) * src/libcfa/exception.c (modified) * src/libcfa/exception.h (modified) * src/libcfa/interpose.c (modified) * src/libcfa/libhdr.h (deleted) * src/libcfa/libhdr/libdebug.h (deleted) * src/libcfa/libhdr/libtools.h (deleted) * src/libcfa/stdhdr/assert.h (modified) * src/prelude/builtins.c (modified) * src/tests/except-mac.h (modified) Merge branch 'master' into with-statement Fri, 01 Dec 2017 19:51:50 GMT Rob Schluntz [81644e0] * src/SymTab/Indexer.cc (modified) * src/SymTab/Indexer.h (modified) Add Indexer::addWith to insert with expression members into current scope Fri, 01 Dec 2017 16:28:34 GMT Rob Schluntz [d16d159] * src/Makefile.in (modified) * src/SymTab/ImplementationType.cc (deleted) * src/SymTab/ImplementationType.h (deleted) * src/SymTab/module.mk (modified) Remove unused ImplementationType pass Fri, 01 Dec 2017 16:25:58 GMT Rob Schluntz [a09e45b] * src/SymTab/Validate.cc (modified) Convert HoistStruct to PassVisitor Fri, 01 Dec 2017 16:25:37 GMT Rob Schluntz [ad6cd6d] * src/Makefile.in (modified) * src/SymTab/TypeEquality.cc (deleted) * src/SymTab/TypeEquality.h (deleted) * src/SymTab/module.mk (modified) Remove unused TypeEquality Thu, 30 Nov 2017 21:43:59 GMT Rob Schluntz [ba3706f] * src/CodeGen/FixNames.cc (modified) * src/Common/PassVisitor.impl.h (modified) * src/Concurrency/Keywords.cc (modified) * src/Concurrency/Waitfor.cc (modified) * src/ControlStruct/ExceptTranslate.cc (modified) * src/ControlStruct/ForExprMutator.cc (modified) * src/ControlStruct/MLEMutator.cc (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/InstantiateGeneric.cc (modified) * src/GenPoly/Specialize.cc (modified) * src/InitTweak/FixGlobalInit.cc (modified) * src/InitTweak/FixInit.cc (modified) * src/InitTweak/InitTweak.cc (modified) * src/MakeLibCfa.cc (modified) * src/Parser/StatementNode.cc (modified) * src/SymTab/AddVisit.h (modified) * src/SymTab/Autogen.cc (modified) * src/SymTab/Autogen.h (modified) * src/SynTree/CompoundStmt.cc (modified) * src/SynTree/DeclStmt.cc (modified) * src/SynTree/Statement.cc (modified) * src/SynTree/Statement.h (modified) * src/SynTree/TupleExpr.cc (modified) Remove label lists from various Statement constructors Mon, 27 Nov 2017 19:38:37 GMT Rob Schluntz [1f370451] * src/GenPoly/Box.cc (modified) * src/Parser/TypeData.cc (modified) * src/SymTab/Autogen.cc (modified) * src/SymTab/Validate.cc (modified) * src/tests/polymorphism.c (modified) Carry attributes through typedefs Wed, 22 Nov 2017 22:05:54 GMT Rob Schluntz [f203a7a] * src/SymTab/Autogen.cc (modified) Simplify autogenerate and fix resolution problem with polymorphic ... Wed, 22 Nov 2017 21:52:09 GMT Rob Schluntz [5fe35d6] * src/InitTweak/FixInit.cc (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Indexer.h (modified) Move addIds and addTypes to Indexer Wed, 22 Nov 2017 20:40:12 GMT Rob Schluntz [b95fe40] * src/GenPoly/InstantiateGeneric.cc (modified) * src/SymTab/Autogen.h (modified) * src/SymTab/Validate.cc (modified) Add casts to dtype-static member expressions to prevent loss of type ... Fri, 17 Nov 2017 22:38:36 GMT Rob Schluntz [5c4d27f] * src/SymTab/Validate.cc (modified) Add error check for unimplemented expression parameters for trait ... Fri, 17 Nov 2017 22:33:14 GMT Rob Schluntz [48fa824] * src/SymTab/Validate.cc (modified) Add error check for unimplemented expression parameters for generic ... Wed, 08 Nov 2017 18:54:16 GMT Rob Schluntz [e35f30a] * src/InitTweak/GenInit.cc (modified) * src/SymTab/Mangler.cc (modified) * src/SymTab/Mangler.h (modified) Fix generic type name mangling, add mangleGenericParams mode to name ... Wed, 08 Nov 2017 16:08:37 GMT Rob Schluntz [8e0147a] * src/SymTab/Validate.cc (modified) Reorder Validate passes so that array parameters are converted into ... Wed, 01 Nov 2017 21:40:05 GMT Rob Schluntz [f0ecf9b] * src/CodeGen/CodeGenerator.cc (modified) * src/GenPoly/InstantiateGeneric.cc (modified) * src/GenPoly/ScrubTyVars.cc (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/TypeData.cc (modified) * src/ResolvExpr/Unify.cc (modified) * src/SymTab/Autogen.cc (modified) * src/SymTab/Mangler.cc (modified) * src/SynTree/Declaration.h (modified) * src/SynTree/TypeDecl.cc (modified) * src/Tuples/TupleExpansion.cc (modified) Remove TypeDecl::Any, as it is subsumed by Dtype+sized Mon, 23 Oct 2017 21:41:50 GMT Rob Schluntz [f53836b] * src/SymTab/Validate.cc (modified) Fix error handling for VLA typedefs