# # ChangeLog for tools # # Generated by Trac 1.2.1 # Nov 1, 2024, 5:08:01 AM Thu, 09 May 2019 19:26:40 GMT Andrew Beach [8d90b6b] * tools/expanded-line-count.sh (added) Added a utility that counts lines post-pre-processing. Wed, 24 Apr 2019 19:14:32 GMT Thierry Delisle [13c98a4] * Jenkins/FullBuild (modified) * Jenkinsfile (modified) * tools/PrettyGitLogs.sh (modified) Jenkins emails now use html, this push does some work to improve how ... Sun, 10 Feb 2019 15:13:03 GMT Peter A. Buhr [015dc50] * Jenkinsfile (modified) * benchmark/Makefile.am (modified) * benchmark/Makefile.in (modified) * benchmark/jenkins.sh (added) * tools/PrettyGitLogs.sh (modified) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc 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 ... Thu, 24 Jan 2019 17:22:46 GMT Thierry Delisle [9f5bb817] * Jenkinsfile (modified) * tools/PrettyGitLogs.sh (modified) PrettyGitLogs now requires both the source dir and the build dir but ... Wed, 19 Dec 2018 18:47:03 GMT Thierry Delisle [107b01a] * Makefile.am (modified) * Makefile.in (modified) * aclocal.m4 (modified) * automake/libtool.m4 (added) * automake/ltmain.sh (added) * automake/ltoptions.m4 (added) * automake/ltsugar.m4 (added) * automake/ltversion.m4 (added) * automake/lt~obsolete.m4 (added) * benchmark/Makefile.am (modified) * benchmark/Makefile.in (modified) * configure (modified) * configure.ac (modified) * driver/Makefile.am (modified) * driver/Makefile.in (modified) * libcfa/configure (modified) * libcfa/configure.ac (modified) * src/Makefile.am (modified) * src/Makefile.in (modified) * src/config.h.in (modified) * tests/Makefile.am (modified) * tests/Makefile.in (modified) * tests/avltree/avl-private.cfa (moved) * tests/avltree/avl0.cfa (moved) * tests/avltree/avl1.cfa (moved) * tests/avltree/avl2.cfa (moved) * tests/avltree/avl3.cfa (moved) * tests/avltree/avl4.cfa (moved) * tests/avltree/avl_test.cfa (moved) * tests/builtins/sync.cfa (moved) * tests/concurrent/coroutineYield.cfa (moved) * tests/concurrent/examples/boundedBufferEXT.cfa (moved) * tests/concurrent/examples/boundedBufferINT.cfa (moved) * tests/concurrent/examples/datingService.cfa (moved) * tests/concurrent/examples/matrixSum.cfa (moved) * tests/concurrent/examples/quickSort.cfa (moved) * tests/concurrent/monitor.cfa (moved) * tests/concurrent/multi-monitor.cfa (moved) * tests/concurrent/preempt.cfa (moved) * tests/concurrent/signal/block.cfa (moved) * tests/concurrent/signal/disjoint.cfa (moved) * tests/concurrent/signal/wait.cfa (moved) * tests/concurrent/thread.cfa (moved) * tests/concurrent/waitfor/barge.cfa (moved) * tests/concurrent/waitfor/dtor.cfa (moved) * tests/concurrent/waitfor/else.cfa (moved) * tests/concurrent/waitfor/parse.cfa (moved) * tests/concurrent/waitfor/parse2.cfa (moved) * tests/concurrent/waitfor/recurse.cfa (moved) * tests/concurrent/waitfor/simple.cfa (moved) * tests/concurrent/waitfor/statment.cfa (moved) * tests/concurrent/waitfor/when.cfa (moved) * tests/coroutine/fibonacci.cfa (moved) * tests/coroutine/fibonacci_1.cfa (moved) * tests/coroutine/fmtLines.cfa (moved) * tests/coroutine/pingpong.cfa (moved) * tests/coroutine/prodcons.cfa (moved) * tests/coroutine/runningTotal.cfa (moved) * tests/preempt_longrun/Makefile.am (modified) * tests/preempt_longrun/Makefile.in (modified) * tests/raii/.expect/ctor-autogen-ERR1.txt (modified) * tests/raii/.expect/dtor-early-exit-ERR1.txt (modified) * tests/raii/.expect/dtor-early-exit-ERR2.txt (modified) * tests/raii/.expect/memberCtors-ERR1.txt (modified) * tests/raii/ctor-autogen.cfa (moved) * tests/raii/dtor-early-exit.cfa (moved) * tests/raii/globals.cfa (moved) * tests/raii/init_once.cfa (moved) * tests/raii/memberCtors.cfa (moved) * tests/raii/multiDimension.cfa (moved) * tests/tuple/tupleAssign.cfa (moved) * tests/tuple/tupleCast.cfa (moved) * tests/tuple/tupleFunction.cfa (moved) * tests/tuple/tupleMember.cfa (moved) * tests/tuple/tuplePolymorphism.cfa (moved) * tests/tuple/tupleVariadic.cfa (moved) * tests/tuple/tuples.cfa (moved) * tests/warnings/.expect/self-assignment.txt (modified) * tests/warnings/self-assignment.cfa (moved) * tools/Makefile.am (modified) * tools/Makefile.in (modified) * tools/prettyprinter/Makefile.am (modified) * tools/prettyprinter/Makefile.in (modified) Several changes to the makefiles - change .c tests to .cfa - add ... Thu, 13 Dec 2018 21:22:08 GMT Thierry Delisle [95d0a5db] * Makefile.am (modified) * Makefile.in (modified) * benchmark/Makefile.in (modified) * configure (modified) * configure.ac (modified) * driver/Makefile.in (modified) * libcfa/configure (modified) * libcfa/src/Makefile.in (modified) * src/Makefile.in (modified) * tests/Makefile.in (modified) * tests/preempt_longrun/Makefile.in (modified) * tools/Makefile.am (modified) * tools/Makefile.in (modified) * tools/prettyprinter/Makefile.in (modified) Removed backend_cc, everything now uses CC or CXX Thu, 20 Sep 2018 14:05:05 GMT Andrew Beach [d21d01e5] * tools/cfa.nanorc (modified) Updated cfa.nanorc for some missing keywords and keyword escapes. Fri, 17 Aug 2018 20:51:06 GMT Thierry Delisle [eda8175] * Jenkinsfile (modified) * tools/PrettyGitLogs.sh (modified) Debug info no longer needed Fri, 17 Aug 2018 20:49:17 GMT Thierry Delisle [7cbd7ce] * tools/PrettyGitLogs.sh (modified) Some debug info Fri, 17 Aug 2018 20:47:00 GMT Thierry Delisle [42ee8f2] * tools/PrettyGitLogs.sh (modified) PrettyGitLogs now takes the target directory as argument Fri, 17 Aug 2018 20:37:31 GMT Thierry Delisle [36fb4ce8] * tools/PrettyGitLogs.sh (added) Added new script to print the git logs Fri, 10 Aug 2018 21:45:51 GMT Thierry Delisle [47c1928] * Makefile.in (modified) * benchmark/Makefile.in (modified) * configure (modified) * configure.ac (modified) * driver/Makefile.am (modified) * driver/Makefile.in (modified) * libcfa/configure (modified) * libcfa/prelude/Makefile.in (modified) * src/Makefile.am (modified) * src/Makefile.in (modified) * tests/Makefile.in (modified) * tests/preempt_longrun/Makefile.in (modified) * tests/pybin/settings.py (modified) * tools/Makefile.in (modified) * tools/prettyprinter/Makefile.in (modified) Host now properly affects compiler Fri, 10 Aug 2018 19:40:47 GMT Thierry Delisle [0c1b566] * benchmark/Makefile.am (modified) * benchmark/Makefile.in (modified) * configure (modified) * configure.ac (modified) * driver/Makefile.am (modified) * driver/Makefile.in (modified) * libcfa/prelude/Makefile.am (modified) * src/Makefile.am (modified) * src/Makefile.in (modified) * tests/Makefile.am (modified) * tests/Makefile.in (modified) * tests/preempt_longrun/Makefile.am (modified) * tests/preempt_longrun/Makefile.in (modified) * tools/Makefile.am (modified) * tools/Makefile.in (modified) * tools/prettyprinter/Makefile.am (modified) * tools/prettyprinter/Makefile.in (modified) Fixed missing foreign options and tentative fix for TOP directories ... Fri, 03 Aug 2018 20:05:38 GMT Thierry Delisle [534e4e4] * Makefile.in (modified) * automake/cfa.m4 (added) * benchmark/Makefile.in (modified) * configure (modified) * configure.ac (modified) * driver/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) Some clean-up before tackling finding directories 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 Mon, 30 Jul 2018 14:34:00 GMT Thierry Delisle [7fb69f6] * Makefile.in (modified) * configure (modified) * configure.ac (modified) * src/Makefile.in (modified) * src/benchmark/Makefile.in (modified) * src/driver/Makefile.in (modified) * src/examples/Makefile.in (modified) * src/libcfa/Makefile.am (modified) * src/libcfa/Makefile.in (modified) * src/prelude/Makefile.in (modified) * src/tests/Makefile.am (modified) * src/tests/Makefile.in (modified) * src/tests/preempt_longrun/Makefile.in (modified) * tools/Makefile.in (modified) * tools/prettyprinter/Makefile.in (modified) Added configure variable for building cfa source in tree Fri, 27 Jul 2018 19:33:11 GMT Thierry Delisle [50697b0] * Makefile.in (modified) * configure (modified) * configure.ac (modified) * src/Makefile.am (modified) * src/Makefile.in (modified) * src/benchmark/Makefile.in (modified) * src/driver/Makefile.in (modified) * src/examples/Makefile.am (modified) * src/examples/Makefile.in (modified) * src/libcfa/Makefile.am (modified) * src/libcfa/Makefile.in (modified) * src/prelude/Makefile.am (modified) * src/prelude/Makefile.in (modified) * src/tests/Makefile.am (modified) * src/tests/Makefile.in (modified) * src/tests/preempt_longrun/Makefile.in (modified) * tools/Makefile.in (modified) * tools/prettyprinter/Makefile.in (modified) Create variable for cfa, cfa-cpp in driver directory Wed, 25 Jul 2018 19:14:34 GMT Thierry Delisle [857638d] * Makefile.in (modified) * aclocal.m4 (modified) * configure (modified) * configure.ac (modified) * src/Makefile.in (modified) * src/benchmark/Makefile.in (modified) * src/driver/Makefile.in (modified) * src/examples/Makefile.in (modified) * src/libcfa/Makefile.in (modified) * src/prelude/Makefile.in (modified) * src/tests/Makefile.am (modified) * src/tests/Makefile.in (modified) * src/tests/preempt_longrun/Makefile.in (modified) * tools/Makefile.in (modified) * tools/prettyprinter/Makefile.in (modified) Removed maintainer-mode macro as default seems more appropriate Mon, 11 Jun 2018 14:16:04 GMT Thierry Delisle [7bdcac1] * src/tests/concurrent/coroutineYield.c (modified) * src/tests/concurrent/preempt.c (modified) * src/tests/concurrent/signal/block.c (modified) * src/tests/concurrent/signal/disjoint.c (modified) * src/tests/concurrent/signal/wait.c (modified) * src/tests/long_tests.h (added) * src/tests/preempt_longrun/Makefile.am (modified) * src/tests/preempt_longrun/Makefile.in (modified) * src/tests/preempt_longrun/create.c (modified) * src/tests/preempt_longrun/enter.c (modified) * src/tests/preempt_longrun/enter3.c (modified) * src/tests/preempt_longrun/processor.c (modified) * src/tests/preempt_longrun/stack.c (modified) * src/tests/preempt_longrun/yield.c (modified) * tools/Makefile.am (modified) * tools/Makefile.in (modified) * tools/busy (added) * tools/error (added) * tools/error.c (added) * tools/watchdog (added) * tools/watchdog.c (added) Added the option to make longrun tests run until failure Thu, 31 May 2018 12:51:28 GMT Peter A. Buhr [bd946e4] * tools/prettyprinter/lex.ll (modified) remove newline on C++ comments so it does not appear twice Mon, 16 Apr 2018 13:51:02 GMT Peter A. Buhr [81bb114] * tools/prettyprinter/Makefile.am (modified) * tools/prettyprinter/lex.ll (modified) * tools/prettyprinter/parser.hh (deleted) * tools/prettyprinter/parser.yy (modified) * tools/prettyprinter/test.y (modified) update to support more bison directives Thu, 01 Mar 2018 14:28:48 GMT Thierry Delisle [b002261] * tools/busy.c (modified) Busy program now supports variable number of threads Mon, 26 Feb 2018 16:29:37 GMT Thierry Delisle [2c39855] * tools/Makefile.am (modified) * tools/Makefile.in (modified) * tools/busy.c (added) Added tool to generate cpu load Thu, 18 Jan 2018 20:06:33 GMT Thierry Delisle [967e3c9] * tools/repeat.c (modified) Repeat tool can now redirect output Thu, 18 Jan 2018 19:16:30 GMT Thierry Delisle [5eba8ce] * tools/repeat.c (modified) Fixed bug in repeat program Mon, 30 Oct 2017 21:44:03 GMT Thierry Delisle [0bdd8d2a] * tools/stat.py (modified) Updated stat script to round after 2 decimals Thu, 26 Oct 2017 16:16:10 GMT Thierry Delisle [b7170a64] * src/benchmark/Makefile.am (modified) * src/benchmark/Makefile.in (modified) * src/benchmark/bench.h (modified) * src/benchmark/creation/cfa_cor.c (modified) * src/benchmark/creation/cfa_thrd.c (modified) * src/benchmark/ctxswitch/cfa_cor.c (modified) * src/benchmark/ctxswitch/cfa_thrd.c (modified) * src/benchmark/ctxswitch/pthreads.c (modified) * src/benchmark/ctxswitch/upp_cor.cc (modified) * src/benchmark/ctxswitch/upp_thrd.cc (modified) * tools/Makefile.in (modified) * tools/stat.py (moved) Updated the creation and ctxswitch benchmark to all be consistent and ... Thu, 26 Oct 2017 15:23:55 GMT Thierry Delisle [4149d9d] * .gitignore (modified) * configure (modified) * configure.ac (modified) * tools/Makefile.am (added) * tools/Makefile.in (added) * tools/catchsig.c (added) * tools/repeat.c (added) * tools/repeat.old (moved) replacing old repeat script with c program Tue, 29 Aug 2017 21:40:44 GMT Peter A. Buhr [fc1ef62] * tools/prettyprinter/lex.ll (modified) * tools/prettyprinter/parser.hh (modified) * tools/prettyprinter/parser.yy (modified) add %precedence operator precedence Fri, 11 Aug 2017 18:38:04 GMT Thierry Delisle [c65a80b] * tools/build/clean_hdr.awk (added) * tools/build/clean_hdrs (added) * tools/build/time_make (added) Added tools used for cleaning headers and timing builds Tue, 25 Jul 2017 17:29:01 GMT Andrew Beach [ea91c42] * tools/cfa.nanorc (modified) Updated the nanorc to include the new keywords. Sat, 22 Jul 2017 14:58:08 GMT Peter A. Buhr [6b0b624] * src/CodeGen/CodeGenerator.h (modified) * src/CodeGen/FixMain.h (modified) * src/CodeGen/FixNames.h (modified) * src/CodeGen/GenType.h (modified) * src/CodeGen/Generate.h (modified) * src/CodeGen/OperatorTable.h (modified) * src/CodeTools/DeclStats.h (modified) * src/CodeTools/TrackLoc.h (modified) * src/Common/CompilerError.h (modified) * src/Common/ScopedMap.h (modified) * src/Common/SemanticError.h (modified) * src/Common/UnimplementedError.h (modified) * src/Common/UniqueName.h (modified) * src/Common/VectorMap.h (modified) * src/Common/utility.h (modified) * src/Concurrency/Keywords.cc (modified) * src/Concurrency/Keywords.h (modified) * src/ControlStruct/ExceptTranslate.h (modified) * src/ControlStruct/ForExprMutator.h (modified) * src/ControlStruct/LabelFixer.h (modified) * src/ControlStruct/LabelGenerator.h (modified) * src/ControlStruct/MLEMutator.h (modified) * src/ControlStruct/Mutate.h (modified) * src/GenPoly/Box.h (modified) * src/GenPoly/CopyParams.h (modified) * src/GenPoly/DeclMutator.h (modified) * src/GenPoly/ErasableScopedMap.h (modified) * src/GenPoly/FindFunction.h (modified) * src/GenPoly/GenPoly.h (modified) * src/GenPoly/InstantiateGeneric.h (modified) * src/GenPoly/Lvalue.h (modified) * src/GenPoly/PolyMutator.h (modified) * src/GenPoly/ScopedSet.h (modified) * src/GenPoly/ScrubTyVars.h (modified) * src/GenPoly/Specialize.h (modified) * src/InitTweak/FixGlobalInit.h (modified) * src/InitTweak/FixInit.h (modified) * src/InitTweak/GenInit.h (modified) * src/InitTweak/InitTweak.h (modified) * src/MakeLibCfa.h (modified) * src/Parser/LinkageSpec.h (modified) * src/Parser/ParseNode.h (modified) * src/Parser/ParserTypes.h (modified) * src/Parser/TypeData.h (modified) * src/Parser/TypedefTable.h (modified) * src/Parser/parserutility.h (modified) * src/ResolvExpr/Alternative.h (modified) * src/ResolvExpr/AlternativeFinder.h (modified) * src/ResolvExpr/AlternativePrinter.h (modified) * src/ResolvExpr/ConversionCost.h (modified) * src/ResolvExpr/Cost.h (modified) * src/ResolvExpr/CurrentObject.h (modified) * src/ResolvExpr/FindOpenVars.h (modified) * src/ResolvExpr/RenameVars.h (modified) * src/ResolvExpr/ResolveTypeof.h (modified) * src/ResolvExpr/Resolver.h (modified) * src/ResolvExpr/TypeEnvironment.h (modified) * src/ResolvExpr/TypeMap.h (modified) * src/ResolvExpr/Unify.h (modified) * src/ResolvExpr/typeops.h (modified) * src/SymTab/Autogen.h (modified) * src/SymTab/FixFunction.h (modified) * src/SymTab/ImplementationType.h (modified) * src/SymTab/Indexer.h (modified) * src/SymTab/Mangler.h (modified) * src/SymTab/Validate.h (modified) * src/SynTree/AddStmtVisitor.h (modified) * src/SynTree/Attribute.h (modified) * src/SynTree/BaseSyntaxNode.h (modified) * src/SynTree/Constant.h (modified) * src/SynTree/Declaration.h (modified) * src/SynTree/Expression.h (modified) * src/SynTree/Initializer.h (modified) * src/SynTree/Label.h (modified) * src/SynTree/Mutator.h (modified) * src/SynTree/Statement.h (modified) * src/SynTree/SynTree.h (modified) * src/SynTree/Type.h (modified) * src/SynTree/TypeSubstitution.h (modified) * src/SynTree/VarExprReplacer.h (modified) * src/SynTree/Visitor.h (modified) * src/Tuples/Explode.h (modified) * src/Tuples/Tuples.h (modified) * src/libcfa/concurrency/CtxSwitch-i386.S (modified) * src/libcfa/concurrency/CtxSwitch-x86_64.S (modified) * src/libcfa/concurrency/alarm.c (modified) * src/libcfa/concurrency/alarm.h (modified) * src/libcfa/concurrency/coroutine (modified) * src/libcfa/concurrency/coroutine.c (modified) * src/libcfa/concurrency/invoke.c (modified) * src/libcfa/concurrency/invoke.h (modified) * src/libcfa/concurrency/kernel (modified) * src/libcfa/concurrency/kernel.c (modified) * src/libcfa/concurrency/kernel_private.h (modified) * src/libcfa/concurrency/monitor (modified) * src/libcfa/concurrency/monitor.c (modified) * src/libcfa/concurrency/preemption.c (modified) * src/libcfa/concurrency/preemption.h (modified) * src/libcfa/concurrency/thread (modified) * src/libcfa/concurrency/thread.c (modified) * src/libcfa/containers/maybe (modified) * src/libcfa/containers/pair (modified) * src/libcfa/containers/result (modified) * src/libcfa/containers/vector (modified) * src/libcfa/exception.h (modified) * src/libcfa/interpose.c (modified) * src/libcfa/interpose.h (modified) * src/libcfa/libhdr.h (modified) * src/libcfa/libhdr/libalign.h (modified) * src/libcfa/libhdr/libdebug.h (modified) * src/libcfa/libhdr/libtools.h (modified) * src/libcfa/typeobject.h (modified) * src/tests/attributes.c (modified) * src/tests/avltree/avl-private.h (modified) * src/tests/avltree/avl.h (modified) * src/tests/vector/array.h (modified) * src/tests/vector/vector_int.h (modified) * tools/prettyprinter/ParserTypes.h (modified) * tools/prettyprinter/filter.h (modified) * tools/prettyprinter/lex.ll (modified) * tools/prettyprinter/test.y (modified) * tools/prettyprinter/token.cc (modified) * tools/prettyprinter/token.h (modified) change #ifndef to #pragma once Wed, 05 Jul 2017 21:36:19 GMT Thierry Delisle [52a9004] * src/Makefile.in (modified) * src/benchmark/Makefile.in (modified) * src/driver/Makefile.in (modified) * src/examples/Makefile.in (modified) * src/libcfa/Makefile.am (modified) * src/libcfa/Makefile.in (modified) * src/prelude/Makefile.in (modified) * src/tests/Makefile.in (modified) * src/tests/preempt_longrun/Makefile.in (modified) * tools/prettyprinter/Makefile.in (modified) Restored foreign strictness to its previous state and removed the u ... Wed, 05 Jul 2017 20:43:15 GMT Thierry Delisle [8c97ee7] * .gitignore (modified) * tools/prettyprinter/Makefile.am (modified) * tools/prettyprinter/Makefile.in (modified) * tools/prettyprinter/ParserTypes.h (added) * tools/prettyprinter/filter.cc (modified) * tools/prettyprinter/filter.h (modified) * tools/prettyprinter/lex.ll (modified) * tools/prettyprinter/parser.hh (modified) * tools/prettyprinter/parser.yy (modified) * tools/prettyprinter/token.cc (modified) Fixed the pretty printer Wed, 05 Jul 2017 20:29:43 GMT Thierry Delisle [44f44617] * .gitignore (modified) * Makefile.in (modified) * aclocal.m4 (modified) * automake/config.guess (modified) * automake/config.sub (modified) * automake/missing (modified) * automake/test-driver (added) * config.h.in (modified) * configure (modified) * configure.ac (modified) * src/Makefile.in (modified) * src/Parser/ParserTypes.h (moved) * src/Parser/TypedefTable.h (modified) * src/Parser/module.mk (modified) * src/benchmark/Makefile.in (modified) * src/driver/Makefile.in (modified) * src/examples/Makefile.in (modified) * src/libcfa/Makefile.in (modified) * src/main.cc (modified) * src/prelude/Makefile.in (modified) * src/tests/Makefile.am (modified) * src/tests/Makefile.in (modified) * src/tests/preempt_longrun/Makefile.in (modified) * src/tests/test.py (modified) * tools/prettyprinter/Makefile.in (modified) Fix build for 16.04 Tue, 04 Jul 2017 15:52:33 GMT Andrew Beach [307a732] * src/ControlStruct/ExceptTranslate.cc (modified) * src/ControlStruct/ExceptTranslate.h (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/Resolver.cc (modified) * src/SymTab/Indexer.cc (modified) * src/libcfa/Makefile.am (modified) * src/libcfa/Makefile.in (modified) * src/libcfa/exception.c (modified) * src/libcfa/exception.h (modified) * src/libcfa/lsda.h (added) * src/main.cc (modified) * src/prelude/Makefile.am (modified) * src/prelude/Makefile.in (modified) * src/tests/except-0.c (added) * src/tests/exception.c (deleted) * tools/cfa.nanorc (modified) The exception handling code compilers and translates, but the ... Thu, 29 Jun 2017 20:45:27 GMT Andrew Beach [fe5c01d] * tools/cfa.nanorc (modified) Updated nanorc. Main change is to include the exception related keywords. Thu, 29 Jun 2017 17:10:54 GMT Peter A. Buhr [ae47a23] * src/main.cc (modified) * tools/prettyprinter/main.cc (modified) use getopt_long for pretty print, and update error message Thu, 29 Jun 2017 13:39:17 GMT Peter A. Buhr [c9383ee] * tools/prettyprinter/filter.cc (modified) * tools/prettyprinter/filter.h (modified) * tools/prettyprinter/main.cc (modified) * tools/prettyprinter/parser.yy (modified) * tools/prettyprinter/token.cc (modified) update input file and formatting Thu, 29 Jun 2017 12:16:04 GMT Peter A. Buhr [2b7afbd] * configure (modified) * configure.ac (modified) * tools/prettyprinter/parse.cc (deleted) * tools/prettyprinter/parse.h (deleted) * tools/prettyprinter/yacc.yy (deleted) add pretty printer to configure, and remove unnecessary files Thu, 29 Jun 2017 12:04:42 GMT Peter A. Buhr [7d4f6ed] * tools/prettyprinter/Makefile.am (added) * tools/prettyprinter/Makefile.in (added) * tools/prettyprinter/filter.cc (modified) * tools/prettyprinter/filter.h (modified) * tools/prettyprinter/lex.ll (modified) * tools/prettyprinter/main.cc (modified) * tools/prettyprinter/parser.hh (added) * tools/prettyprinter/parser.yy (added) * tools/prettyprinter/token.cc (added) * tools/prettyprinter/token.h (added) remainder of pretty printer Thu, 29 Jun 2017 01:44:19 GMT Peter A. Buhr [a67b60e] * src/Makefile.in (modified) * src/Parser/ExpressionNode.cc (modified) * src/Parser/StatementNode.cc (modified) * src/Parser/TypedefTable.h (modified) * src/Parser/lex.ll (modified) * src/Parser/module.mk (modified) * src/Parser/parser.hh (moved) * src/Parser/parser.yy (modified) * src/Parser/parserutility.cc (moved) * src/Parser/parserutility.h (moved) * src/main.cc (modified) * tools/prettyprinter/lex.ll (moved) * tools/prettyprinter/yacc.yy (moved) rename files and adjust includes Wed, 28 Jun 2017 02:35:11 GMT Peter A. Buhr [16c95e3] * .gitignore (modified) * doc/proposals/associated_types.md (added) * doc/proposals/tagged-struct.txt (modified) * doc/working/exception/translate.c (modified) * src/Common/PassVisitor.h (modified) * src/Common/PassVisitor.impl.h (modified) * src/Common/PassVisitor.proto.h (modified) * src/ControlStruct/ExceptTranslate.cc (added) * src/ControlStruct/ExceptTranslate.h (added) * src/GenPoly/DeclMutator.cc (modified) * src/GenPoly/PolyMutator.cc (modified) * src/GenPoly/Specialize.cc (modified) * src/InitTweak/InitTweak.cc (modified) * src/Parser/StatementNode.cc (modified) * src/SynTree/Constant.cc (modified) * src/SynTree/Constant.h (modified) * src/SynTree/Mutator.cc (modified) * src/SynTree/Visitor.cc (modified) * src/libcfa/Makefile.am (modified) * src/libcfa/Makefile.in (modified) * src/main.cc (modified) * src/prelude/Makefile.am (modified) * src/prelude/Makefile.in (modified) * src/prelude/builtins.c (added) * src/tests/preempt_longrun/Makefile.am (modified) * src/tests/preempt_longrun/Makefile.in (modified) * src/tests/preempt_longrun/barge.c (added) * src/tests/preempt_longrun/block.c (added) * src/tests/preempt_longrun/disjoint.c (added) * src/tests/preempt_longrun/wait.c (added) * src/tests/sched-int-block.c (modified) * src/tests/sched-int-disjoint.c (modified) * src/tests/sched-int-wait.c (modified) * tools/repeat (modified) Merge branch 'master' of plg2:software/cfa/cfa-cc Wed, 28 Jun 2017 02:32:48 GMT Peter A. Buhr [fda8168] * tools/prettyprinter/filter.cc (added) * tools/prettyprinter/filter.h (added) * tools/prettyprinter/lex.l (added) * tools/prettyprinter/main.cc (added) * tools/prettyprinter/parse.cc (added) * tools/prettyprinter/parse.h (added) * tools/prettyprinter/test.tex (added) * tools/prettyprinter/test.y (added) * tools/prettyprinter/test1.y (added) * tools/prettyprinter/yacc.y (added) format tool for pretty printing grammar Fri, 23 Jun 2017 20:20:25 GMT Thierry Delisle [e1c1829] * src/tests/preempt_longrun/Makefile.am (modified) * src/tests/preempt_longrun/Makefile.in (modified) * src/tests/preempt_longrun/barge.c (added) * src/tests/preempt_longrun/block.c (added) * src/tests/preempt_longrun/disjoint.c (added) * src/tests/preempt_longrun/wait.c (added) * src/tests/sched-int-block.c (modified) * src/tests/sched-int-disjoint.c (modified) * src/tests/sched-int-wait.c (modified) * tools/repeat (modified) Added monitor tests to preempt longrun tests Fri, 16 Jun 2017 19:25:35 GMT Thierry Delisle [cc3e4d0] * configure (modified) * configure.ac (modified) * src/tests/preempt_longrun/Makefile.am (added) * src/tests/preempt_longrun/Makefile.in (added) * src/tests/preempt_longrun/create.c (added) * src/tests/preempt_longrun/processor.c (added) * src/tests/preempt_longrun/stack.c (added) * src/tests/preempt_longrun/yield.c (added) * tools/repeat (added) Added longrunning tests for preemption Mon, 12 Jun 2017 17:41:06 GMT Andrew Beach [ca78437] * src/Parser/ParseNode.h (modified) * src/Parser/StatementNode.cc (modified) * src/Parser/parser.yy (modified) * src/SynTree/Statement.cc (modified) * src/SynTree/Statement.h (modified) * tools/cfa.nanorc (modified) Updated the CatchStmt node so that it may handle both termination and ... Thu, 25 May 2017 19:29:25 GMT Andrew Beach [58daf53] * src/libcfa/containers/maybe (modified) * src/libcfa/containers/maybe.c (modified) * src/libcfa/containers/result (modified) * src/libcfa/containers/result.c (modified) * tools/cfa.nanorc (modified) Made maybe and result mutable, they should now qualify as otypes. ... Thu, 11 May 2017 15:29:07 GMT Andrew Beach [f2e746d] * tools/cfa.nanorc (added) Added nanorc file for Cforall. It is not complete but is useable. Wed, 03 May 2017 15:27:03 GMT Thierry Delisle [9452a2c] * tools/vscode/uwaterloo.cforall-0.1.0/cforall.configuration.json (added) * tools/vscode/uwaterloo.cforall-0.1.0/images/icon.odg (added) * tools/vscode/uwaterloo.cforall-0.1.0/images/icon.svg (added) * tools/vscode/uwaterloo.cforall-0.1.0/package.json (added) * tools/vscode/uwaterloo.cforall-0.1.0/snippets/snippets.json (added) * tools/vscode/uwaterloo.cforall-0.1.0/syntaxes/cfa.tmLanguage (added) Added to source the vscode tools 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