# # ChangeLog for libcfa/Makefile.in # # Generated by Trac 1.2.1 # Nov 1, 2024, 12:49:22 AM 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 ... 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 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 ... Tue, 25 Sep 2018 20:43:25 GMT Thierry Delisle [c6bbcdb] * benchmark/Makefile.in (modified) * configure (modified) * configure.ac (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) * tests/Makefile.in (modified) Fixed shared library version number 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 Fri, 21 Sep 2018 20:09:32 GMT Thierry Delisle [e523b07] * .gitignore (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/main.cc (modified) Implemented the nolib configuration Thu, 16 Aug 2018 19:23:05 GMT Thierry Delisle [38d12e7] * benchmark/Makefile.in (modified) * libcfa/Makefile.am (modified) * libcfa/Makefile.in (modified) * libcfa/aclocal.m4 (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) * src/cfa.make (modified) Adjusted makefiles to use libtool Thu, 09 Aug 2018 15:07:05 GMT Thierry Delisle [575a6e5] * Makefile.am (modified) * Makefile.in (modified) * configure (modified) * configure.ac (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) * tests/Makefile.am (modified) * tests/Makefile.in (modified) * tests/pybin/settings.py (modified) * tests/pybin/tools.py (modified) * tests/test.py (modified) Cross compilation appears to be working 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 17:57:12 GMT Thierry Delisle [ff1e0f38] * Makefile.am (modified) * Makefile.in (modified) * benchmark/Makefile.in (modified) * configure (modified) * configure.ac (modified) * driver/Makefile.in (modified) * libcfa/Makefile.in (modified) * libcfa/automake/config.guess (added) * libcfa/automake/config.sub (added) * 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) * src/Makefile.in (modified) * tests/Makefile.in (modified) * tests/preempt_longrun/Makefile.in (modified) * tools/Makefile.in (modified) * tools/prettyprinter/Makefile.in (modified) configure flags are now propagated properly to libcfa 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 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 Mon, 01 Jun 2015 12:59:06 GMT Peter A. Buhr [db82596] * libcfa/Makefile.am (modified) * libcfa/Makefile.in (modified) * libcfa/ptrdiff_t.c (added) redo automake sixth attempt Mon, 01 Jun 2015 04:00:51 GMT Peter A. Buhr [56c3935] * .gitignore (modified) * Makefile.am (modified) * Makefile.in (modified) * config.h.in (modified) * configure (modified) * configure.ac (modified) * driver/Makefile.in (modified) * libcfa/Makefile.in (modified) * src/Makefile.am (modified) * src/Makefile.in (modified) * src/Parser/Parser.cc (modified) * src/Parser/lex.cc (added) * src/Parser/lex.ll (moved) * src/Parser/module.mk (modified) * src/Parser/parser.cc (added) * src/Parser/parser.yy (moved) * src/Tests/Parser/Functions.c (modified) * src/examples/Makefile.in (modified) redo automake third 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 Mon, 25 May 2015 20:24:51 GMT Peter A. Buhr [448f9b2] * libcfa/Makefile.in (modified) fix libcfa/Makefile.in, third attempt Mon, 25 May 2015 20:17:14 GMT Peter A. Buhr [0c7a885] * libcfa/Makefile.in (modified) fix libcfa/Makefile.in, second attempt Mon, 25 May 2015 19:17:01 GMT Peter A. Buhr [2bae7307] * libcfa/Makefile.in (modified) fix libcfa/Makefile.in Mon, 25 May 2015 13:36:02 GMT Peter A. Buhr [5887db27] * libcfa/Makefile.in (modified) libcfa/Makefile.in does not require builtins.c Fri, 22 May 2015 02:05:22 GMT Peter A. Buhr [76f2e97f] * Makefile.am (modified) * Makefile.in (modified) * configure (modified) * configure.in (modified) * libcfa/Makefile.in (modified) change directory name translator to src 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 Mon, 26 Jan 2015 03:43:12 GMT Peter A. Buhr [643a2e1] * libcfa/Makefile.in (modified) * libcfa/prototypes.awk (modified) deal with newer built Sun, 25 Jan 2015 15:02:36 GMT Peter A. Buhr [9df2dd5] * libcfa/Makefile.in (modified) deal with newer built Sun, 25 Jan 2015 14:38:33 GMT Peter A. Buhr [1e8bf345] * libcfa/Makefile.in (modified) * libcfa/builtins.c (deleted) deal with newer built Sun, 25 Jan 2015 05:25:56 GMT Peter A. Buhr [6e952ec] * libcfa/Makefile.in (modified) deal with newer built Sun, 25 Jan 2015 05:23:42 GMT Peter A. Buhr [df23c8f] * libcfa/Makefile.in (modified) deal with newer built Sun, 25 Jan 2015 05:20:37 GMT Peter A. Buhr [26a07a22] * libcfa/Makefile.in (modified) deal with newer built Sat, 24 Jan 2015 22:30:54 GMT Peter A. Buhr [fe3b61b] * libcfa/Makefile.in (modified) deal with newer built Wed, 03 Dec 2014 20:08:38 GMT Peter A. Buhr [3848e0e] * autom4te.cache/requests (modified) * libcfa/Makefile.in (modified) * libcfa/prelude.cf (modified) * libcfa/ptrdiff_t.c (added) * translator/CodeGen/GenType.cc (modified) * translator/InitTweak/BasicInit.cc (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/cfa.y (modified) * translator/Parser/lex.l (modified) * translator/SynTree/Initializer.cc (modified) * translator/SynTree/Visitor.h (modified) * translator/Tests/Syntax/CharStringConstants.c (modified) * translator/Tests/Syntax/NumericConstants.c (modified) * translator/examples/loopbreak.c (deleted) * translator/examples/min.c (modified) * translator/main.cc (modified) underscore changes, ptrdiff_t changes, formating, _Bool prelude 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