# # ChangeLog for driver/cfa.cc # # Generated by Trac 1.2.1 # Apr 18, 2024, 8:06:40 AM Mon, 18 Jan 2021 19:58:10 GMT Peter A. Buhr [e35a32b] * driver/cfa.cc (modified) global add -Wno-strict-aliasing to cfa command to prevent warnings ... Tue, 17 Nov 2020 20:38:11 GMT Peter A. Buhr [b4130f9] * driver/cc1.cc (modified) * driver/cfa.cc (modified) add command-line flag --save-temp along with -save-temp Thu, 03 Sep 2020 20:24:41 GMT Peter A. Buhr [406970b1] * driver/cfa.cc (modified) remove implicit -lrt from command line-line options passed to gcc by cfa Fri, 21 Aug 2020 03:48:15 GMT Peter A. Buhr [e67a82d] * benchmark/benchcltr.hfa (modified) * benchmark/io/http/options.cfa (modified) * benchmark/io/readv-posix.c (added) * benchmark/io/readv.cfa (modified) * benchmark/readyQ/yield.cfa (modified) * configure.ac (modified) * driver/cc1.cc (modified) * driver/cfa.cc (modified) * libcfa/prelude/bootloader.cf (modified) * libcfa/src/Makefile.am (modified) * libcfa/src/bits/locks.hfa (modified) * libcfa/src/common.hfa (modified) * libcfa/src/concurrency/alarm.hfa (modified) * libcfa/src/concurrency/coroutine.cfa (modified) * libcfa/src/concurrency/invoke.c (modified) * libcfa/src/concurrency/invoke.h (modified) * libcfa/src/concurrency/io.cfa (modified) * libcfa/src/concurrency/io/setup.cfa (modified) * libcfa/src/concurrency/io/types.hfa (modified) * libcfa/src/concurrency/iocall.cfa (modified) * libcfa/src/concurrency/kernel.cfa (modified) * libcfa/src/concurrency/kernel.hfa (modified) * libcfa/src/concurrency/kernel/fwd.hfa (modified) * libcfa/src/concurrency/kernel/startup.cfa (modified) * libcfa/src/concurrency/kernel_private.hfa (modified) * libcfa/src/concurrency/ready_queue.cfa (modified) * libcfa/src/concurrency/ready_subqueue.hfa (modified) * libcfa/src/concurrency/stats.cfa (modified) * libcfa/src/concurrency/stats.hfa (modified) * libcfa/src/containers/list.hfa (modified) * libcfa/src/exception.c (modified) * libcfa/src/heap.cfa (modified) * libcfa/src/iostream.cfa (modified) * libcfa/src/iostream.hfa (modified) * libcfa/src/parseargs.cfa (moved) * libcfa/src/parseargs.hfa (moved) * libcfa/src/stdlib.hfa (modified) * src/AST/Attribute.hpp (modified) * src/AST/CVQualifiers.hpp (modified) * src/AST/Convert.cpp (modified) * src/AST/Copy.hpp (added) * src/AST/Decl.cpp (modified) * src/AST/Decl.hpp (modified) * src/AST/Eval.hpp (added) * src/AST/Expr.cpp (modified) * src/AST/Expr.hpp (modified) * src/AST/ForallSubstitutionTable.cpp (added) * src/AST/ForallSubstitutionTable.hpp (added) * src/AST/ForallSubstitutor.hpp (added) * src/AST/Fwd.hpp (modified) * src/AST/GenericSubstitution.cpp (modified) * src/AST/Init.hpp (modified) * src/AST/Node.cpp (modified) * src/AST/Node.hpp (modified) * src/AST/Pass.hpp (modified) * src/AST/Pass.impl.hpp (modified) * src/AST/Pass.proto.hpp (modified) * src/AST/Print.cpp (modified) * src/AST/Stmt.hpp (modified) * src/AST/Type.cpp (modified) * src/AST/Type.hpp (modified) * src/AST/TypeEnvironment.cpp (modified) * src/AST/TypeEnvironment.hpp (modified) * src/AST/TypeSubstitution.cpp (modified) * src/AST/TypeSubstitution.hpp (modified) * src/AST/module.mk (modified) * src/AST/porting.md (modified) * src/Common/Eval.cc (modified) * src/Common/ScopedMap.h (modified) * src/Common/Stats/Heap.cc (modified) * src/Common/Stats/Heap.h (modified) * src/CompilationState.cc (modified) * src/CompilationState.h (modified) * src/InitTweak/InitTweak.cc (modified) * src/Parser/ExpressionNode.cc (modified) * src/ResolvExpr/AdjustExprType.cc (modified) * src/ResolvExpr/Candidate.hpp (modified) * src/ResolvExpr/CandidateFinder.cpp (modified) * src/ResolvExpr/CandidateFinder.hpp (modified) * src/ResolvExpr/CastCost.cc (modified) * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/ResolvExpr/ConversionCost.h (modified) * src/ResolvExpr/CurrentObject.cc (modified) * src/ResolvExpr/PolyCost.cc (modified) * src/ResolvExpr/PtrsAssignable.cc (modified) * src/ResolvExpr/PtrsCastable.cc (modified) * src/ResolvExpr/RenameVars.cc (modified) * src/ResolvExpr/ResolveTypeof.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/SatisfyAssertions.cpp (modified) * src/ResolvExpr/SatisfyAssertions.hpp (modified) * src/ResolvExpr/SpecCost.cc (modified) * src/ResolvExpr/Unify.cc (modified) * src/ResolvExpr/typeops.h (modified) * src/SymTab/Autogen.h (modified) * src/SymTab/FixFunction.cc (modified) * src/SymTab/Mangler.cc (modified) * src/SynTree/ApplicationExpr.cc (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Statement.h (modified) * src/Tuples/Explode.cc (modified) * src/Tuples/Explode.h (modified) * src/Tuples/TupleAssignment.cc (modified) * src/Tuples/TupleExpansion.cc (modified) * src/Tuples/Tuples.cc (modified) * src/config.h.in (modified) * src/main.cc (modified) * tests/.expect/alloc-ERROR.txt (modified) * tests/.expect/castError.txt (modified) * tests/.expect/declarationSpecifier.x64.txt (modified) * tests/.expect/declarationSpecifier.x86.txt (modified) * tests/.expect/gccExtensions.x64.txt (modified) * tests/.expect/gccExtensions.x86.txt (modified) * tests/.expect/init1.txt (modified) * tests/.expect/minmax.txt (modified) * tests/Makefile.am (modified) * tests/alloc.cfa (modified) * tests/errors/.expect/completeType.x64.txt (modified) * tests/errors/.expect/completeType.x86.txt (modified) * tests/exceptions/.expect/conditional-threads.txt (added) * tests/exceptions/.expect/defaults-threads.txt (added) * tests/exceptions/.expect/finally-threads.txt (added) * tests/exceptions/.expect/resume-threads.txt (added) * tests/exceptions/.expect/terminate-threads.txt (added) * tests/exceptions/.expect/trash.txt (added) * tests/exceptions/terminate.cfa (modified) * tests/exceptions/trash.cfa (added) * tests/exceptions/with-threads.hfa (added) * tests/heap.cfa (modified) * tests/linking/.expect/exception-nothreads.txt (added) * tests/linking/.expect/exception-withthreads.txt (added) * tests/linking/exception-nothreads.cfa (added) * tests/linking/exception-withthreads.cfa (added) * tests/linking/withthreads.cfa (modified) * tests/literals.cfa (modified) * tests/minmax.cfa (modified) * tests/pybin/tools.py (modified) * tests/raii/.expect/ctor-autogen-ERR1.txt (modified) * tests/resolutionErrors.cfa (added) * tests/warnings/.expect/self-assignment.txt (modified) fix conflicts Fri, 21 Aug 2020 02:59:53 GMT Peter A. Buhr [9b34766] * driver/cfa.cc (modified) add command-line flag -latomic for ARM Mon, 17 Aug 2020 22:18:34 GMT Peter A. Buhr [36de20d] * driver/cc1.cc (modified) * driver/cfa.cc (modified) formatting, update how bprefix is handled from the command line ... Sat, 15 Aug 2020 16:20:08 GMT Peter A. Buhr [7f51b9d] * driver/cfa.cc (modified) formatting, make helper routines static Fri, 14 Aug 2020 01:09:01 GMT Peter A. Buhr [67bfc50] * driver/cfa.cc (modified) formatting, for flags with arguments remove spurious "-x c" before ... Thu, 16 Jul 2020 22:44:05 GMT Thierry Delisle [50d529e] * driver/cfa.cc (modified) Removed spurious -l Thu, 16 Jul 2020 21:30:03 GMT Thierry Delisle [0aa20e3] * driver/cfa.cc (modified) * libcfa/src/Makefile.am (modified) * libcfa/src/Makefile.in (modified) Added support for syntax -XCFA,OPTION instead of -XCFA OPTION in ... Sat, 30 May 2020 22:30:39 GMT Peter A. Buhr [0163d3e] * driver/cc1.cc (modified) * driver/cfa.cc (modified) make -x flag work for one input file Sat, 23 May 2020 12:22:41 GMT Peter A. Buhr [f4530d7] * driver/cfa.cc (modified) turn on -mcx16 flag for double-wide CAS all the time in cfa.cc Mon, 18 May 2020 20:40:10 GMT Peter A. Buhr [314dab6] * driver/cfa.cc (modified) * libcfa/src/Makefile.am (modified) * libcfa/src/containers/stackLockFree.hfa (modified) add -latomic flag to cfa.cc to get 16-byte CAS, add ... Mon, 27 Apr 2020 20:35:58 GMT Thierry Delisle [c680a4b] * driver/cfa.cc (modified) * libcfa/Makefile.in (modified) * libcfa/configure (modified) * libcfa/configure.ac (modified) * libcfa/prelude/Makefile.am (modified) * libcfa/prelude/Makefile.in (modified) * libcfa/prelude/defines.hfa.in (added) * libcfa/src/Makefile.in (modified) * tools/build/push2dist.sh (modified) Added defines.hfa to the prelude Mon, 10 Feb 2020 16:58:49 GMT Thierry Delisle [92a9768] * driver/cfa.cc (modified) * tests/linking/.expect/nostdlib.txt (added) * tests/linking/nostdlib.cfa (added) Marked libcfa as 'no-as-needed' to the linker, it seems to fix ... Sat, 01 Feb 2020 13:47:53 GMT Peter A. Buhr [c334ecd] * driver/cfa.cc (modified) add missing buffer (argv) check causing error Fri, 06 Dec 2019 20:10:09 GMT Thierry Delisle [c8c0c7c5] * benchmark/Makefile.in (modified) * driver/cfa.cc (modified) * libcfa/configure (modified) * libcfa/configure.ac (modified) * libcfa/src/Makefile.in (modified) * libcfa/src/concurrency/coroutine.cfa (modified) * longrun_tests/Makefile.in (modified) * src/cfa.make (modified) * tests/Makefile.in (modified) Now using -z execstack and use -O0 for debug mode Tue, 03 Dec 2019 23:17:54 GMT Thierry Delisle [e8c52cf] * driver/cfa.cc (modified) * libcfa/src/Makefile.am (modified) * libcfa/src/Makefile.in (modified) Tentative fix of pthread_create crash, now using -pthread instead of ... Fri, 20 Sep 2019 13:21:51 GMT Thierry Delisle [158b026] * Makefile.in (modified) * benchmark/Makefile.in (modified) * configure (modified) * configure.ac (modified) * driver/Makefile.in (modified) * driver/cfa.cc (modified) * libcfa/Makefile.in (modified) * libcfa/configure (modified) * libcfa/configure.ac (modified) * libcfa/prelude/Makefile.in (modified) * libcfa/src/Makefile.am (modified) * libcfa/src/Makefile.in (modified) * longrun_tests/Makefile.in (modified) * src/Makefile.in (modified) * tests/Makefile.am (modified) * tests/Makefile.in (modified) * tests/pybin/settings.py (modified) * tools/Makefile.in (modified) * tools/prettyprinter/Makefile.in (modified) Remove flags -in-tree and -disttree, now using paths and ... Wed, 11 Sep 2019 17:40:38 GMT Thierry Delisle [a539fc3] * driver/cfa.cc (modified) * libcfa/src/fstream.cfa (modified) Merge branch 'master' into distcc Wed, 11 Sep 2019 02:24:49 GMT Peter A. Buhr [aced69a] * driver/cfa.cc (modified) print warning for both -E and -CFA flags, and ignore -CFA flag Tue, 10 Sep 2019 21:03:23 GMT Thierry Delisle [81e60f7] * driver/cfa.cc (modified) * libcfa/Makefile.in (modified) * libcfa/configure (modified) * libcfa/configure.ac (modified) * libcfa/prelude/Makefile.am (modified) * libcfa/prelude/Makefile.in (modified) * libcfa/src/Makefile.in (modified) Fixed small merge problems Tue, 10 Sep 2019 18:48:01 GMT Thierry Delisle [c2051e10] * Jenkinsfile (modified) * doc/bibliography/pl.bib (modified) * driver/cc1.cc (modified) * driver/cfa.cc (modified) * src/ResolvExpr/Unify.cc (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) * src/SynTree/Type.h (modified) * src/main.cc (modified) * tests/pybin/tools.py (modified) Merge branch 'master' into distcc Tue, 10 Sep 2019 13:01:32 GMT Peter A. Buhr [0bf5340] * driver/cc1.cc (modified) * driver/cfa.cc (modified) updates after code review, use suffix .ifa for cc1 stage1 temp-file Fri, 30 Aug 2019 16:50:49 GMT Peter A. Buhr [b544afa] * driver/cfa.cc (modified) move bprefix to environment variable for cc1 Mon, 26 Aug 2019 20:15:08 GMT Peter A. Buhr [417a630] * driver/cc1.cc (modified) * driver/cfa.cc (modified) second attempt at moving cfa-cpp to cc1 stage 2 Fri, 23 Aug 2019 21:39:48 GMT Peter A. Buhr [bbb1b35] * driver/cc1.cc (modified) * driver/cfa.cc (modified) first attempt at -save-temp for cfa-cpp output, formatting Fri, 23 Aug 2019 10:43:43 GMT Peter A. Buhr [2c60af75] * driver/cc1.cc (modified) * driver/cfa.cc (modified) move cfa-cpp into stage 2 of cc1, and update cfa to facilitate the change Tue, 13 Aug 2019 19:25:57 GMT Thierry Delisle [1ee048fd] * driver/cfa.cc (modified) * libcfa/prelude/Makefile.am (modified) * libcfa/prelude/Makefile.in (modified) * libcfa/src/Makefile.am (modified) * libcfa/src/Makefile.in (modified) All tests pass with distributed compilation Mon, 12 Aug 2019 16:34:27 GMT Thierry Delisle [ef46abb] * automake/cfa.m4 (modified) * configure (modified) * driver/cfa.cc (modified) * src/BasicTypes-gen.cc (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/Lvalue.cc (modified) * src/Makefile.am (modified) * src/Makefile.in (modified) * src/Parser/ExpressionNode.cc (modified) * src/Parser/lex.ll (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/AddressExpr.cc (modified) * src/SynTree/BasicType.cc (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) * src/SynTree/TopLvalue.cc (added) * src/SynTree/TopLvalue.h (added) * src/SynTree/Type.cc (modified) * src/SynTree/module.mk (modified) * src/main.cc (modified) * tests/.expect/gccExtensions.x64.txt (modified) * tests/.expect/gccExtensions.x86.txt (modified) * tests/gccExtensions.cfa (modified) * tests/pybin/settings.py (modified) Merge branch 'master' into distcc Sat, 10 Aug 2019 13:39:08 GMT Peter A. Buhr [4f5a8a2] * driver/cfa.cc (modified) clean up code for -x from cfa Sat, 10 Aug 2019 03:09:38 GMT Peter A. Buhr [8c63bb4] * driver/cfa.cc (modified) first attempt to make -x work correctlu from cfa Fri, 09 Aug 2019 21:03:08 GMT Thierry Delisle [14347ac] * driver/cfa.cc (modified) * libcfa/Makefile.in (modified) * libcfa/configure (modified) * libcfa/configure.ac (modified) * libcfa/prelude/Makefile.am (modified) * libcfa/prelude/Makefile.in (modified) * libcfa/src/Makefile.am (modified) * libcfa/src/Makefile.in (modified) libcfa now properly supports building with --enable-distcc Wed, 07 Aug 2019 19:23:56 GMT Thierry Delisle [bbfd0e0] * configure (modified) * configure.ac (modified) * driver/cfa.cc (modified) * libcfa/Makefile.in (modified) * libcfa/configure (modified) * libcfa/configure.ac (modified) * libcfa/prelude/Makefile.am (modified) * libcfa/prelude/Makefile.in (modified) * libcfa/src/Makefile.am (modified) * libcfa/src/Makefile.in (modified) Tentative support for distcc in cforall, right now nothing works ... Fri, 19 Jul 2019 14:31:53 GMT Thierry Delisle [2026bb6] * driver/cfa.cc (modified) * libcfa/src/Makefile.am (modified) * libcfa/src/Makefile.in (modified) * libcfa/src/bits/defs.hfa (modified) * libcfa/src/bits/locks.hfa (modified) * libcfa/src/concurrency/alarm.cfa (modified) * libcfa/src/concurrency/coroutine.cfa (modified) * libcfa/src/concurrency/invoke.c (modified) * libcfa/src/concurrency/kernel.cfa (modified) * libcfa/src/concurrency/kernel_private.hfa (modified) * libcfa/src/concurrency/monitor.cfa (modified) * libcfa/src/concurrency/mutex.cfa (modified) * libcfa/src/concurrency/preemption.cfa (modified) * libcfa/src/concurrency/thread.cfa (modified) * libcfa/src/stdlib.cfa (modified) * libcfa/src/stdlib.hfa (modified) * tests/linking/.expect/nothreads.txt (added) * tests/linking/.expect/withthreads.txt (added) * tests/linking/nothreads.cfa (added) * tests/linking/withthreads.cfa (added) More robust fix for optionally linking threads Thu, 28 Feb 2019 19:43:01 GMT tdelisle [c9e640e] * driver/cfa.cc (modified) * libcfa/configure (modified) * libcfa/configure.ac (modified) Fixed benign warning when compiling with nolib Sun, 10 Feb 2019 15:12:55 GMT Peter A. Buhr [1f86d5e] * Makefile.am (modified) * Makefile.in (modified) * automake/cfa.m4 (modified) * benchmark/Makefile.in (modified) * configure (modified) * configure.ac (modified) * driver/Makefile.in (modified) * driver/cfa.cc (modified) * libcfa/configure (modified) * src/Makefile.am (modified) * src/Makefile.in (modified) * src/config.h.in (modified) * tests/Makefile.in (modified) * tests/preempt_longrun/Makefile.in (modified) * tools/Makefile.in (modified) * tools/prettyprinter/Makefile.in (modified) remove unnecessary requirements in configure.ac, add check for ... Wed, 16 Jan 2019 23:13:03 GMT Peter A. Buhr [def9d4e] * driver/cfa.cc (modified) change linker-file order Thu, 11 Oct 2018 18:48:06 GMT Thierry Delisle [1f690b3] * doc/bibliography/pl.bib (modified) * doc/papers/concurrency/Makefile (modified) * doc/papers/general/Makefile (modified) * doc/theses/aaron_moss_PhD/phd/.gitignore (modified) * doc/theses/aaron_moss_PhD/phd/Makefile (modified) * doc/theses/aaron_moss_PhD/phd/cfa-macros.tex (modified) * doc/theses/aaron_moss_PhD/phd/code/bespoke-generic.c (added) * doc/theses/aaron_moss_PhD/phd/code/cfa-generic.cfa (added) * doc/theses/aaron_moss_PhD/phd/code/macro-generic.c (added) * doc/theses/aaron_moss_PhD/phd/code/void-generic.c (added) * doc/theses/aaron_moss_PhD/phd/evaluation/generic-timing.dat (added) * doc/theses/aaron_moss_PhD/phd/evaluation/generic-timing.gp (added) * doc/theses/aaron_moss_PhD/phd/frontpgs.tex (modified) * doc/theses/aaron_moss_PhD/phd/generic-types.tex (modified) * doc/theses/aaron_moss_PhD/phd/introduction.tex (modified) * doc/theses/aaron_moss_PhD/phd/macros.tex (modified) * doc/theses/aaron_moss_PhD/phd/thesis.tex (modified) * doc/theses/aaron_moss_PhD/phd/timeline.md (added) * doc/theses/aaron_moss_PhD/phd/type-environment.tex (modified) * doc/user/Makefile (modified) * driver/cfa.cc (modified) * libcfa/src/time.hfa (modified) * src/CodeTools/ResolvProtoDump.cc (modified) * src/SynTree/Constant.cc (modified) * src/SynTree/Constant.h (modified) * tests/.expect/forctrl.txt (modified) * tests/concurrent/coroutineYield.c (modified) * tests/concurrent/preempt.c (modified) * tests/concurrent/signal/block.c (modified) * tests/concurrent/signal/disjoint.c (modified) * tests/concurrent/signal/wait.c (modified) * tests/forctrl.c (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Tue, 25 Sep 2018 21:33:02 GMT Peter A. Buhr [34a6b2e] * .gitignore (modified) * Jenkinsfile (modified) * benchmark/Makefile.am (modified) * benchmark/Makefile.in (modified) * configure (modified) * configure.ac (modified) * doc/proposals/virtual.txt (modified) * doc/theses/aaron_moss_PhD/phd/.gitignore (modified) * doc/theses/aaron_moss_PhD/phd/Makefile (modified) * doc/theses/aaron_moss_PhD/phd/cfa-macros.tex (modified) * doc/theses/aaron_moss_PhD/phd/code/bespoke-generic.c (added) * doc/theses/aaron_moss_PhD/phd/code/cfa-generic.cfa (added) * doc/theses/aaron_moss_PhD/phd/code/macro-generic.c (added) * doc/theses/aaron_moss_PhD/phd/code/void-generic.c (added) * doc/theses/aaron_moss_PhD/phd/frontpgs.tex (modified) * doc/theses/aaron_moss_PhD/phd/generic-types.tex (modified) * doc/theses/aaron_moss_PhD/phd/timeline.md (added) * driver/cfa.cc (modified) * libcfa/Makefile.in (modified) * libcfa/configure (modified) * libcfa/configure.ac (modified) * libcfa/prelude/Makefile.am (modified) * libcfa/prelude/Makefile.in (modified) * libcfa/prelude/prelude-gen.cc (modified) * libcfa/src/Makefile.am (modified) * libcfa/src/Makefile.in (modified) * src/Makefile.am (modified) * src/Makefile.in (modified) * src/SymTab/Demangle.cc (modified) * src/cfa.make (modified) * src/main.cc (modified) * tests/Makefile.am (modified) * tests/Makefile.in (modified) Merge branch 'master' of plg2:software/cfa/cfa-cc Tue, 25 Sep 2018 21:28:07 GMT Peter A. Buhr [b32ad080] * driver/cfa.cc (modified) remove unused xflag Tue, 25 Sep 2018 15:35:34 GMT Thierry Delisle [6d44da1] * .gitignore (modified) * Jenkinsfile (modified) * automake/cfa.m4 (modified) * benchmark/Makefile.am (modified) * benchmark/Makefile.in (modified) * configure (modified) * configure.ac (modified) * doc/bibliography/pl.bib (modified) * doc/papers/general/Paper.tex (modified) * doc/theses/aaron_moss_PhD/comp_II/.gitignore (moved) * doc/theses/aaron_moss_PhD/comp_II/Efficient Type Resolution in Cforall.pptx (moved) * doc/theses/aaron_moss_PhD/comp_II/Makefile (moved) * doc/theses/aaron_moss_PhD/comp_II/comp_II.tex (moved) * doc/theses/aaron_moss_PhD/comp_II/conversion_dag.eps (moved) * doc/theses/aaron_moss_PhD/comp_II/conversion_dag.odg (moved) * doc/theses/aaron_moss_PhD/comp_II/conversion_dag.png (moved) * doc/theses/aaron_moss_PhD/comp_II/resolution_dag.eps (moved) * doc/theses/aaron_moss_PhD/comp_II/resolution_dag.odg (moved) * doc/theses/aaron_moss_PhD/comp_II/resolution_dag.png (moved) * doc/theses/aaron_moss_PhD/comp_II/resolution_dag2.odg (moved) * doc/theses/aaron_moss_PhD/comp_II/resolution_dag2.png (moved) * doc/theses/aaron_moss_PhD/phd/.gitignore (added) * doc/theses/aaron_moss_PhD/phd/Makefile (added) * doc/theses/aaron_moss_PhD/phd/background.tex (added) * doc/theses/aaron_moss_PhD/phd/cfa-macros.tex (added) * doc/theses/aaron_moss_PhD/phd/conclusion.tex (added) * doc/theses/aaron_moss_PhD/phd/frontpgs.tex (added) * doc/theses/aaron_moss_PhD/phd/generic-types.tex (added) * doc/theses/aaron_moss_PhD/phd/introduction.tex (added) * doc/theses/aaron_moss_PhD/phd/macros.tex (added) * doc/theses/aaron_moss_PhD/phd/resolution-heuristics.tex (added) * doc/theses/aaron_moss_PhD/phd/thesis.tex (added) * doc/theses/aaron_moss_PhD/phd/type-environment.tex (added) * doc/theses/rob_schluntz_MMath/.gitignore (moved) * doc/theses/rob_schluntz_MMath/Makefile (moved) * doc/theses/rob_schluntz_MMath/cfa-format.tex (moved) * doc/theses/rob_schluntz_MMath/conclusions.tex (moved) * doc/theses/rob_schluntz_MMath/ctordtor.tex (moved) * doc/theses/rob_schluntz_MMath/examples/conclusions/dtor.c (moved) * doc/theses/rob_schluntz_MMath/examples/conclusions/except.c (moved) * doc/theses/rob_schluntz_MMath/examples/conclusions/except.cc (moved) * doc/theses/rob_schluntz_MMath/examples/ctor/array_ctor.c (moved) * doc/theses/rob_schluntz_MMath/examples/ctor/copy_ctor.c (moved) * doc/theses/rob_schluntz_MMath/examples/ctor/cv_ctor.c (moved) * doc/theses/rob_schluntz_MMath/examples/ctor/enum_ctor.c (moved) * doc/theses/rob_schluntz_MMath/examples/ctor/expr_ctor.c (moved) * doc/theses/rob_schluntz_MMath/examples/ctor/global_ctor.c (moved) * doc/theses/rob_schluntz_MMath/examples/ctor/hide_ctor.c (moved) * doc/theses/rob_schluntz_MMath/examples/ctor/member.c (moved) * doc/theses/rob_schluntz_MMath/examples/ctor/placement_ctor.c (moved) * doc/theses/rob_schluntz_MMath/examples/ctor/return_dtor.c (moved) * doc/theses/rob_schluntz_MMath/examples/ctor/static_ctor.c (moved) * doc/theses/rob_schluntz_MMath/examples/ctor/union_ctor.c (moved) * doc/theses/rob_schluntz_MMath/examples/intro/FileOutputStream.java (moved) * doc/theses/rob_schluntz_MMath/examples/intro/compound_lit.c (moved) * doc/theses/rob_schluntz_MMath/examples/intro/designation.c (moved) * doc/theses/rob_schluntz_MMath/examples/intro/ignore.c (moved) * doc/theses/rob_schluntz_MMath/examples/intro/ires.java (moved) * doc/theses/rob_schluntz_MMath/examples/intro/res.java (moved) * doc/theses/rob_schluntz_MMath/examples/intro/res1.java (moved) * doc/theses/rob_schluntz_MMath/examples/intro/res2.java (moved) * doc/theses/rob_schluntz_MMath/examples/intro/res3.java (moved) * doc/theses/rob_schluntz_MMath/examples/intro/tuple.cc (moved) * doc/theses/rob_schluntz_MMath/examples/intro/variadic.java (moved) * doc/theses/rob_schluntz_MMath/examples/malloc.cc (moved) * doc/theses/rob_schluntz_MMath/examples/nested.c (moved) * doc/theses/rob_schluntz_MMath/examples/poly.c (moved) * doc/theses/rob_schluntz_MMath/examples/scope_guard.h (moved) * doc/theses/rob_schluntz_MMath/examples/test_scoped_guard.c (moved) * doc/theses/rob_schluntz_MMath/examples/tuples/assign.c (moved) * doc/theses/rob_schluntz_MMath/examples/tuples/cast.c (moved) * doc/theses/rob_schluntz_MMath/examples/tuples/ctor.c (moved) * doc/theses/rob_schluntz_MMath/examples/tuples/mrv.c (moved) * doc/theses/rob_schluntz_MMath/examples/tuples/mrv_1.c (moved) * doc/theses/rob_schluntz_MMath/examples/tuples/mrv_2.c (moved) * doc/theses/rob_schluntz_MMath/examples/tuples/mrv_3.c (moved) * doc/theses/rob_schluntz_MMath/examples/tuples/named.c (moved) * doc/theses/rob_schluntz_MMath/examples/variadic/new.c (moved) * doc/theses/rob_schluntz_MMath/examples/variadic/print.c (moved) * doc/theses/rob_schluntz_MMath/examples/variadic/sum1.c (moved) * doc/theses/rob_schluntz_MMath/examples/variadic/sum2.c (moved) * doc/theses/rob_schluntz_MMath/intro.tex (moved) * doc/theses/rob_schluntz_MMath/thesis-frontpgs.tex (moved) * doc/theses/rob_schluntz_MMath/thesis.bib (moved) * doc/theses/rob_schluntz_MMath/thesis.tex (moved) * doc/theses/rob_schluntz_MMath/tuples.tex (moved) * doc/theses/rob_schluntz_MMath/variadic.tex (moved) * doc/theses/thierry_delisle_MMath/.gitignore (moved) * doc/theses/thierry_delisle_MMath/Makefile (moved) * doc/theses/thierry_delisle_MMath/annex/glossary.tex (moved) * doc/theses/thierry_delisle_MMath/annex/local.bib (moved) * doc/theses/thierry_delisle_MMath/figures/dependency.fig (moved) * doc/theses/thierry_delisle_MMath/figures/ext_monitor.fig (moved) * doc/theses/thierry_delisle_MMath/figures/int_monitor.fig (moved) * doc/theses/thierry_delisle_MMath/figures/monitor.fig (moved) * doc/theses/thierry_delisle_MMath/figures/monitor_structs.fig (moved) * doc/theses/thierry_delisle_MMath/figures/system.fig (moved) * doc/theses/thierry_delisle_MMath/notes/cor-thread-traits.c (moved) * doc/theses/thierry_delisle_MMath/notes/lit-review.md (moved) * doc/theses/thierry_delisle_MMath/notes/notes.md (moved) * doc/theses/thierry_delisle_MMath/style/cfa-format.tex (moved) * doc/theses/thierry_delisle_MMath/style/style.tex (moved) * doc/theses/thierry_delisle_MMath/text/basics.tex (moved) * doc/theses/thierry_delisle_MMath/text/cforall.tex (moved) * doc/theses/thierry_delisle_MMath/text/concurrency.tex (moved) * doc/theses/thierry_delisle_MMath/text/frontpgs.tex (moved) * doc/theses/thierry_delisle_MMath/text/future.tex (moved) * doc/theses/thierry_delisle_MMath/text/internals.tex (moved) * doc/theses/thierry_delisle_MMath/text/intro.tex (moved) * doc/theses/thierry_delisle_MMath/text/parallelism.tex (moved) * doc/theses/thierry_delisle_MMath/text/results.tex (moved) * doc/theses/thierry_delisle_MMath/text/together.tex (moved) * doc/theses/thierry_delisle_MMath/thePlan.md (moved) * doc/theses/thierry_delisle_MMath/thesis.tex (moved) * doc/theses/thierry_delisle_MMath/version (moved) * doc/theses/thierry_delisle_MMath/version.sh (moved) * doc/user/user.tex (modified) * driver/as.cc (modified) * driver/cc1.cc (modified) * driver/cfa.cc (modified) * libcfa/Makefile.in (modified) * libcfa/configure (modified) * libcfa/configure.ac (modified) * libcfa/prelude/Makefile.am (modified) * libcfa/prelude/Makefile.in (modified) * libcfa/prelude/prelude-gen.cc (modified) * libcfa/src/Makefile.am (modified) * libcfa/src/Makefile.in (modified) * libcfa/src/heap.cfa (modified) * src/CodeTools/ResolvProtoDump.cc (added) * src/CodeTools/ResolvProtoDump.h (added) * src/CodeTools/module.mk (modified) * src/CompilationState.cc (modified) * src/CompilationState.h (modified) * src/GenPoly/ScrubTyVars.cc (modified) * src/Makefile.am (modified) * src/Makefile.in (modified) * src/Parser/LinkageSpec.cc (modified) * src/Parser/LinkageSpec.h (modified) * src/Parser/lex.ll (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/Resolver.h (modified) * src/ResolvExpr/TypeEnvironment.cc (modified) * src/SymTab/Demangle.cc (added) * src/SymTab/Mangler.cc (modified) * src/SymTab/Mangler.h (modified) * src/SymTab/ManglerCommon.cc (added) * src/SymTab/Validate.cc (modified) * src/SymTab/demangler.cc (added) * src/SymTab/module.mk (modified) * src/SynTree/Declaration.h (modified) * src/cfa.make (modified) * src/main.cc (modified) * tests/.expect/KRfunctions.x64.txt (modified) * tests/.expect/KRfunctions.x86.txt (modified) * tests/.expect/attributes.x64.txt (modified) * tests/.expect/attributes.x86.txt (modified) * tests/.expect/declarationSpecifier.x64.txt (modified) * tests/.expect/declarationSpecifier.x86.txt (modified) * tests/.expect/extension.x64.txt (modified) * tests/.expect/extension.x86.txt (modified) * tests/.expect/forctrl.txt (modified) * tests/.expect/functions.x64.txt (modified) * tests/.expect/functions.x86.txt (modified) * tests/.expect/gccExtensions.x64.txt (modified) * tests/.expect/gccExtensions.x86.txt (modified) * tests/Makefile.am (modified) * tests/Makefile.in (modified) * tests/coroutine/fibonacci.c (modified) * tests/coroutine/fibonacci_1.c (added) * tests/coroutine/pingpong.c (modified) * tests/coroutine/prodcons.c (modified) * tests/forctrl.c (modified) * tests/gmp.c (modified) * tests/test.py (modified) * tools/cfa.nanorc (modified) Merge branch 'master' into shared_library Tue, 25 Sep 2018 14:56:31 GMT Thierry Delisle [13a984c] * driver/cfa.cc (modified) Force -m64 the same way -m32 is Sat, 08 Sep 2018 12:56:30 GMT Peter A. Buhr [bec4d24] * driver/cc1.cc (modified) * driver/cfa.cc (modified) fix debug print, better handle -x language command-line flag Thu, 23 Aug 2018 22:28:45 GMT Peter A. Buhr [dfb7c96] * driver/cfa.cc (modified) temporary patch to implicitly add -m32 for 32-bit compiles Thu, 23 Aug 2018 15:06:16 GMT Peter A. Buhr [d6f4488] * driver/cc1.cc (modified) * driver/cfa.cc (modified) fix cfa -compiler flag Thu, 23 Aug 2018 01:39:45 GMT Peter A. Buhr [b740f0b] * driver/cc1.cc (modified) * driver/cfa.cc (modified) remove double trialing slash for file names, fix -E flag, clean up ... Mon, 20 Aug 2018 16:52:03 GMT Thierry Delisle [8bdc1c36] * driver/cfa.cc (modified) * tests/pybin/settings.py (modified) * tests/test.py (modified) Now using rpath to handle shared libraries instead of LD_LIBRARY_PATH Thu, 16 Aug 2018 19:23:52 GMT Thierry Delisle [eed6f5b] * driver/cfa.cc (modified) Fixed driver path for local libs Tue, 14 Aug 2018 17:20:59 GMT Thierry Delisle [0e0f128c] * doc/bibliography/pl.bib (modified) * doc/papers/AMA/AMA-stix/ama/WileyNJD-v2.cls (modified) * doc/papers/general/Makefile (modified) * doc/papers/general/Paper.tex (modified) * driver/cfa.cc (modified) * libcfa/src/bits/locks.hfa (modified) * libcfa/src/fstream.cfa (modified) * libcfa/src/fstream.hfa (modified) * libcfa/src/heap.cfa (modified) * libcfa/src/iostream.cfa (modified) * libcfa/src/iostream.hfa (modified) * libcfa/src/stdhdr/malloc.h (modified) * libcfa/src/time.hfa (modified) * src/tests/.expect/forctrl.txt (added) * src/tests/forctrl.c (added) * tests/alloc.c (modified) * tests/concurrent/examples/matrixSum.c (modified) * tests/pybin/tools.py (modified) * tests/raii/.expect/dtor-early-exit-ERR1.txt (modified) * tests/raii/.expect/dtor-early-exit-ERR2.txt (modified) * tests/raii/dtor-early-exit.c (modified) * tests/searchsort.c (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Thu, 09 Aug 2018 17:14:24 GMT Thierry Delisle [9aa9126] * .gitignore (modified) * driver/Makefile.am (modified) * driver/Makefile.in (modified) * driver/cfa.cc (modified) * libcfa/prelude/builtins.c (modified) * libcfa/src/bits/locks.hfa (modified) * libcfa/src/concurrency/kernel.cfa (modified) * libcfa/src/startup.cfa (modified) * src/CodeGen/GenType.cc (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/ParseNode.h (modified) * src/Parser/StatementNode.cc (modified) * src/Parser/lex.ll (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/CurrentObject.cc (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/AggregateDecl.cc (modified) * src/Validate/HandleAttributes.cc (added) * src/Validate/HandleAttributes.h (added) * src/Validate/module.mk (added) * src/driver/as.cc (added) * src/main.cc (modified) * tests/.expect/attributes.x64.txt (modified) * tests/.expect/attributes.x86.txt (modified) * tests/function-operator.c (modified) * tests/sum.c (modified) * tests/tuple/tupleVariadic.c (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Tue, 07 Aug 2018 19:23:34 GMT Thierry Delisle [a5121bf] * Makefile.am (modified) * Makefile.in (modified) * automake/cfa.m4 (modified) * configure (modified) * configure.ac (modified) * driver/cfa.cc (modified) * libcfa/configure (modified) * libcfa/src/Makefile.am (modified) * libcfa/src/Makefile.in (modified) * tests/Makefile.am (modified) * tests/Makefile.in (modified) * tests/pybin/settings.py (modified) * tests/pybin/tools.py (modified) * tests/test.py (modified) Tests can now be run from installed binaries or tree binaries Mon, 06 Aug 2018 18:05:02 GMT Thierry Delisle [28582b2] * driver/cfa.cc (modified) * tests/Makefile.am (modified) * tests/Makefile.in (modified) * tests/pybin/settings.py (modified) * tests/pybin/tools.py (modified) * tests/test.py (modified) Better handling of missing configurations Sun, 05 Aug 2018 20:11:41 GMT Thierry Delisle [37fe352] * automake/cfa.m4 (modified) * configure (modified) * configure.ac (modified) * driver/cfa.cc (modified) * libcfa/Makefile.in (modified) * libcfa/configure (modified) * libcfa/configure.ac (modified) * libcfa/prelude/Makefile.am (modified) * libcfa/prelude/Makefile.in (modified) * libcfa/src/Makefile.am (modified) * libcfa/src/Makefile.in (modified) * libcfa/src/concurrency/CtxSwitch-x64.S (added) * libcfa/src/concurrency/CtxSwitch-x86.S (added) * src/config.h.in (modified) * src/main.cc (modified) Added proper multi-lib handling, tests still do not work and arm ... Fri, 03 Aug 2018 15:25:46 GMT Thierry Delisle [c59712e] * Makefile.am (modified) * Makefile.in (modified) * aclocal.m4 (modified) * automake/compile (modified) * automake/config.guess (modified) * automake/config.sub (modified) * automake/depcomp (modified) * automake/install-sh (modified) * automake/missing (modified) * automake/test-driver (modified) * automake/ylwrap (modified) * benchmark/Makefile.in (modified) * configure (modified) * configure.ac (modified) * driver/Makefile.am (modified) * driver/Makefile.in (modified) * driver/cfa.cc (modified) * libcfa/.autom4te.cfg (added) * libcfa/Makefile.am (added) * libcfa/Makefile.in (added) * libcfa/aclocal.m4 (added) * libcfa/automake/compile (added) * libcfa/automake/depcomp (added) * libcfa/automake/install-sh (added) * libcfa/automake/missing (added) * libcfa/configure (added) * libcfa/configure.ac (added) * libcfa/prelude/Makefile.in (modified) * libcfa/src/Makefile.am (modified) * libcfa/src/Makefile.in (modified) * src/Makefile.in (modified) * tests/Makefile.am (modified) * tests/Makefile.in (modified) * tests/preempt_longrun/Makefile.in (modified) * tools/Makefile.in (modified) * tools/prettyprinter/Makefile.in (modified) Parent make now seems to properly call libcfa Wed, 01 Aug 2018 22:24:51 GMT Thierry Delisle [bf71cfd] * .gitignore (modified) * Makefile.am (modified) * Makefile.in (modified) * benchmark/Makefile.am (moved) * benchmark/Makefile.in (moved) * benchmark/Monitor.c (moved) * benchmark/bench.h (moved) * benchmark/compile/empty.c (moved) * benchmark/creation/JavaThread.java (moved) * benchmark/creation/cfa_cor.c (moved) * benchmark/creation/cfa_thrd.c (moved) * benchmark/creation/goroutine.go (moved) * benchmark/creation/pthreads.c (moved) * benchmark/creation/upp_cor.cc (moved) * benchmark/creation/upp_thrd.cc (moved) * benchmark/ctxswitch/JavaThread.java (moved) * benchmark/ctxswitch/cfa_cor.c (moved) * benchmark/ctxswitch/cfa_thrd.c (moved) * benchmark/ctxswitch/cfa_thrd2.c (moved) * benchmark/ctxswitch/goroutine.go (moved) * benchmark/ctxswitch/kos_fibre.cpp (moved) * benchmark/ctxswitch/kos_fibre2.cpp (moved) * benchmark/ctxswitch/pthreads.c (moved) * benchmark/ctxswitch/upp_cor.cc (moved) * benchmark/ctxswitch/upp_thrd.cc (moved) * benchmark/fetch_add.c (moved) * benchmark/function.c (moved) * benchmark/interrupt_linux.c (moved) * benchmark/loop.c (moved) * benchmark/mutex/JavaThread.java (moved) * benchmark/mutex/cfa1.c (moved) * benchmark/mutex/cfa2.c (moved) * benchmark/mutex/cfa4.c (moved) * benchmark/mutex/pthreads.c (moved) * benchmark/mutex/upp.cc (moved) * benchmark/schedext/cfa1.c (moved) * benchmark/schedext/cfa2.c (moved) * benchmark/schedext/cfa4.c (moved) * benchmark/schedext/upp.cc (moved) * benchmark/schedint/JavaThread.java (moved) * benchmark/schedint/cfa1.c (moved) * benchmark/schedint/cfa2.c (moved) * benchmark/schedint/cfa4.c (moved) * benchmark/schedint/pthreads.c (moved) * benchmark/schedint/upp.cc (moved) * configure (modified) * configure.ac (modified) * driver/Makefile.am (moved) * driver/Makefile.in (moved) * driver/cc1.cc (moved) * driver/cfa.cc (moved) * examples/ArrayN.c (moved) * examples/Attributes.c (moved) * examples/Initialization.c (moved) * examples/Initialization2.c (moved) * examples/Makefile.example (moved) * examples/Members.c (moved) * examples/Misc.c (moved) * examples/MiscError.c (moved) * examples/Rank2.c (moved) * examples/Tuple.c (moved) * examples/abstype.c (moved) * examples/constructors.c (moved) * examples/forward.c (moved) * examples/gc_no_raii/.gitignore (moved) * examples/gc_no_raii/bug-repro/assert.c (moved) * examples/gc_no_raii/bug-repro/blockers.tar.gz (moved) * examples/gc_no_raii/bug-repro/blockers/explicit_cast.c (moved) * examples/gc_no_raii/bug-repro/blockers/file_scope.c (moved) * examples/gc_no_raii/bug-repro/blockers/recursive_realloc.c (moved) * examples/gc_no_raii/bug-repro/crash.c (moved) * examples/gc_no_raii/bug-repro/deref.c (moved) * examples/gc_no_raii/bug-repro/field.c (moved) * examples/gc_no_raii/bug-repro/find.c (moved) * examples/gc_no_raii/bug-repro/inline.c (moved) * examples/gc_no_raii/bug-repro/malloc.c (moved) * examples/gc_no_raii/bug-repro/not_equal.c (moved) * examples/gc_no_raii/bug-repro/oddtype.c (moved) * examples/gc_no_raii/bug-repro/push_back.c (moved) * examples/gc_no_raii/bug-repro/push_back.h (moved) * examples/gc_no_raii/bug-repro/realloc.c (moved) * examples/gc_no_raii/bug-repro/return.c (moved) * examples/gc_no_raii/bug-repro/return_template.c (moved) * examples/gc_no_raii/bug-repro/slow_malloc.c (moved) * examples/gc_no_raii/bug-repro/static_const_local.c (moved) * examples/gc_no_raii/bug-repro/test-assert.cpp (moved) * examples/gc_no_raii/bug-repro/void_pointer.c (moved) * examples/gc_no_raii/bug-repro/while.c (moved) * examples/gc_no_raii/bug-repro/zero.c (moved) * examples/gc_no_raii/pool-alloc/allocate-malign.c (moved) * examples/gc_no_raii/pool-alloc/allocate-malloc.c (moved) * examples/gc_no_raii/pool-alloc/allocate-mmap.c (moved) * examples/gc_no_raii/pool-alloc/allocate-win-valloc.c (moved) * examples/gc_no_raii/premake4.lua (moved) * examples/gc_no_raii/src/allocate-pool.c (moved) * examples/gc_no_raii/src/allocate-pool.h (moved) * examples/gc_no_raii/src/gc.h (moved) * examples/gc_no_raii/src/gcpointers.c (moved) * examples/gc_no_raii/src/gcpointers.h (moved) * examples/gc_no_raii/src/internal/card_table.h (moved) * examples/gc_no_raii/src/internal/collector.c (moved) * examples/gc_no_raii/src/internal/collector.h (moved) * examples/gc_no_raii/src/internal/gc_tools.h (moved) * examples/gc_no_raii/src/internal/globals.h (moved) * examples/gc_no_raii/src/internal/memory_pool.c (moved) * examples/gc_no_raii/src/internal/memory_pool.h (moved) * examples/gc_no_raii/src/internal/object_header.c (moved) * examples/gc_no_raii/src/internal/object_header.h (moved) * examples/gc_no_raii/src/internal/state.c (moved) * examples/gc_no_raii/src/internal/state.h (moved) * examples/gc_no_raii/src/test_include.c (moved) * examples/gc_no_raii/src/tools.h (moved) * examples/gc_no_raii/src/tools/checks.h (moved) * examples/gc_no_raii/src/tools/print.c (moved) * examples/gc_no_raii/src/tools/print.h (moved) * examples/gc_no_raii/src/tools/worklist.h (moved) * examples/gc_no_raii/test/badlll.c (moved) * examples/gc_no_raii/test/gctest.c (moved) * examples/gc_no_raii/test/operators.c (moved) * examples/huge.c (moved) * examples/includes.c (moved) * examples/index.h (moved) * examples/it_out.c (moved) * examples/multicore.c (moved) * examples/new.c (moved) * examples/poly-bench.c (moved) * examples/prolog.c (moved) * examples/quad.c (moved) * examples/s.c (moved) * examples/simplePoly.c (moved) * examples/simpler.c (moved) * examples/specialize.c (moved) * examples/square.c (moved) * examples/twice.c (moved) * examples/wrapper/.gitignore (moved) * examples/wrapper/premake4.lua (moved) * examples/wrapper/src/main.c (moved) * examples/wrapper/src/pointer.h (moved) * examples/zero_one.c (moved) * libcfa/prelude/Makefile.am (moved) * libcfa/prelude/Makefile.in (moved) * libcfa/prelude/bootloader.cf (moved) * libcfa/prelude/builtins.c (moved) * libcfa/prelude/builtins.def (moved) * libcfa/prelude/extras.c (moved) * libcfa/prelude/extras.regx (moved) * libcfa/prelude/prelude-gen.cc (moved) * libcfa/prelude/prelude.old.cf (moved) * libcfa/prelude/prototypes.awk (moved) * libcfa/prelude/prototypes.c (moved) * libcfa/prelude/prototypes.sed (moved) * libcfa/prelude/sync-builtins.cf (moved) * libcfa/prelude/sync-builtins.def (moved) * libcfa/src/Makefile.am (moved) * libcfa/src/Makefile.in (moved) * libcfa/src/assert.c (moved) * libcfa/src/bits/algorithms.h (moved) * libcfa/src/bits/align.h (moved) * libcfa/src/bits/containers.h (moved) * libcfa/src/bits/debug.c (moved) * libcfa/src/bits/debug.h (moved) * libcfa/src/bits/defs.h (moved) * libcfa/src/bits/locks.h (moved) * libcfa/src/bits/signal.h (moved) * libcfa/src/clock (moved) * libcfa/src/common (moved) * libcfa/src/common.c (moved) * libcfa/src/concurrency/CtxSwitch-armv7l.S (moved) * libcfa/src/concurrency/CtxSwitch-i386.S (moved) * libcfa/src/concurrency/CtxSwitch-i686.S (moved) * libcfa/src/concurrency/CtxSwitch-x86_64.S (moved) * libcfa/src/concurrency/alarm.c (moved) * libcfa/src/concurrency/alarm.h (moved) * libcfa/src/concurrency/coroutine (moved) * libcfa/src/concurrency/coroutine.c (moved) * libcfa/src/concurrency/invoke.c (moved) * libcfa/src/concurrency/invoke.h (moved) * libcfa/src/concurrency/kernel (moved) * libcfa/src/concurrency/kernel.c (moved) * libcfa/src/concurrency/kernel_private.h (moved) * libcfa/src/concurrency/monitor (moved) * libcfa/src/concurrency/monitor.c (moved) * libcfa/src/concurrency/mutex (moved) * libcfa/src/concurrency/mutex.c (moved) * libcfa/src/concurrency/preemption.c (moved) * libcfa/src/concurrency/preemption.h (moved) * libcfa/src/concurrency/thread (moved) * libcfa/src/concurrency/thread.c (moved) * libcfa/src/containers/maybe (moved) * libcfa/src/containers/maybe.c (moved) * libcfa/src/containers/pair (moved) * libcfa/src/containers/pair.c (moved) * libcfa/src/containers/result (moved) * libcfa/src/containers/result.c (moved) * libcfa/src/containers/vector (moved) * libcfa/src/containers/vector.c (moved) * libcfa/src/exception.c (moved) * libcfa/src/exception.h (moved) * libcfa/src/expat.h (moved) * libcfa/src/fstream (moved) * libcfa/src/fstream.c (moved) * libcfa/src/gmp (moved) * libcfa/src/heap.c (moved) * libcfa/src/interpose.c (moved) * libcfa/src/iostream (moved) * libcfa/src/iostream.c (moved) * libcfa/src/iterator (moved) * libcfa/src/iterator.c (moved) * libcfa/src/limits (moved) * libcfa/src/limits.c (moved) * libcfa/src/lsda.h (moved) * libcfa/src/math (moved) * libcfa/src/memcheck.awk (moved) * libcfa/src/rational (moved) * libcfa/src/rational.c (moved) * libcfa/src/startup.c (moved) * libcfa/src/startup.h (moved) * libcfa/src/stdhdr/assert.h (moved) * libcfa/src/stdhdr/bfdlink.h (moved) * libcfa/src/stdhdr/complex.h (moved) * libcfa/src/stdhdr/ctype.h (moved) * libcfa/src/stdhdr/errno.h (moved) * libcfa/src/stdhdr/fenv.h (moved) * libcfa/src/stdhdr/float.h (moved) * libcfa/src/stdhdr/gmp.h (moved) * libcfa/src/stdhdr/hwloc.h (moved) * libcfa/src/stdhdr/inttypes.h (moved) * libcfa/src/stdhdr/iso646.h (moved) * libcfa/src/stdhdr/krb5.h (moved) * libcfa/src/stdhdr/limits.h (moved) * libcfa/src/stdhdr/locale.h (moved) * libcfa/src/stdhdr/malloc.h (moved) * libcfa/src/stdhdr/math.h (moved) * libcfa/src/stdhdr/setjmp.h (moved) * libcfa/src/stdhdr/signal.h (moved) * libcfa/src/stdhdr/stdalign.h (moved) * libcfa/src/stdhdr/stdarg.h (moved) * libcfa/src/stdhdr/stdatomic.h (moved) * libcfa/src/stdhdr/stdbool.h (moved) * libcfa/src/stdhdr/stddef.h (moved) * libcfa/src/stdhdr/stdint.h (moved) * libcfa/src/stdhdr/stdio.h (moved) * libcfa/src/stdhdr/stdlib.h (moved) * libcfa/src/stdhdr/stdnoreturn.h (moved) * libcfa/src/stdhdr/string.h (moved) * libcfa/src/stdhdr/sys/ucontext.h (moved) * libcfa/src/stdhdr/tgmath.h (moved) * libcfa/src/stdhdr/threads.h (moved) * libcfa/src/stdhdr/time.h (moved) * libcfa/src/stdhdr/uchar.h (moved) * libcfa/src/stdhdr/unistd.h (moved) * libcfa/src/stdhdr/wchar.h (moved) * libcfa/src/stdhdr/wctype.h (moved) * libcfa/src/stdlib (moved) * libcfa/src/stdlib.c (moved) * libcfa/src/time (moved) * libcfa/src/time.c (moved) * libcfa/src/time_t.h (moved) * libcfa/src/virtual.c (moved) * libcfa/src/virtual.h (moved) * src/Docs/Makefile (deleted) * src/Docs/cfa-cpp.1 (deleted) * src/Docs/design.tex (deleted) * src/Docs/uml.dia (deleted) * src/Makefile.am (modified) * src/Makefile.in (modified) * tests/.expect/KRfunctions.x64.txt (moved) * tests/.expect/KRfunctions.x86.txt (moved) * tests/.expect/abs.txt (moved) * tests/.expect/alloc-ERROR.txt (moved) * tests/.expect/alloc.txt (moved) * tests/.expect/array.txt (moved) * tests/.expect/ato.txt (moved) * tests/.expect/attributes.x64.txt (moved) * tests/.expect/attributes.x86.txt (moved) * tests/.expect/avl_test.txt (moved) * tests/.expect/cast.txt (moved) * tests/.expect/castError.txt (moved) * tests/.expect/completeTypeError.txt (moved) * tests/.expect/complex.txt (moved) * tests/.expect/counter.txt (moved) * tests/.expect/declarationErrors.txt (moved) * tests/.expect/declarationSpecifier.x64.txt (moved) * tests/.expect/declarationSpecifier.x86.txt (moved) * tests/.expect/designations.txt (moved) * tests/.expect/div.txt (moved) * tests/.expect/enum.txt (moved) * tests/.expect/expression.txt (moved) * tests/.expect/extension.x64.txt (moved) * tests/.expect/extension.x86.txt (moved) * tests/.expect/fallthrough.txt (moved) * tests/.expect/forall.txt (moved) * tests/.expect/fstream_test.txt (moved) * tests/.expect/function-operator.txt (moved) * tests/.expect/functions.x64.txt (moved) * tests/.expect/functions.x86.txt (moved) * tests/.expect/gccExtensions.x64.txt (moved) * tests/.expect/gccExtensions.x86.txt (moved) * tests/.expect/genericUnion.txt (moved) * tests/.expect/gmp.x64.txt (moved) * tests/.expect/heap.txt (moved) * tests/.expect/hello.txt (moved) * tests/.expect/identFuncDeclarator.txt (moved) * tests/.expect/identParamDeclarator.txt (moved) * tests/.expect/identity.txt (moved) * tests/.expect/ifwhileCtl.txt (moved) * tests/.expect/io1.txt (moved) * tests/.expect/io2.txt (moved) * tests/.expect/labelledExit.txt (moved) * tests/.expect/limits.txt (moved) * tests/.expect/literals.txt (moved) * tests/.expect/math1.x64.txt (moved) * tests/.expect/math1.x86.txt (moved) * tests/.expect/math2.x64.txt (moved) * tests/.expect/math2.x86.txt (moved) * tests/.expect/math3.x64.txt (moved) * tests/.expect/math3.x86.txt (moved) * tests/.expect/math4.x64.txt (moved) * tests/.expect/maybe.txt (moved) * tests/.expect/minmax.txt (moved) * tests/.expect/nested-types-ERR1.txt (moved) * tests/.expect/nested-types-ERR2.txt (moved) * tests/.expect/nested-types.txt (moved) * tests/.expect/numericConstants.txt (moved) * tests/.expect/operators.txt (moved) * tests/.expect/polymorphism.txt (moved) * tests/.expect/quoted_keyword.txt (moved) * tests/.expect/random.txt (moved) * tests/.expect/rational.txt (moved) * tests/.expect/references.txt (moved) * tests/.expect/result.txt (moved) * tests/.expect/scopeErrors.txt (moved) * tests/.expect/searchsort.txt (moved) * tests/.expect/shortCircuit.txt (moved) * tests/.expect/simpleGenericTriple.txt (moved) * tests/.expect/stdincludes.txt (moved) * tests/.expect/sum.txt (moved) * tests/.expect/swap.txt (moved) * tests/.expect/switch.txt (moved) * tests/.expect/time.x64.txt (moved) * tests/.expect/time.x86.txt (moved) * tests/.expect/typedefRedef-ERR1.txt (moved) * tests/.expect/typedefRedef.txt (moved) * tests/.expect/typeof.txt (moved) * tests/.expect/user_literals.txt (moved) * tests/.expect/variableDeclarator.txt (moved) * tests/.expect/vector.txt (moved) * tests/.expect/voidPtr.txt (moved) * tests/.expect/with-statement.txt (moved) * tests/.gitignore (moved) * tests/.in/fstream_test.txt (moved) * tests/.in/gmp.txt (moved) * tests/.in/io.data (moved) * tests/.in/rational.txt (moved) * tests/KRfunctions.c (moved) * tests/Makefile.am (moved) * tests/Makefile.in (moved) * tests/abs.c (moved) * tests/alloc.c (moved) * tests/array.c (moved) * tests/ato.c (moved) * tests/attributes.c (moved) * tests/avltree/avl-private.c (moved) * tests/avltree/avl-private.h (moved) * tests/avltree/avl.h (moved) * tests/avltree/avl0.c (moved) * tests/avltree/avl1.c (moved) * tests/avltree/avl2.c (moved) * tests/avltree/avl3.c (moved) * tests/avltree/avl4.c (moved) * tests/avltree/avl_test.c (moved) * tests/builtins/.expect/sync.txt (moved) * tests/builtins/sync.c (moved) * tests/cast.c (moved) * tests/castError.c (moved) * tests/commentMisc.c (moved) * tests/completeTypeError.c (moved) * tests/complex.c (moved) * tests/concurrent/.expect/coroutineYield.txt (moved) * tests/concurrent/.expect/monitor.txt (moved) * tests/concurrent/.expect/multi-monitor.txt (moved) * tests/concurrent/.expect/preempt.txt (moved) * tests/concurrent/.expect/thread.txt (moved) * tests/concurrent/coroutineYield.c (moved) * tests/concurrent/examples/.expect/boundedBufferEXT.txt (moved) * tests/concurrent/examples/.expect/boundedBufferINT.txt (moved) * tests/concurrent/examples/.expect/datingService.txt (moved) * tests/concurrent/examples/.expect/matrixSum.txt (moved) * tests/concurrent/examples/.expect/quickSort.txt (moved) * tests/concurrent/examples/.in/quickSort.txt (moved) * tests/concurrent/examples/boundedBufferEXT.c (moved) * tests/concurrent/examples/boundedBufferINT.c (moved) * tests/concurrent/examples/datingService.c (moved) * tests/concurrent/examples/matrixSum.c (moved) * tests/concurrent/examples/quickSort.c (moved) * tests/concurrent/monitor.c (moved) * tests/concurrent/multi-monitor.c (moved) * tests/concurrent/preempt.c (moved) * tests/concurrent/signal/.expect/block.txt (moved) * tests/concurrent/signal/.expect/disjoint.txt (moved) * tests/concurrent/signal/.expect/wait.txt (moved) * tests/concurrent/signal/block.c (moved) * tests/concurrent/signal/disjoint.c (moved) * tests/concurrent/signal/wait.c (moved) * tests/concurrent/thread.c (moved) * tests/concurrent/waitfor/.expect/barge.txt (moved) * tests/concurrent/waitfor/.expect/dtor.txt (moved) * tests/concurrent/waitfor/.expect/else.txt (moved) * tests/concurrent/waitfor/.expect/recurse.txt (moved) * tests/concurrent/waitfor/.expect/statment.txt (moved) * tests/concurrent/waitfor/.expect/when.txt (moved) * tests/concurrent/waitfor/barge.c (moved) * tests/concurrent/waitfor/dtor.c (moved) * tests/concurrent/waitfor/else.c (moved) * tests/concurrent/waitfor/parse.c (moved) * tests/concurrent/waitfor/parse2.c (moved) * tests/concurrent/waitfor/recurse.c (moved) * tests/concurrent/waitfor/simple.c (moved) * tests/concurrent/waitfor/statment.c (moved) * tests/concurrent/waitfor/when.c (moved) * tests/config.py.in (moved) * tests/context.c (moved) * tests/coroutine/.expect/fibonacci.txt (moved) * tests/coroutine/.expect/fmtLines.txt (moved) * tests/coroutine/.expect/pingpong.txt (moved) * tests/coroutine/.expect/prodcons.txt (moved) * tests/coroutine/.expect/runningTotal.txt (moved) * tests/coroutine/.in/fmtLines.txt (moved) * tests/coroutine/fibonacci.c (moved) * tests/coroutine/fmtLines.c (moved) * tests/coroutine/pingpong.c (moved) * tests/coroutine/prodcons.c (moved) * tests/coroutine/runningTotal.c (moved) * tests/counter.c (moved) * tests/declarationErrors.c (moved) * tests/declarationSpecifier.c (moved) * tests/designations.c (moved) * tests/div.c (moved) * tests/enum.c (moved) * tests/except-0.c (moved) * tests/except-1.c (moved) * tests/except-2.c (moved) * tests/except-3.c (moved) * tests/except-mac.h (moved) * tests/expression.c (moved) * tests/extension.c (moved) * tests/fallthrough.c (moved) * tests/forall.c (moved) * tests/fstream_test.c (moved) * tests/function-operator.c (moved) * tests/functions.c (moved) * tests/gccExtensions.c (moved) * tests/genericUnion.c (moved) * tests/gmp.c (moved) * tests/heap.c (moved) * tests/hello.c (moved) * tests/identFuncDeclarator.c (moved) * tests/identParamDeclarator.c (moved) * tests/identity.c (moved) * tests/ifwhileCtl.c (moved) * tests/io1.c (moved) * tests/io2.c (moved) * tests/labelledExit.c (moved) * tests/limits.c (moved) * tests/literals.c (moved) * tests/long_tests.h (moved) * tests/math1.c (moved) * tests/math2.c (moved) * tests/math3.c (moved) * tests/math4.c (moved) * tests/maybe.c (moved) * tests/minmax.c (moved) * tests/namedParmArg.c (moved) * tests/nested-types.c (moved) * tests/numericConstants.c (moved) * tests/occursError.c (moved) * tests/operators.c (moved) * tests/polymorphism.c (moved) * tests/preempt_longrun/Makefile.am (moved) * tests/preempt_longrun/Makefile.in (moved) * tests/preempt_longrun/block.c (moved) * tests/preempt_longrun/coroutine.c (moved) * tests/preempt_longrun/create.c (moved) * tests/preempt_longrun/disjoint.c (moved) * tests/preempt_longrun/enter.c (moved) * tests/preempt_longrun/enter3.c (moved) * tests/preempt_longrun/preempt.c (moved) * tests/preempt_longrun/processor.c (moved) * tests/preempt_longrun/stack.c (moved) * tests/preempt_longrun/update-type (moved) * tests/preempt_longrun/wait.c (moved) * tests/preempt_longrun/yield.c (moved) * tests/pybin/__init__.py (moved) * tests/pybin/settings.py (moved) * tests/pybin/test_run.py (moved) * tests/pybin/tools.py (moved) * tests/quoted_keyword.c (moved) * tests/raii/.expect/ctor-autogen-ERR1.txt (moved) * tests/raii/.expect/ctor-autogen.txt (moved) * tests/raii/.expect/dtor-early-exit-ERR1.txt (moved) * tests/raii/.expect/dtor-early-exit-ERR2.txt (moved) * tests/raii/.expect/dtor-early-exit.txt (moved) * tests/raii/.expect/globals.txt (moved) * tests/raii/.expect/init_once.txt (moved) * tests/raii/.expect/memberCtors-ERR1.txt (moved) * tests/raii/.expect/memberCtors.txt (moved) * tests/raii/ctor-autogen.c (moved) * tests/raii/dtor-early-exit.c (moved) * tests/raii/globals.c (moved) * tests/raii/init_once.c (moved) * tests/raii/memberCtors.c (moved) * tests/raii/multiDimension.c (moved) * tests/raii/multiDimension.txt (moved) * tests/random.c (moved) * tests/rational.c (moved) * tests/references.c (moved) * tests/result.c (moved) * tests/scope.c (moved) * tests/scopeErrors.c (moved) * tests/searchsort.c (moved) * tests/shortCircuit.c (moved) * tests/simpleGenericTriple.c (moved) * tests/stdincludes.c (moved) * tests/structMember.c (moved) * tests/subrange.c (moved) * tests/sum.c (moved) * tests/swap.c (moved) * tests/switch.c (moved) * tests/test.py (moved) * tests/time.c (moved) * tests/tuple/.expect/tupleAssign.txt (moved) * tests/tuple/.expect/tupleCast.txt (moved) * tests/tuple/.expect/tupleFunction.txt (moved) * tests/tuple/.expect/tupleMember.txt (moved) * tests/tuple/.expect/tuplePolymorphism.txt (moved) * tests/tuple/.expect/tupleVariadic.txt (moved) * tests/tuple/tupleAssign.c (moved) * tests/tuple/tupleCast.c (moved) * tests/tuple/tupleFunction.c (moved) * tests/tuple/tupleMember.c (moved) * tests/tuple/tuplePolymorphism.c (moved) * tests/tuple/tupleVariadic.c (moved) * tests/tuple/tuples.c (moved) * tests/typeGenerator.c (moved) * tests/typedef.c (moved) * tests/typedefDeclarator.c (moved) * tests/typedefRedef.c (moved) * tests/typeof.c (moved) * tests/user_literals.c (moved) * tests/variableDeclarator.c (moved) * tests/vector.c (moved) * tests/virtualCast.c (moved) * tests/voidPtr.c (moved) * tests/warnings/.expect/self-assignment.txt (moved) * tests/warnings/self-assignment.c (moved) * tests/with-statement.c (moved) Moved up many directories in source Tue, 02 Jun 2015 00:52:19 GMT Peter A. Buhr [6e7e2b36] * .gitignore (modified) * Makefile.am (modified) * Makefile.in (modified) * configure (modified) * configure.ac (modified) * src/ArgTweak/module.mk (modified) * src/CodeGen/module.mk (modified) * src/Common/module.mk (modified) * src/ControlStruct/module.mk (modified) * src/Designators/module.mk (modified) * src/GenPoly/module.mk (modified) * src/InitTweak/module.mk (modified) * src/Makefile.in (modified) * src/ResolvExpr/module.mk (modified) * src/SymTab/module.mk (modified) * src/SynTree/module.mk (modified) * src/Tuples/module.mk (modified) * src/driver/Makefile.am (moved) * src/driver/Makefile.in (moved) * src/driver/cc1.cc (moved) * src/driver/cfa.cc (moved) * src/examples/sum.c (modified) * src/libcfa/Makefile.am (moved) * src/libcfa/Makefile.in (moved) * src/libcfa/builtins.cf (moved) * src/libcfa/prelude.cf (moved) * src/libcfa/ptrdiff_t.c (moved) redo automake seventh attempt Sun, 31 May 2015 17:54:23 GMT Peter A. Buhr [00cc023] * .gitignore (modified) * Makefile.am (modified) * Makefile.in (modified) * aclocal.m4 (modified) * automake/compile (added) * automake/depcomp (added) * automake/install-sh (moved) * automake/missing (moved) * automake/ylwrap (added) * config.h.in (modified) * configure (modified) * configure.ac (modified) * driver/Makefile.am (added) * driver/Makefile.in (modified) * driver/cc1.cc (modified) * driver/cfa.cc (modified) * libcfa/Makefile.am (added) * libcfa/Makefile.in (modified) * src/ArgTweak/module.mk (modified) * src/CodeGen/module.mk (modified) * src/ControlStruct/module.mk (modified) * src/Designators/module.mk (modified) * src/GenPoly/module.mk (modified) * src/InitTweak/module.mk (modified) * src/Makefile.am (added) * src/Makefile.in (modified) * src/Parser/module.mk (modified) * src/ResolvExpr/module.mk (modified) * src/SynTree/module.mk (modified) * src/Tuples/module.mk (modified) * src/examples/Makefile.am (added) * src/examples/Makefile.in (modified) redo automake first attempt Sat, 16 May 2015 19:36:19 GMT Peter A. Buhr [b87a5ed] * INSTALL (modified) * Makefile.in (modified) * NEWS (deleted) * configure (modified) * configure.in (modified) * driver/Makefile.in (modified) * driver/cc1.cc (modified) * driver/cfa.cc (modified) * driver/cpp.cc (deleted) * include/bfd.h (modified) * include/math.h (modified) * libcfa/Makefile.in (modified) * libcfa/prototypes.awk (modified) * translator/ArgTweak/FunctionFixer.cc (modified) * translator/MakeLibCfa.cc (modified) * translator/MakeLibCfa.h (modified) * translator/Makefile.in (modified) * translator/Parser/DeclarationNode.cc (modified) * translator/Parser/ExpressionNode.cc (modified) * translator/Parser/InitializerNode.cc (modified) * translator/Parser/LinkageSpec.cc (modified) * translator/Parser/LinkageSpec.h (modified) * translator/Parser/ParseNode.cc (modified) * translator/Parser/ParseNode.h (modified) * translator/Parser/Parser.cc (modified) * translator/Parser/Parser.h (modified) * translator/Parser/StatementNode.cc (modified) * translator/Parser/TypeData.cc (modified) * translator/Parser/TypeData.h (modified) * translator/Parser/TypedefTable.cc (modified) * translator/Parser/TypedefTable.h (modified) * translator/Parser/cfa.y (modified) * translator/Parser/lex.h (modified) * translator/Parser/lex.l (modified) * translator/Parser/module.mk (modified) * translator/Parser/parseutility.cc (modified) * translator/Parser/parseutility.h (modified) * translator/ResolvExpr/AlternativeFinder.cc (modified) * translator/examples/Makefile.in (modified) * translator/main.cc (modified) licencing: first groups of files Fri, 15 May 2015 19:18:13 GMT Peter A. Buhr [b8508a2] * driver/cfa.cc (modified) * translator/GenPoly/Box.cc (modified) fix -std flag in cfa.cc, and rename alloca to __builtin_alloca Thu, 14 May 2015 16:19:46 GMT Rob Schluntz [b1a6d6b] * driver/cfa.cc (modified) * translator/ControlStruct/Mutate.cc (modified) * translator/GenPoly/Box.cc (modified) * translator/GenPoly/GenPoly.cc (modified) * translator/GenPoly/GenPoly.h (modified) * translator/GenPoly/PolyMutator.cc (modified) * translator/GenPoly/PolyMutator.h (modified) * translator/ResolvExpr/Resolver.cc (modified) * translator/SymTab/Validate.cc (modified) * translator/SynTree/CompoundStmt.cc (modified) * translator/main.cc (modified) removed duplicate adapters, switch to c99 for initializer declarations Thu, 13 Nov 2014 20:09:54 GMT Peter A. Buhr [8c17ab0] * Makefile (modified) * Makefile.in (modified) * acconfig.h (deleted) * aclocal.m4 (modified) * config.h (modified) * config.h.in (modified) * config.status (modified) * configure (modified) * configure.in (modified) * driver/cc1.cc (modified) * driver/cfa.cc (modified) * install-sh (modified) * translator/ControlStruct/MLEMutator.cc (modified) * translator/Parser/DeclarationNode.cc (modified) * translator/Parser/TypedefTable.cc (modified) * translator/Parser/cfa.y (modified) * translator/Parser/lex.l (modified) * translator/main.cc (modified) add quoted identifiers, add compilation include directory, ... Mon, 03 Nov 2014 21:38:08 GMT Peter A. Buhr [134b86a] * driver/cfa.cc (modified) * libcfa/prelude.cf (modified) * translator/Parser/cfa.y (modified) * translator/SymTab/Validate.cc (modified) * translator/examples/Makefile (modified) * translator/examples/array.c (modified) * translator/examples/array.h (modified) * translator/examples/fstream.c (modified) * translator/examples/fstream.h (modified) * translator/examples/fstream_test.c (modified) * translator/examples/fwrite.c (modified) * translator/examples/hello.c (modified) * translator/examples/index.h (modified) * translator/examples/iostream.c (modified) * translator/examples/iostream.h (modified) * translator/examples/iterator.c (modified) * translator/examples/iterator.h (modified) * translator/examples/vector_int.c (modified) * translator/examples/vector_int.h (modified) * translator/examples/vector_test.c (modified) add compiler flag to driver, update examples, fix unnamed bit fields Sat, 18 Oct 2014 01:28:24 GMT Peter A. Buhr [51b7345] * AUTHORS (added) * COPYING (added) * INSTALL (added) * Makefile (added) * Makefile.am (added) * Makefile.in (added) * README (added) * acconfig.h (added) * aclocal.m4 (added) * config.h (added) * config.h.in (added) * config.status (added) * configure (added) * configure.in (added) * driver/Makefile (added) * driver/Makefile.in (added) * driver/cc1.cc (added) * driver/cfa.cc (added) * driver/cpp.cc (added) * driver/test.c (added) * install-sh (added) * libcfa/Makefile (added) * libcfa/Makefile.in (added) * libcfa/builtins.c (added) * libcfa/builtins.def (added) * libcfa/prelude.cf (added) * missing (added) * mkinstalldirs (added) * rcb-example/Makefile (added) * rcb-example/array.c (added) * rcb-example/array.h (added) * rcb-example/fstream.c (added) * rcb-example/fstream.h (added) * rcb-example/fstream_test.c (added) * rcb-example/fwrite.c (added) * rcb-example/hello.c (added) * rcb-example/index.h (added) * rcb-example/iostream.c (added) * rcb-example/iostream.h (added) * rcb-example/iterator.c (added) * rcb-example/iterator.h (added) * rcb-example/test.c (added) * rcb-example/vector_int.c (added) * rcb-example/vector_int.h (added) * rcb-example/vector_test.c (added) * tools/cforall.el (added) * translator/Abstype.c (added) * translator/ArgTweak/FunctionFixer.cc (added) * translator/ArgTweak/FunctionFixer.h (added) * translator/ArgTweak/Mutate.cc (added) * translator/ArgTweak/Mutate.h (added) * translator/ArgTweak/module.mk (added) * translator/CodeGen/CodeGenerator2.cc (added) * translator/CodeGen/CodeGenerator2.h (added) * translator/CodeGen/FixNames.cc (added) * translator/CodeGen/FixNames.h (added) * translator/CodeGen/GenType.cc (added) * translator/CodeGen/GenType.h (added) * translator/CodeGen/Generate.cc (added) * translator/CodeGen/Generate.h (added) * translator/CodeGen/OperatorTable.cc (added) * translator/CodeGen/OperatorTable.h (added) * translator/CodeGen/module.mk (added) * translator/Common/CompilerError.h (added) * translator/Common/SemanticError.cc (added) * translator/Common/SemanticError.h (added) * translator/Common/UnimplementedError.h (added) * translator/Common/UniqueName.cc (added) * translator/Common/UniqueName.h (added) * translator/Common/module.mk (added) * translator/Common/utility.h (added) * translator/ControlStruct/CaseRangeMutator.cc (added) * translator/ControlStruct/CaseRangeMutator.h (added) * translator/ControlStruct/ChooseMutator.cc (added) * translator/ControlStruct/ChooseMutator.h (added) * translator/ControlStruct/ForExprMutator.cc (added) * translator/ControlStruct/ForExprMutator.h (added) * translator/ControlStruct/LabelFixer.cc (added) * translator/ControlStruct/LabelFixer.h (added) * translator/ControlStruct/LabelGenerator.cc (added) * translator/ControlStruct/LabelGenerator.h (added) * translator/ControlStruct/LabelTypeChecker.cc (added) * translator/ControlStruct/LabelTypeChecker.h (added) * translator/ControlStruct/MLEMutator.cc (added) * translator/ControlStruct/MLEMutator.h (added) * translator/ControlStruct/Mutate.cc (added) * translator/ControlStruct/Mutate.h (added) * translator/ControlStruct/module.mk (added) * translator/Designators/Processor.cc (added) * translator/Designators/Processor.h (added) * translator/Designators/module.mk (added) * translator/Docs/Makefile (added) * translator/Docs/cfa-cpp.1 (added) * translator/Docs/design.tex (added) * translator/Docs/uml.dia (added) * translator/GenPoly/Box.cc (added) * translator/GenPoly/Box.h (added) * translator/GenPoly/CopyParams.cc (added) * translator/GenPoly/CopyParams.h (added) * translator/GenPoly/FindFunction.cc (added) * translator/GenPoly/FindFunction.h (added) * translator/GenPoly/GenPoly.cc (added) * translator/GenPoly/GenPoly.h (added) * translator/GenPoly/Lvalue.cc (added) * translator/GenPoly/Lvalue.h (added) * translator/GenPoly/PolyMutator.cc (added) * translator/GenPoly/PolyMutator.h (added) * translator/GenPoly/ScrubTyVars.cc (added) * translator/GenPoly/ScrubTyVars.h (added) * translator/GenPoly/Specialize.cc (added) * translator/GenPoly/Specialize.h (added) * translator/GenPoly/module.mk (added) * translator/InitTweak/Association.cc (added) * translator/InitTweak/Association.h (added) * translator/InitTweak/BasicInit.cc (added) * translator/InitTweak/BasicInit.h (added) * translator/InitTweak/DeclarationHoister.cc (added) * translator/InitTweak/DeclarationHoister.h (added) * translator/InitTweak/InitExpander.cc (added) * translator/InitTweak/InitExpander.h (added) * translator/InitTweak/InitModel.cc (added) * translator/InitTweak/InitModel.h (added) * translator/InitTweak/Mutate.cc (added) * translator/InitTweak/Mutate.h (added) * translator/InitTweak/diet_map.h (added) * translator/InitTweak/module.mk (added) * translator/MakeLibCfa.cc (added) * translator/MakeLibCfa.h (added) * translator/Makefile (added) * translator/Makefile.in (added) * translator/Parser.old/DeclarationNode.cc (added) * translator/Parser.old/ExpressionNode.cc (added) * translator/Parser.old/InitializerNode.cc (added) * translator/Parser.old/LinkageSpec.cc (added) * translator/Parser.old/LinkageSpec.h (added) * translator/Parser.old/ParseNode.cc (added) * translator/Parser.old/ParseNode.h (added) * translator/Parser.old/Parser.cc (added) * translator/Parser.old/Parser.h (added) * translator/Parser.old/StatementNode.cc (added) * translator/Parser.old/TypeData.cc (added) * translator/Parser.old/TypeData.h (added) * translator/Parser.old/TypedefTable.cc (added) * translator/Parser.old/TypedefTable.h (added) * translator/Parser.old/cfa.y (added) * translator/Parser.old/lex.h (added) * translator/Parser.old/lex.l (added) * translator/Parser.old/lex.yy.cc (added) * translator/Parser.old/module.mk (added) * translator/Parser.old/parseutility.cc (added) * translator/Parser.old/parseutility.h (added) * translator/Parser/DeclarationNode.cc (added) * translator/Parser/ExpressionNode.cc (added) * translator/Parser/InitializerNode.cc (added) * translator/Parser/LinkageSpec.cc (added) * translator/Parser/LinkageSpec.h (added) * translator/Parser/ParseNode.cc (added) * translator/Parser/ParseNode.h (added) * translator/Parser/Parser.cc (added) * translator/Parser/Parser.h (added) * translator/Parser/StatementNode.cc (added) * translator/Parser/TypeData.cc (added) * translator/Parser/TypeData.h (added) * translator/Parser/TypedefTable.cc (added) * translator/Parser/TypedefTable.h (added) * translator/Parser/cfa.y (added) * translator/Parser/lex.h (added) * translator/Parser/lex.l (added) * translator/Parser/module.mk (added) * translator/Parser/parseutility.cc (added) * translator/Parser/parseutility.h (added) * translator/ResolvExpr/AdjustExprType.cc (added) * translator/ResolvExpr/Alternative.cc (added) * translator/ResolvExpr/Alternative.h (added) * translator/ResolvExpr/AlternativeFinder.cc (added) * translator/ResolvExpr/AlternativeFinder.h (added) * translator/ResolvExpr/AlternativePrinter.cc (added) * translator/ResolvExpr/AlternativePrinter.h (added) * translator/ResolvExpr/CastCost.cc (added) * translator/ResolvExpr/CommonType.cc (added) * translator/ResolvExpr/ConversionCost.cc (added) * translator/ResolvExpr/ConversionCost.h (added) * translator/ResolvExpr/Cost.h (added) * translator/ResolvExpr/FindOpenVars.cc (added) * translator/ResolvExpr/FindOpenVars.h (added) * translator/ResolvExpr/Occurs.cc (added) * translator/ResolvExpr/PolyCost.cc (added) * translator/ResolvExpr/PtrsAssignable.cc (added) * translator/ResolvExpr/PtrsCastable.cc (added) * translator/ResolvExpr/RenameVars.cc (added) * translator/ResolvExpr/RenameVars.h (added) * translator/ResolvExpr/ResolveTypeof.cc (added) * translator/ResolvExpr/ResolveTypeof.h (added) * translator/ResolvExpr/Resolver.cc (added) * translator/ResolvExpr/Resolver.h (added) * translator/ResolvExpr/TypeEnvironment.cc (added) * translator/ResolvExpr/TypeEnvironment.h (added) * translator/ResolvExpr/Unify.cc (added) * translator/ResolvExpr/Unify.h (added) * translator/ResolvExpr/module.mk (added) * translator/ResolvExpr/typeops.h (added) * translator/SymTab/AddVisit.h (added) * translator/SymTab/AggregateTable.h (added) * translator/SymTab/FixFunction.cc (added) * translator/SymTab/FixFunction.h (added) * translator/SymTab/IdTable.cc (added) * translator/SymTab/IdTable.h (added) * translator/SymTab/ImplementationType.cc (added) * translator/SymTab/ImplementationType.h (added) * translator/SymTab/Indexer.cc (added) * translator/SymTab/Indexer.h (added) * translator/SymTab/Mangler.cc (added) * translator/SymTab/Mangler.h (added) * translator/SymTab/StackTable.cc (added) * translator/SymTab/StackTable.h (added) * translator/SymTab/TypeTable.h (added) * translator/SymTab/Validate.cc (added) * translator/SymTab/Validate.h (added) * translator/SymTab/module.mk (added) * translator/SynTree/AddressExpr.cc (added) * translator/SynTree/AggregateDecl.cc (added) * translator/SynTree/ApplicationExpr.cc (added) * translator/SynTree/ArrayType.cc (added) * translator/SynTree/AttrType.cc (added) * translator/SynTree/BasicType.cc (added) * translator/SynTree/CodeGenVisitor.cc (added) * translator/SynTree/CodeGenVisitor.h (added) * translator/SynTree/CommaExpr.cc (added) * translator/SynTree/CompoundStmt.cc (added) * translator/SynTree/Constant.cc (added) * translator/SynTree/Constant.h (added) * translator/SynTree/DeclStmt.cc (added) * translator/SynTree/Declaration.cc (added) * translator/SynTree/Declaration.h (added) * translator/SynTree/DeclarationWithType.cc (added) * translator/SynTree/Expression.cc (added) * translator/SynTree/Expression.h (added) * translator/SynTree/FunctionDecl.cc (added) * translator/SynTree/FunctionType.cc (added) * translator/SynTree/Initializer.cc (added) * translator/SynTree/Initializer.h (added) * translator/SynTree/Makefile (added) * translator/SynTree/Mutator.cc (added) * translator/SynTree/Mutator.h (added) * translator/SynTree/NamedTypeDecl.cc (added) * translator/SynTree/ObjectDecl.cc (added) * translator/SynTree/PointerType.cc (added) * translator/SynTree/ReferenceToType.cc (added) * translator/SynTree/Statement.cc (added) * translator/SynTree/Statement.h (added) * translator/SynTree/SynTree.h (added) * translator/SynTree/TupleExpr.cc (added) * translator/SynTree/TupleType.cc (added) * translator/SynTree/Type.cc (added) * translator/SynTree/Type.h (added) * translator/SynTree/TypeDecl.cc (added) * translator/SynTree/TypeExpr.cc (added) * translator/SynTree/TypeSubstitution.cc (added) * translator/SynTree/TypeSubstitution.h (added) * translator/SynTree/TypeofType.cc (added) * translator/SynTree/Visitor.cc (added) * translator/SynTree/Visitor.h (added) * translator/SynTree/VoidType.cc (added) * translator/SynTree/module.mk (added) * translator/SynTree/translate.cc (added) * translator/SynTree/translate.h (added) * translator/Tests/Parser/Array.c (added) * translator/Tests/Parser/Constant0-1.c (added) * translator/Tests/Parser/DeclarationSpecifier.c (added) * translator/Tests/Parser/Expected/Array.tst (added) * translator/Tests/Parser/Expected/Constant0-1.tst (added) * translator/Tests/Parser/Expected/DeclarationSpecifier.tst (added) * translator/Tests/Parser/Expected/Forall.tst (added) * translator/Tests/Parser/Expected/Functions.tst (added) * translator/Tests/Parser/Expected/IdentFuncDeclarator.tst (added) * translator/Tests/Parser/Expected/IdentFuncParamDeclarator.tst (added) * translator/Tests/Parser/Expected/Initialization.tst (added) * translator/Tests/Parser/Expected/Scope.tst (added) * translator/Tests/Parser/Expected/StructMember.tst (added) * translator/Tests/Parser/Expected/Tuple.tst (added) * translator/Tests/Parser/Expected/TypeGenerator.tst (added) * translator/Tests/Parser/Expected/Typedef.tst (added) * translator/Tests/Parser/Expected/TypedefDeclarator.tst (added) * translator/Tests/Parser/Expected/TypedefParamDeclarator.tst (added) * translator/Tests/Parser/Expected/VariableDeclarator.tst (added) * translator/Tests/Parser/Forall.c (added) * translator/Tests/Parser/Functions.c (added) * translator/Tests/Parser/IdentFuncDeclarator.c (added) * translator/Tests/Parser/IdentFuncParamDeclarator.c (added) * translator/Tests/Parser/Initialization.c (added) * translator/Tests/Parser/Makefile (added) * translator/Tests/Parser/Scope.c (added) * translator/Tests/Parser/StructMember.c (added) * translator/Tests/Parser/Tuple.c (added) * translator/Tests/Parser/TypeGenerator.c (added) * translator/Tests/Parser/Typedef.c (added) * translator/Tests/Parser/TypedefDeclarator.c (added) * translator/Tests/Parser/TypedefParamDeclarator.c (added) * translator/Tests/Parser/VariableDeclarator.c (added) * translator/Tests/ResolvExpr/Abstype.c (added) * translator/Tests/ResolvExpr/Attributes.c (added) * translator/Tests/ResolvExpr/Cast.c (added) * translator/Tests/ResolvExpr/CastError.c (added) * translator/Tests/ResolvExpr/Expected/Abstype.tst (added) * translator/Tests/ResolvExpr/Expected/Attributes.tst (added) * translator/Tests/ResolvExpr/Expected/Cast.tst (added) * translator/Tests/ResolvExpr/Expected/CastError.tst (added) * translator/Tests/ResolvExpr/Expected/Forall.tst (added) * translator/Tests/ResolvExpr/Expected/Function.tst (added) * translator/Tests/ResolvExpr/Expected/InferParam.tst (added) * translator/Tests/ResolvExpr/Expected/Members.tst (added) * translator/Tests/ResolvExpr/Expected/Misc.tst (added) * translator/Tests/ResolvExpr/Expected/MiscError.tst (added) * translator/Tests/ResolvExpr/Expected/OccursError.tst (added) * translator/Tests/ResolvExpr/Expected/Operators.tst (added) * translator/Tests/ResolvExpr/Expected/Quad.tst (added) * translator/Tests/ResolvExpr/Expected/Rank2.tst (added) * translator/Tests/ResolvExpr/Expected/ShortCircuit.tst (added) * translator/Tests/ResolvExpr/Expected/Statement.tst (added) * translator/Tests/ResolvExpr/Forall.c (added) * translator/Tests/ResolvExpr/Function.c (added) * translator/Tests/ResolvExpr/InferParam.c (added) * translator/Tests/ResolvExpr/Makefile (added) * translator/Tests/ResolvExpr/Members.c (added) * translator/Tests/ResolvExpr/Misc.c (added) * translator/Tests/ResolvExpr/MiscError.c (added) * translator/Tests/ResolvExpr/OccursError.c (added) * translator/Tests/ResolvExpr/Operators.c (added) * translator/Tests/ResolvExpr/Quad.c (added) * translator/Tests/ResolvExpr/Rank2.c (added) * translator/Tests/ResolvExpr/ShortCircuit.c (added) * translator/Tests/ResolvExpr/Statement.c (added) * translator/Tests/ResolvExpr/make-rules (added) * translator/Tests/ResolvExpr/run-tests.sh (added) * translator/Tests/SynTree/Array.c (added) * translator/Tests/SynTree/Constant0-1.c (added) * translator/Tests/SynTree/Context.c (added) * translator/Tests/SynTree/DeclarationErrors.c (added) * translator/Tests/SynTree/DeclarationSpecifier.c (added) * translator/Tests/SynTree/Enum.c (added) * translator/Tests/SynTree/Expected-SymTab/Array.tst (added) * translator/Tests/SynTree/Expected-SymTab/Context.tst (added) * translator/Tests/SynTree/Expected-SymTab/Enum.tst (added) * translator/Tests/SynTree/Expected-SymTab/Forall.tst (added) * translator/Tests/SynTree/Expected-SymTab/Scope.tst (added) * translator/Tests/SynTree/Expected-SymTab/ScopeErrors.tst (added) * translator/Tests/SynTree/Expected-SymTab/Tuple.tst (added) * translator/Tests/SynTree/Expected/Array.tst (added) * translator/Tests/SynTree/Expected/Constant0-1.tst (added) * translator/Tests/SynTree/Expected/Context.tst (added) * translator/Tests/SynTree/Expected/DeclarationSpecifier.tst (added) * translator/Tests/SynTree/Expected/Enum.tst (added) * translator/Tests/SynTree/Expected/Forall.tst (added) * translator/Tests/SynTree/Expected/Functions.tst (added) * translator/Tests/SynTree/Expected/IdentFuncDeclarator.tst (added) * translator/Tests/SynTree/Expected/Initialization.tst (added) * translator/Tests/SynTree/Expected/Scope.tst (added) * translator/Tests/SynTree/Expected/StructMember.tst (added) * translator/Tests/SynTree/Expected/Tuple.tst (added) * translator/Tests/SynTree/Expected/TypeGenerator.tst (added) * translator/Tests/SynTree/Expected/Typedef.tst (added) * translator/Tests/SynTree/Expected/TypedefDeclarator.tst (added) * translator/Tests/SynTree/Expected/TypedefParamDeclarator.tst (added) * translator/Tests/SynTree/Expected/VariableDeclarator.tst (added) * translator/Tests/SynTree/Forall.c (added) * translator/Tests/SynTree/Functions.c (added) * translator/Tests/SynTree/IdentFuncDeclarator.c (added) * translator/Tests/SynTree/IdentFuncParamDeclarator.c (added) * translator/Tests/SynTree/Initialization.c (added) * translator/Tests/SynTree/Makefile (added) * translator/Tests/SynTree/Scope.c (added) * translator/Tests/SynTree/ScopeErrors.c (added) * translator/Tests/SynTree/StructMember.c (added) * translator/Tests/SynTree/Tuple.c (added) * translator/Tests/SynTree/TypeGenerator.c (added) * translator/Tests/SynTree/Typedef.c (added) * translator/Tests/SynTree/TypedefDeclarator.c (added) * translator/Tests/SynTree/TypedefParamDeclarator.c (added) * translator/Tests/SynTree/VariableDeclarator.c (added) * translator/Tests/SynTree/make-rules (added) * translator/Tests/SynTree/run-tests.sh (added) * translator/Tests/Syntax/Array.c (added) * translator/Tests/Syntax/AsmName.c (added) * translator/Tests/Syntax/Attributes.c (added) * translator/Tests/Syntax/CharStringConstants.c (added) * translator/Tests/Syntax/CommentMisc.c (added) * translator/Tests/Syntax/Constant0-1.c (added) * translator/Tests/Syntax/DeclarationSpecifier.c (added) * translator/Tests/Syntax/Exception.c (added) * translator/Tests/Syntax/Expression.c (added) * translator/Tests/Syntax/Forall.c (added) * translator/Tests/Syntax/Functions.c (added) * translator/Tests/Syntax/GccExtensions.c (added) * translator/Tests/Syntax/IdentFuncDeclarator.c (added) * translator/Tests/Syntax/IdentFuncParamDeclarator.c (added) * translator/Tests/Syntax/Initialization.c (added) * translator/Tests/Syntax/LabelledExit.c (added) * translator/Tests/Syntax/Makefile (added) * translator/Tests/Syntax/NamedParmArg.c (added) * translator/Tests/Syntax/NumericConstants.c (added) * translator/Tests/Syntax/Scope.c (added) * translator/Tests/Syntax/StructMember.c (added) * translator/Tests/Syntax/Subrange.c (added) * translator/Tests/Syntax/Switch.c (added) * translator/Tests/Syntax/Tuple.c (added) * translator/Tests/Syntax/TypeGenerator.c (added) * translator/Tests/Syntax/Typedef.c (added) * translator/Tests/Syntax/TypedefDeclarator.c (added) * translator/Tests/Syntax/TypedefParamDeclarator.c (added) * translator/Tests/Syntax/Typeof.c (added) * translator/Tests/Syntax/VariableDeclarator.c (added) * translator/Tests/TupleAssign/Initialization2.c (added) * translator/Tests/gcc/900407-1.c (added) * translator/Tests/gcc/900516-1.c (added) * translator/Tests/gcc/920301-1.c (added) * translator/Tests/gcc/920409-1.c (added) * translator/Tests/gcc/920409-2.c (added) * translator/Tests/gcc/920410-2.c (added) * translator/Tests/gcc/920501-1.c (added) * translator/Tests/gcc/920501-11.c (added) * translator/Tests/gcc/920501-19.c (added) * translator/Tuples/AssignExpand.cc (added) * translator/Tuples/AssignExpand.h (added) * translator/Tuples/FlattenTuple.cc (added) * translator/Tuples/FlattenTuple.h (added) * translator/Tuples/FunctionChecker.cc (added) * translator/Tuples/FunctionChecker.h (added) * translator/Tuples/FunctionFixer.cc (added) * translator/Tuples/FunctionFixer.h (added) * translator/Tuples/MultRet.cc (added) * translator/Tuples/MultRet.h (added) * translator/Tuples/Mutate.cc (added) * translator/Tuples/Mutate.h (added) * translator/Tuples/NameMatcher.cc (added) * translator/Tuples/NameMatcher.h (added) * translator/Tuples/TupleAssignment.cc (added) * translator/Tuples/TupleAssignment.h (added) * translator/Tuples/module.mk (added) * translator/attr-ex (added) * translator/comments.txt (added) * translator/ctxts.c (added) * translator/esskaykay.c (added) * translator/examples/Makefile (added) * translator/examples/array.c (added) * translator/examples/array.h (added) * translator/examples/fstream.c (added) * translator/examples/fstream.h (added) * translator/examples/fstream_test.c (added) * translator/examples/fwrite.c (added) * translator/examples/hello.c (added) * translator/examples/index.h (added) * translator/examples/iostream.c (added) * translator/examples/iostream.h (added) * translator/examples/iterator.c (added) * translator/examples/iterator.h (added) * translator/examples/test.c (added) * translator/examples/vector_int.c (added) * translator/examples/vector_int.h (added) * translator/examples/vector_test.c (added) * translator/factorial.c (added) * translator/forall.c (added) * translator/forward.c (added) * translator/huge.c (added) * translator/identity.c (added) * translator/initialization.txt (added) * translator/it_out.c (added) * translator/main.cc (added) * translator/min.c (added) * translator/new.c (added) * translator/preludesrc.c (added) * translator/prolog.c (added) * translator/quad.c (added) * translator/resume-1.cc (added) * translator/resume-2.cc (added) * translator/resume-3.cc (added) * translator/resume-orig (added) * translator/resume-orig.cc (added) * translator/rodolfo1.c (added) * translator/rodolfo2.c (added) * translator/s.c (added) * translator/simple.c (added) * translator/simple.out.c (added) * translator/simplePoly.c (added) * translator/simpler.c (added) * translator/specialize.c (added) * translator/spectest (added) * translator/square.c (added) * translator/square.cf (added) * translator/sum.c (added) initial commit