diff options
Diffstat (limited to 'tiger-compiler/NEWS.txt')
| -rw-r--r-- | tiger-compiler/NEWS.txt | 2332 |
1 files changed, 2332 insertions, 0 deletions
diff --git a/tiger-compiler/NEWS.txt b/tiger-compiler/NEWS.txt new file mode 100644 index 0000000..19dd463 --- /dev/null +++ b/tiger-compiler/NEWS.txt @@ -0,0 +1,2332 @@ +Bump 1.94.e, 2025-04-14 for tc-EXTS + +Bump 1.94.d, 2025-04-07 for tc-L + +Bump 1.94.c, 2025-03-25 for tc-4 + +Bump 1.94.b, 2025-03-19 for tc-3 + +Bump 1.94.a, 2025-03-10 for tc-1/2 + +* General + - TC-1 and TC-2 are now shipped as one single step + - switch to llvm-18 for LLVM-IR codegen + - multiple small fixes to objects, translate, escapes and liveness + - various updates to nix flake + +Bump 1.93.k, 2024-06-11 for tc-9 + +Bump 1.93.j, 2024-06-10 for tc-8 + +Bump 1.93.i, 2024-06-03 for tc-7 + +Bump 1.93.h, 2024-05-27 for tc-6 + +Bump 1.93.g, 2024-05-13 for tc-5 + +Bump 1.93.f, 2024-04-15 for tc-EXTS + +Bump 1.93.e, 2024-04-08 for tc-L + +Bump 1.93.d, 2024-03-28 for tc-4 + +Bump 1.93.c, 2024-03-21 for tc-3 + +Bump 1.93.b, 2024-03-18 for tc-2 + +Bump 1.93.a, 2024-03-05 for tc-1 + +* General + - rework the escaper to be useful for both the llvm and tree IR + - save if the escaper is enabled in order to perform it again after cloning + - rename TigerParser to TigerDriver and TigerDriver to TigerFactory + - fix bugs regarding the inliner and mutually recursive nested functions + - switch from shared ptrs to raw ptrs in back-end variants + +* Distribution + - distribute the implementation of all AST nodes + - distribute extensions separately from TC-4 and TC-L + +* Internal + - migrate the internal testsuite from perl to python + +Bump 1.92.k, 2023-06-17 for tc-9 + +Bump 1.92.i, 2023-06-11 for tc-8 + +Bump 1.92.h, 2023-06-05 for tc-7 + +Bump 1.92.g, 2023-05-30 for tc-6 + +Bump 1.92.f, 2023-05-15 for tc-5 + +Bump 1.92.e, 2023-04-16 for tc-L + +Bump 1.92.d, 2023-04-01 for tc-4 + +Bump 1.92.c, 2023-03-26 for tc-3 + +Bump 1.92.b, 2023-03-18 for tc-2 + +Bump 1.92.a, 2023-03-02 for tc-1 + +* General + - switch from range-v3 to C++20 ranges + - extend misc::contract to use it as a stream + - improve tweasts and metavar errors + - add dumping of types to dumper-dot + - use C++ raw literal strings + - ship given tests directly with tc-base + +* Lexer + - change lexer generator to RE-flex + - remove obsolete wrappers and headers + +* Build + - split runtime generation scripts from buildsystem + - bump to llvm15 + - silence bison warnings + - update deprecated llvm overloads + - replace obsolete autoconf macros + +Bump 1.91.i, 2022-06-15 for tc-9 + +Bump 1.91.i, 2022-06-13 for tc-8 + +* General + + - Add support for swig / python + +Bump 1.91.h, 2022-05-25 for tc-7 + +Bump 1.91.g, 2022-05-16 for tc-6 + + - Fix canon-matchers + +Bump 1.91.f, 2022-05-05 for tc-5 + +Bump 1.91.e, 2022-03-31 for tc-L + +Bump 1.91.d, 2022-03-21 for tc-4 + +Bump 1.91.c, 2022-03-10 for tc-3 + +Bump 1.91.b, 2022-03-03 for tc-2 + +Bump 1.91.a, 2022-02-18 for tc-1 + +* General + - silent LLVM warning + - remove misc/pair + - Nolimips is mandatory to compile TC-7 + - use pure functions in libcombine.cc + - symbol: always pass by copy + - ast: use misc::symbol as value type + +* Builfarm + - add support for nix + - fix update-Changelog + - fix caches for docker + - remove distcheck on TC-0 + - fix gawk regexp escape sequences for arm + +* Parser + - rework precedences and nonassocs + - enable warnings + - move to stable bison + - clarify for students + +* Dev + - rewritte stagize script in python + +Bump 1.90.h, 2021-06-07 + +Bump 1.90.g, 2021-05-31 + +Bump 1.90.f, 2021-05-20 + +* Register allocator: + - Fix infinite loop + +Bump 1.90.e, 2021-05-17 + +Bump 1.90.d, 2021-03-28 + +Bump 1.90.c, 2021-03-08 + +Bump 1.90.b, 2021-03-01 + +Bump 1.90.a, 2021-02-22 + +New in 1.90, 2021-02-12 + +* Parser + - Remove expect 2, the GLR is now determinist (so you can + also use LALR1) + - add driver to ensure sepration between paser and AST + - remove obsolete generated files + - do not track location files + +* Object + - Rework overfun + - Rework task mechanim for overfun + - add combine task combine in order to properly compute + function calls, depending on whether we activated overloading. + - reword binding of `self' + +* Monoburg + - Remove dependency on monoburg + - Use now tree variant style + - Remove get_kind + +* AST + - rename Decs to Chunk for clarity + - generate ast node destructors with override instead of virtual + +* Buildfarm + - pre-commit: add pre-commit hooks + +* Languages + - C++ + - add a *lot* of concepts + - pass by const reference + - singleton: implement generic crtp singletons + - more explicit constructor + + - Python + - respect several PEP recommendations + +* Bug fixes + - bounds-checking: fix expected output of bounds checking tests + containing a segfault + - Fix comparison of Void expressions resulted in 1 + +Bump 1.88, 2020-06-15 for tc-9 +Bump 1.87, 2020-06-08 for tc-8 + +New in 1.86, 2020-05-25 + +* General Maintainance + - Use python3 rather than python2 + - Inliner: bug fixes + +New in 1.85, 2020-04-11 + +* General Maintainance + - object: (type-checker) fix binding spurious members + - enable static linking with LLVM + +Bump 1.84, 2020-03-23 for tc-4 +Bump 1.83, 2020-02-24 for tc-3 +Bump 1.82, 2020-02-17 for tc-2 + +New in 1.81, 2020-02-09 + +* General Maintainance + - gitlab-ci: produce static binary + - reformat code + - move to C++20 + +Bump 1.80, 2019-06-24 for tc-9 +Bump 1.79, 2019-06-03 for tc-8 +Bump 1.78, 2019-05-27 for tc-7 + +New in 1.77, 2019-05-06 + +* General Maintainance + - gitlab-ci: split different phases + +New in 1.76.1, 2019-04-29 + +* General Maintainance + - TypeBuilder has been removed (see https://reviews.llvm.org/D56573) + +New in 1.76, 2019-04-19 + +* General Maintainance + - configure: fix compiler version check + +New in 1.75, 2019-03-01 + +* General Maintainance + - gitlab-ci: build pdf for assignment + +* IA31 + - rewrite_program: ia32: handle simultaneous use and def + +Bump 1.74, 2019-02-15 for tc-3 + +New in 1.73, 2019-02-09 + +* General Maintainance + - buildfarm: fix minors details + +New in 1.72, 2019-02-03 + +* General Maintainance + - style: + - unordered_map is preferred when sorting is not required + - remove useless virtual destructors + - add static const qualifiers + - no virtual with override + - more nested namespaces + - prefer std::numeric to INT_MAX + - reserve vectors size when known beforehand + - fix memory leak in tc.cc + - Boost: cleanup legacy and replace by c++17 features + - parse: + - upgrade bison requirements + - remove deprecated elements + - regen parser + - gitlab-ci: + - require LLVM 7 + - triggers for building assignments website. + +* Object + - Handle corner case for binding + - fix dispatched method call and upcasted return type + - add meth_find method + +New in 1.71, 2018-06-25 + +* Fix Maintenance + - fix broken make dist + - add gitlab-ci support + +New in 1.70, 2018-05-31 + +* General Maintenance + +New in 1.69, 2018-05-20 + +* General Maintenance + +New in 1.68, 2018-05-14 + +* General Maintenance + - fix style + +New in 1.67, 2018-04-16 + +* General Maintenance + +New in 1.66, 2018-03-09 + +* General Maintenance + - remove useless misc::set + +New in 1.65, 2018-02-12 + +* General Maintenance + +New in 1.64, 2018-02-01 + +* General Maintenance + +New in 1.63, 2018-01-25 + +* More C++17 features + - use structured bindings + - use std::variant instead of boost::variant + - use class template argument deduction + - use if(init; condition) + +* General Maintenance + - swap callee-save and caller-save order + - add desugar implementation for ArrayExp during TC-O + - replace enums with enum classes + - ensure _main existence and correct prototype in the AST + - remove MetavarExp and Metavariable AST nodes + - use nested namespaces + - replace some raw pointers with unique_ptr or shared_ptr + - add alternative rewrite_program implementation + +New in 1.62, 2017-06-26 + +* General Maintenance + - fix typos + +New in 1.61, 2017-06-05 + +* General Maintenance + +New in 1.60, 2017-05-19 + +* General Maintenance + - regenerate backends + - clean code + +New in 1.59, 2017-05-12 + +* General Maintenance + - tests: remove duplicate tests + - fix typos + - fix function call conventions + - generalize registers to multiple targets + - clean code + +New in 1.58, 2017-04-12 + +* General Maintenance + - style: put tree constructors in .cc + - fix typos + - cleanify code + +New in 1.57, 2017-03-03 + +* General Maintenance + +New in 1.56, 2017-02-13 + +* Fix documentation + +New in 1.55, 2017-02-02 + +* General Maintenance + - Remove unnecessary/deprecated Fixmes + - Clean code + - use more c++11 features + +New in 1.54, 2017-01-24 + +* Style and General maintenance + - Add maintainers + - Propagate use of pragma once + - Add missing override + - Remove comnination between override and virtual + - Use more STL algorithms + - Add useful warning + - Modernize tc-a + - Fix typos + - Propagate use of vector rather than lists + - Add more tests + - Add namespace indication at the end of scope + - Prefer nullptr to NULL + - Remove useless implementations thanks to =default + - Don't repeat the same access qualifier + - Tools to replace Fixmes by warnings + +* Inline + - More verification about return type + +* Object + - Clarify comments + - Fix use of self inside of functions + +* LLVM + - Improve escape-collector + - Do not construct type when no record is set + - Don't include runtime in the distribution + - Use native types + - Remove useless return values + - More explanation about the translator + - Fix compatibility issues with 3.9 + +* Type + - Do not provide files to student before needed + - Simplify record-exp + - Improve type_set + - Move constructor and destructor in implementation files + +* Binder + - Fix displays + - Adjust bindings for vardecs + - Update definition for self + +* C++1z + - Add comments to suggest how to use new features + +New in 1.53, 2016-06-24 + +* General maintenance + +New in 1.52, 2016-06-06 + +* General maintenance + +New in 1.51, 2016-05-30 + +* Remove useless typedef + +New in 1.50, 2016-05-19 + +* General maintenance + - Simplify code + - Updates according to coding-style + - Remove useless hidden block + - Simplify type checker for classes + - Update llvm dependencies to please gcc + +New in 1.49, 2016-05-03 + +* General maintenance of LLVM + +New in 1.48, 2016-04-18 + +* General maintenance + - replace list by vector int type/class + - Ajust given code + - Remove nested annotations + +New in 1.47, 2016-04-08: + +* Add support for LLVM + - add llvm translate module + - replace the dump method with a visitor + - add a record_type to the Nil type + - add --llvm-runtime-display and --llvm-display + +* General Maintenance + - arm: fix dependencies and use correct cross compiler + - llvm: require llvm-3.8 + + +New in 1.46, 2016-03-07: + +* General Maintenance + + - Add missing FIXMEs + +New in 1.45, 2016-02-18: + +* General Maintenance + + - Propagate changes for new version of Havm and Monoburg + - Remove useless FIXME + +New in 1.44, 2016-02-05: + +* General Maintenance + + - Generalize use of pragma once + - Support for boost 1.58 + - Use `unique_ptr` instead of `auto_ptr` + - Adjust compatibility with gcc 5 + - Adjust compatibility with flex 2.6 + - Fix typos + - Remove useless declarations + - Start to promote C++14 + +* Use type alias template in all the visitors + + - End the work started at 1.39 before the new + release for students. + +* Finalize integration with ARM + +* Compatibility with overload and object + + - Support for bindings + - Support for type checking + - Support for desugar and renamer + - Tests + +New in 1.43, 2015-06-26: + +* Fix error when computing object type inside ifexp + +* Update comments to fit iplemntation + +New in 1.42, 2015-06-05: + +* Fix pruning of unused function declarations + +* Add tests for bounds-checking + +New in 1.41, 2015-05-27: + +* Maintenance for arm backend + +New in 1.40, 2015-05-25: + +* No significant changes + +New in 1.39, 2015-04-30: + +* Start upgrading visitor + + Use a type alias template to shorten type names. Nonetheless + since it may lead to conflicts with students codes, it's just + an introduction. + +* Fix check routines + + - Fix marks for studistcheck + - Fix distcheck + +New in 1.38, 2015-03-19: + +* Support Python 3 + + Fix compatibility with python 3. + +* Update pretty printer + + Print attributes bindings. + +New in 1.37, 2015-02-26: + +* More targets + + - Clean ia32, mips target files + - Add arm backend files + - Initializer lits for cpu class + +New in 1.36, 2015-02-12: + +* More C++17 features + + - More uses of Boost.FileSystem's path. + +New in 1.35, 2015-02-04: + +* More C++11/14 features + + - type aliases with 'using'; + - moving away from std::list to promote std::vector; + - misc::variant is now always variadic, implemented with variadic + templates instead of dark magic incantations with Boost.Preprocessor. + +* Bounds Checking + + The official name is 'bounds checking', not 'bound checking'. So + everything was renamed to include that plural. + +* Simpler Build System + + The build system was simplified to be both simpler and faster: we no + longer build local libraries for the modules, rather object files + are directly linked together into libtc. + +* Safer and Faster Build System + + We also have reduced the number of Makefiles to... one. This is by + far the best approach to development. Have a look at this: + <http://aegis.sourceforge.net/auug97.pdf>. + +* Compilable Code with Gaps + + The code delivered to students now compiles cleanly. + +* More C++17 features + + Some libraries, such as Boost.Optional, Boost.ProgramOptions, and + Boost.FileSystem, are expected to be adopted by the forthcoming C++ + standard. As a consequence, we started to use them liberally, + instead of alternative implementations (e.g., argp is no longer used + at all for command line option processing). + + + +New in 1.34, 2014-02-17: + +* Even more C++ 2011 features + + The Tiger compiler uses some more features from the C++ 2011 + ISO/IEC standard: + + - (standard) smart pointers (std::unique_ptr, std::shared_ptr); + - general-purpose initializer lists; + - lambda expressions; + - explicit overrides; + - template aliases; + - new function declarator syntax; + - delegating constructors; + - non-static data member initializers; + - inherited constructors. + + These changes require at least g++ 4.8 or clang++ 3.3. + +* Moved to using Bison 3 + + A special version of Bison 3 is required to build the parser. + +* C++ scanner + + The scanner has been turned into a C++ class, still generated by + Flex. + +* ast::ObjectVisitor + + A visitor performing default traversal of object nodes, + ast::ObjectVisitor, has been introduced. + +* Allow `nil' as valid value for objects + + Objects (class instances) can now be initialized to `nil' or + assigned `nil', like records. + +* Repaired TCSH + + TCSH was broken due to SWIG 2 not understanding C++ 2011 constructs. + These constructions have been hidden to SWIG so that TCSH can be + built again. + +* Style + + Many stylistics changes have been performed, mainly to match the + EPITA Coding Style. + + + +New in 1.33, 2013-02-11: + +* Maintenance release + + More test cases, more documentation and tools to manage the test + suite, some bug fixes, some updates to catch up with recent versions + of tools, minor improvements, and various stylistic changes + (especially with respect to spacing). + +* More C++ 2011 features + + Explicit template instantiation declarations are introduced to + replace the ad hoc mechanism used so far, based on *.hcc files + that were included once. + + + +New in 1.32, 2012-01-27: + +* Text files renamed as *.txt. + + This enables more features from tools (such as Mac OS X's Finder and + so forth). + +* Fixed location handling in the scanner/parser. + + The new scheme (make_SYMBOL) broke the transmission of the current + location from the parser to the scanner (via yylloc). We actually + had two "current" locations: the scanner's and the parser's. Only + the latter was properly initialized (with the current file name). + "Fortunately" the standard default constructor also made the + scanner's location work properly wrt lines and columns, but, of + course, had an empty file name. + + The TigerParser featured a useless location_ member. We now use it + to exchange the current location betwenn the parser and the scanner. + + To summarize: + + - TigerParser::location_ is now the current (scanner and parser) + location; + + - TigerParser::parse_ initializes this location with the right file + name; + + - the parser no longer needs to initialize its $@; + + - the scanner no longer uses a (static) variable loc, but + tp.location_, tp being the TigerParser, provided to it via %param. + +* Better support for x86-64 architectures + +* Improved support for clang + + The clang C and C++ front ends to the LLVM infrastructure are better + supported. The only real limitation is now the Argp library, which + is not compatible with the C99 standard and must be compiled using a + C89 compiler (using option `-std=c89' or `-std=gnu89'). + +* C++ 2011 features + + The Tiger compiler uses some new features from the latest C++ + ISO/IEC standard, including: + + - explicitly defaulted and deleted functions; + - consecutive right angle brackets allowed in templates; + - auto-typed variables; + - template metaprogramming traits provided by the standard library; + - the `nullptr' literal constant; + - range-based for-loops (``for (type val : container) ...''). + + The current changes are compatible with g++ 4.6 and clang 3.0. + + + +New in 1.31, 2011-01-30: + +* Style changes for inheritance and constructors. + + Instead of + + class Foo + : public Bar, + public Baz + { + Foo() + : Bar(), + Baz() + { } + }; + + write + + class Foo + : public Bar + , public Baz + { + Foo() + : Bar() + , Baz() + {} + }; + +* Style change in #include. + + When used with double-quotes, the included header is looked-up for + relatively to the including file. This is not how we use #include, + since we all qualify our included files. Hence, for consistency with + the semantics and for safety, convert to using <>. + + + +New in 1.30, 2011-01-13: + +* Moved to using Bison's api.tokens.prefix + + Instead of: + + %token TOK_STRING "string" + + and using TOK_STRING in the grammar, we now use: + + %define api.tokens.prefix "TOK_" + %token STRING "string" + + and use STRING in the grammar, but still TOK_STRING elsewhere (i.e., + the token enumeration generated in the header still defines + TOK_STRING, not STRING). + +* Moved to using Bison's %param + + Instead of: + + %parse-param { ::parse::TigerParser& tp } + %lex-param { ::parse::TigerParser& tp } + + we now use: + + %param { ::parse::TigerParser& tp } + +* Moved to using Bison's named references + + Instead of: + + "for" escaping ID ":=" exp "to" exp "do" exp + { + $$ = new ast::ForExp (@$, + new ast::VarDec (@3, $3, $2, 0, $5), + $7, $9); + } + + we now use: + + "for" escaping ID[var] ":=" exp[lo] "to" exp[hi] "do" exp[body] + { + $$ = new ast::ForExp (@$, + new ast::VarDec (@var, $var, $escaping, 0, $lo), + $hi, $body); + } + +* Moved to using Bison's make_SYMBOL functions + + By specifying "%define lex_symbol", we can change the scanner to use + a type-safe interface: instead of handling the tokens in three parts + (the return value is the type, the incoming arguments yylval and + yylloc for the semantic value and the location), return an object of + the type symbol_type with aggregates these three components) + . + + Instead of: + + {number} { + yylval->ival = strtol (yytext, 0, 0); + return parse::parser::token::INT; + } + + we now use: + + {number} return parse::parser::make_INT(strtol (yytext, 0, 0), loc); + + It is now impossible to return a INT, and yet assign the wrong + semantic value. Using some macro, the scanner can be reduced to: + + {number} return TOKEN_VAL(INT, strtol (yytext, 0, 0)); + +* Moved to using Bison's variant interface + + Instead of: + + %union { + int ival; + std::string* sval; + }; + %token <str> STRING "string" + %token <ival> INT "integer" + + we now use: + + %token <std::string> STRING "string" + %token <int> INT "integer" + + and use genuine objects, instead of pointers to objects. Change the + scanner accordingly. + +* Moved to using Automake 1.11's silent-rules + + By default, running "make" no longer displays the (longish) + compilation commands. Rather, it displays: + + CXXLD transform/libtransform.la + CXX astclone/tasks.o + CXX overload/tasks.o + CXX desugar/tasks.o + CXX inlining/tasks.o + CXXLD tc + + Errors and warnings are therefore much easier to see. If you need a + verbose run, use "make V=1". See "Silent rules" in the Automake + documentation for more. + +* Avoid recursive Makefile.am's + + Since "Recursive Makefiles are considered harmful" (they hide + dependencies, they hinder performances by preventing concurrent + compilation in nested directories, they force Make to read large + repetitive files instead of a larger but unique one), nested + Makefiles have been replaced by "local.mk" files. These are + included by the parent Makefile, which therefore yield to a single + Makefile in the end. + + + +New in 1.29, 2010-01-15: + +* Fix a bug in unique objects' pretty-printer + +* More developer documentation on the distribution process + + + +New in 1.28, 2010-01-11: + +* Maintenance release + + Bug fixes, updates to catch up with modern tools, minor + improvements, aesthetic changes. + + The repository has also been converted to Git. + + + +New in 1.27, 2009-02-27: + +* Support for the Boehm-Demers-Weiser Garbage Collector on IA-32 + + On IA-32, option `--garbage-collection' generates code relying on + the Boehm-Demers-Weiser garbage collector for memory management + (see http://www.hpl.hp.com/personal/Hans_Boehm/gc/). Such code is + to be linked against the garbage collector's library + (gcc -lgc out.s). + + + +New in 1.26, 2009-01-16: + +* Tiger Interpreter in C++ + + In addition to the TCSH-based Tiger Interpreter in Python, an + interpreter written in C++ is available. It uses either HAVM, the + MIPS back end (and Nolimips) or the IA-32 back end (and GCC). + +* The Bistromatig + + The project features a large example of code written in Tiger, the + Bistromatig, an arbitrary-radix infinite-precision calculator. + + + +New in 1.25, 2008-05-19: + +* All escape sequences in literal strings are compatible with the GNU Assembler + + + +New in 1.24, 2008-03-10: + +* No significant change. + + + +New in 1.23, 2008-02-25: + +* misc::unique<T, C>, a generalization of misc::symbol + +* Use a new set of Autoconf macros for the Boost libraries by Benoît Sigoure + +* Merge more code with Gostai's code base w.r.t. code generators + + + +New in 1.22, 2007-12-10: + +* Concrete-syntax run-time program transformations + + A new module, namely `transform', provides rewriting services to the + compiler. Rewrite rules are expressed using concrete syntax. Most + of the current services are directly exposed through the language, + using the `rule' keyword. + +* Factor some code using BOOST_FOREACH and boost::lexical_cast + +* Miscellaneous renaming, mostly in lib/misc/. + + + +New in 1.21, 2007-07-04: + +* Object desugaring + + Object desugaring is working, though the implementation needs + some refactoring. + +* TWEASTs embedded in TWEASTs + + Allow a TWEAST to carry other TWEASTs as metavariables. Such a + structure is like a tree, which must be ``flattened'' before the + parsing. This feature is useful to build complex TWEASTs. For + instance, one can populate a TWEAST ``non linearly'' (reserving a + slot for a TWEAST that will be filled later). + + + +New in 1.20, 2007-06-12: + +* Some more (little) work on object desugaring, with no user-visible changes + + + +New in 1.19, 2007-06-06: + +* First step towards object desugaring + + The option --object-desugar can translate some object constructs + into plain Tiger. Method calls and accesses to attributes are not + handled yet, though. + + + +New in 1.18, 2007-05-15: + +* No significant change. + + + +New in 1.17, 2007-04-27: + +* Improve the type-checking of types and class definitions. + + object::TypeChecker now allows the use of every type defined in a + block of types from any location of this block (for instance, create + an object of a class defined later, in the same block). The + invariance of methods is checked. + + + +New in 1.16, 2007-04-23: + +* Object-aware type-checking. + + The visitor object::TypeChecker allows the computation of types on + an AST with objects. + +* Enforce STL coding style in lib/misc/. + +* Emacs major mode for Leopard + + The distribution comes with an Emacs major mode for the Leopard + language. The Tiger mode has been updated as well to highlight + Leopard's specific syntactic elements. + + + +New in 1.15, 2007-04-06: + +* Object-aware bindings. + + The visitor object::Binder allows the computation of bindings on an + AST with objects. + + + +New in 1.14, 2007-03-30: + +* Two forms of class declarations. + + Two forms of syntax for class declarations are allowed. The first + one, known as the ``canonical'' one, is similar to other type + declarations in Leopard (notably, array and records). The second + one, known as the ``alternative'' one (or ``Appel's'') was the + original syntax, described in Appel's ``Modern Compiler + Implementation'' books. + + + +New in 1.13, 2007-03-29: + +* No significant change. + + + +New in 1.12, 2007-03-28: + +* Introduce Leopard + + From now on, the Tiger project is known as the Leopard project. This + reflects the changes made to the language, which is also now called + Leopard (see below). + +* Add object-oriented syntactic constructions + + The language is extended with simple object-related constructions + (class and method declarations, inheritance, object construction, + method calls). This extension of the Tiger language gives birth to + a new dialect, called Leopard. + +* Visitor renaming + + Visitors are renamed with ``actor'' names (e.g., Binder, + TypeChecker, etc.). + + + +New in 1.11, 2007-03-23: + +* Tiger Interpreter + + A Tiger interpreter, written in Python and using TCSH, HAVM and + Nolimips, is available. It is installed along with the Tiger + compiler when TCSH is built. + + + +New in 1.10, 2006-09-04: + +* Ruby Tcsh + + The Tiger Compiler Shell is available for the Ruby language, in + addition to Python. + + + +New in 1.9, 2006-06-21: + +* Improve compatibility with NetBSD. + + +New in 1.8, 2006-06-15: + +* Fix the distribution about the target module. + + +New in 1.7, 2006-05-31: + +* Testing renamings and runtime errors + + The test suite is augmented to check the renaming pass and the + runtime errors. + + +New in 1.6, 2006-05-03: + +* Casts + + The keyword for casts is now "_cast" and no longer "cast". "_cast" + is valid only when syntactic extensions are enabled, and "cast" is + no longer special in any circumstance. + +* Tcsh + + The instruction selection has been improved so that the register + allocation works again. + + +New in 1.5, 2006-04-13: + +* Literal integers + + The semantics for literal is clarified, and the compiler matches + this definition. + + +New in 1.4, 2006-04-05: + +* Tcsh is functional again. + + + +New in 1.3, 2006-03-31: + +* No significant change. + + + +New in 1.2, 2006-03-21: + +* Tcsh is fixed (almost) + + The liveness analysis inside the register allocation is broken, but + the other stages work fine in tcsh. + +* The codegen module is merged into the target module + +* Mac OS X 10.3 (Panther) compatibility + + Have the project distcheck on Panther (in particular, be nice to + g++ 3.3 and work around missing utilities). + + + +New in 1.1, 2006-03-17: + +* Desugaring in concrete syntax within the parser + + The parser desugars some constructions (logic ``and'', logic ``or'', + unary minus) in concrete syntax. + +* misc::variant + + A simple wrapper around boost::variant is provided. It only support + two parameters, but it has conversion operators to these types. + Hence, misc::variant can be assigned to one of its ``real'' type + without using boost::get (an exception is thrown when there is + a conversion to a bad type). + +* libparse interface + + Thanks to variants, the interface of libparse is simpler. The main + parse function returns an ast_type -- a misc::variant holding either + an ast::Exp* or a ast::DecsList* + + + +New in 1.0, 2006-03-10: + +* Desugaring of the implicit Main function + + When the user types in + + <body> + + as an input program, this is desugared as + + primitive print (string : string) + ... + function _main () = (<body>; ()) + +* Overload and desugar + + Formerly, desugar::desugar used to call bind::bind and + type::types_check after it cloned the AST and removed the syntactic + sugar. It was thus impossible to go further in the compiler chain + with OverTiger programs, since the bindings computation and the + type-checking triggered errors on programs with overloaded + functions. + + The task system now allows the user to desugar a program with + overloaded functions and to proceed to the translation and the next + steps, thanks to a new task, overfun-desugar. The translation no + longer depends on desugar, but on a disjunctive task, + desugar-default. + +* Dynamic array bound checking and BoundCheckingVisitor + + The desugar step can perform a new program transformation that add + checks on the bounds of an array subscript at runtime, when reading + from (de-referencing) or writing to (assignment) the cell of an + array. + + When a subscript is out of bounds, an error message is written on + the standard error output and the program exits with error code 120. + + This transformation is done by a new visitor, BoundCheckingVisitor, + and triggered by the --bound-checks-add and --overfun-bound-checks-add + options. + +* TigerInput and parser metavariables + + Rather than using plain strings, chunks of concrete syntax are + stored in a dedicated container, TigerInput. + + Program transformations from the desugar module using concrete + syntax can save some time thanks to metavariables. A metavariable + is a named abstract syntax subtree stored in an instance of + TigerInput. Formerly, to use an AST node within a piece of concrete + syntax, one had to pretty-print this node and re-parse it. Now, the + parser can accept nodes as actual subtrees, and ``re-attach'' them + at the right place in the produced AST. + +* TigerParser + + The interface of TigerParser is refactored and uses template `parse' + methods. + +* Casts + + The extended Tiger language supports casts. This feature is not + meant to be used in program written by humans, but by the compiler + within program transformations. For instance, BoundCheckingVisitor + uses it to simulate generic arrays in the _check_bounds builtin. + +* Conversion to Boost's shared_ptr + + The implementation of misc::ref uses boost::shared_ptr. + +* GLR Parser + + tc uses a GLR Parser instead of the previous LALR(1) parser. Bison + 2.2 is required to generate this parser. + +* Renaming + + As soon as the bindings are computed, every identifier can be + renamed with a unique name thanks to RenameVisitor. + + For instance, the renaming facility is used to turn a Tiger program + with overloaded functions into a program with no overloaded + functions. This simplifies post-type-checking tasks such as + desugaring or inlining. + +* Inlining + + The compiler supports the inline expansion of functions as a program + transformation. Identifiers must have been renamed to unique names to + avoid name capture (RenameVisitor); then the bodies of non recursive + user functions are expanded (InlineVisitor); finally, unused + functions are optionally removed (PruneVisitor). + +* Containers refactoring + + Syntactic sugar for misc::Map is refactored and misc::Endomap is a + renaming mapping defaulting to identity. + + misc::ScopedMap is a generalization of the previous symbol::Table, + used in InliningVisitor. The former is used to refactor the latter. + + Symbols are no longer constructed with a `create' class (static) + member; the constructor is used instead, which is much more natural. + An automatic conversion to `const std::string&' is introduced. + +* CppGen + + This module has been in a broken state for a long time, and is + removed from the project. + +* IA32 back-end + + The IA32 back-end has been rewritten and uses MonoBURG to generate + its code generator (as does the Mips back-end). + +* Runtime errors + + The runtime errors are reported on the standard error ouput. + tc-check is aware of this new convention, and checks the standard + error ouput messages too. + +* TC-1 distribution + + The distribution machinery can now generate valid teacher tarballs. + + + +New in 0.92, 2005-06-27: + +* Use MonoBURG's named subtrees + + Since MonoBURG 1.0.2, subtrees in the right-hand side of a rule can + be named so that the user can refer to them in the corresponding + action block. The MIPS code generator uses this feature to simplify + its actions. + + + +New in 0.91, 2005-06-20: + +* Conversion of graphs to Boost Graphs + + Graphs (CallGraph, ParentGraph, InterferenceGraph, FlowGraph, + Liveness) are now implemented with the Boost Graph Library (BGL). + The graph::Graph abstraction inherits from boost::adjacency_list, + and all its subclasses handle graphs à la Boost. + +* First attempts in MIPS code generator refactoring + + The grammar of the code emitter is smaller, thanks to MonoBURG's + multiple rules feature. + + + +New in 0.90, 2005-06-14: + +* Task name normalization + + Tasks can be named like-this or like_this, but their real names only + use dashes (foo_bar is just an alias for foo-bar). + +* Computing cycles executed in Nolimips + + Tc-check's --profile option computes cycles of execution on Nolimips + tests (thanks to its --profile option). + +* misc::list + + The temp::List class, used to store temps and labels, becomes a more + general container, misc::list. + +* Better integration of MonoBURG + + The build system is more robust w.r.t MonoBURG. + + + +New in 0.89, 2005-06-07: + +* Generation of the code generator + + The code generator for Mips is now generated, thanks to MonoBURG. + Grammar files (src/codegen/mips/*.brg) describe the tree rewriting + patterns used in the translation from LIR (expressed in the Tree + language) to Assem. + + An extended version of MonoBURG is required to produce this Mips + code generator. + +* Argument passing registers + + Their number can now be bounded using --argument=LIMIT. + +* Raw desugaring + + To ease the development of DesugarVisitor, the desugar module + provides a new task, raw-desugar, which performs just desugaring, + without recomputing the bindings nor checking the types of the AST. + Thus, a desugared tree which has bind- or type-related errors can + still be pretty-printed for debugging purpose. + +* Profiling in tc-check + + Tc-check supports a --profile option which reports the number of + cycles of execution of the tested compiler. + + +New in 0.88, 2005-05-11: + +* Desugaring before translating + + configure supports the option --enable-desugar that makes the task + hir-compute depend on the task desugar, rather than just type. + +* temp::Temp and temp::Label use boost::variant + + temp::Identifier are implemented using boost::variant instead of + inclusion polymorphism. Factories are no longer needed to build and + manage these objects. + + The path to the headers of the Boost C++ Libraries can be given at + configuration time using the option --with-boost. + +* Symbols + + Due to the new implementation of temp::Identifier, symbols need to + be assignable. Thus symbol::Symbol no longer carries a reference to + the string representation of a symbol, but a pointer. + +* Timers + + Module objects (in liveness and regalloc) have their own timers, and + tasks merge them to the global timer. + + +New in 0.87, 2005-04-26: + +* TempMap + + TempMap are independent of Temp, they have moved to misc/. + +* Driver options and tasks + + Catch up with the TLRM: -B/--bindings-display does not imply + -b/--bind; -O is a shortcut for --overfun-types-compute. + + New option: --no-prelude (same as --prelude=""). + +* Symbols and strings + + A symbol::Symbol can be compared to a std::string directly, without + Symbol::create(). + +* Tcsh and studentize + + Tcsh files are no longer stripped at dist time by + stagize/studentize. Python's introspection mechanisms are used + instead to check tc's available modules. + +* Astclone and desugar are delivered + + These modules are now part of TC-4, and are shipped in student + tarballs. + + +New in 0.86, 2005-04-14: + +* Binding of formals + + The formals are bound by the BindVisitor. Binding record fields + remains a task for the TypeVisitor. + + +New in 0.85, 2005-04-14: + +* Builtin prelude + + To make tc self contained, the TigerParser now includes a hard copy + of the standard prelude. + +* Type checking options + + The disjunctive option --types-check-default is now -T/--type. + Former -T/--types-check is now --types-compute. + + +New in 0.84, 2005-04-08: + +* String parsing + + TigerParser::parse_string allows to parse a string instead of a + file. + +* Concrete syntax desugaring + + Early experiments have started. + +* Error handlers + + They now also support member manipulator. This is the first use of + member function pointers in the Tiger Project. + + +New in 0.83, 2005-04-01: + +* Visitors are functors + + The visitors now really have a top level operator() for Ast, and + derive from unary_function. This also simplifies/clarifies the + calling conventions. + +* Error handling + + The former global exit_status and free functions working on it are + replaced by the Error class, implementing error handlers. Not only + this is better OO programming, but this also improves the pureness + of the library: they no longer make side effects on cerr and + exit_status, they have there own error handler into which error are + logs, and the top level retrieves these errors, and merge them + within the top level error handler. + + More specifically, instead of writing + + if (!yyin) + { + std::cerr + << program_name + << ": cannot open `" << name << "': " + << strerror (errno) << std::endl; + misc::exit_set (misc::exit_failure); + misc::exit_on_error (); + } + + now write + + if (!yyin) + error << misc::Error::failure + << program_name << ": cannot open `" << name << "': " + << strerror (errno) << std::endl; + error.exit_on_error (); + + or even + + if (!yyin) + error << misc::Error::failure + << program_name << ": cannot open `" << name << "': " + << strerror (errno) << std::endl + << exit; + + where error is your local error handler. + +* The scanner is purer + + The TigerParser is now passed to yylex. The static variables from + the scanner and its free functions are now members of the + TigerParser. + +* Overloaded Tiger + + Support for overloaded Tiger is back, using overload aware + subclasses from the BindVisitor and the TypeVisitor. + + +New in 0.82, 2005-03-22: + +* AST file names + + The file names in the AST follow the coding style: var-dec.hh + instead of vardec.hh, etc. + +* Function overloading + + A visitor computing the bindings of OverTiger programs has been set + up. This OverfunBindVisitor does the same job as BindVisitor, but + doesn't compute function's bindings, since some type-checking is + needed to resolve function calls. These function's bindings are now + handled by OverfunTypeVisitor, which has been repaired (it uses the + same interface as the TypeVisitor). + + +New in 0.81, 2005-03-16: + +* Boolean + + Boolean operators & and | now return only 1 or 0. + +* Tasks + + It is now possible to define a task which requires only one of its + dependencies, allowing alternatives. This is done thanks to a new + task, DisjunctiveTask. + +* Symbols + + Symbols are now handled by a factory. Before one unique of the + string value was stored, now one Symbol suffice. Many + allocations/deallocations are saved. + +* Swig 1.3.24 + + Dependency tracking is enabled. We no longer use the obsoleted + -runtime. + +* misc::separator + + This auxiliary function provides sugar to print separated lists. + For convenience, it dereferences list of pointers. It replaces the + functions print_with_separator. + +* Parsing module + + The parsing module has been completely overhauled. The handling of + "import" directive is now performed when found: the scanner and + parser are recursively called. The new class TigerParser + coordinates the scanner and parser, and caries the results. The + debatable "using namespace ast" has been removed. + +* tcsh + + Libtool is now used to compile a top level dynamic library, libtc, + containing all the modules. The tc executable is linked statically + against this dynamic library on platforms that support it. This + considerably simplifies tcsh which only needs to be linked against + the dynamic libtc. + + More natural translations are provided, especially thanks to __str__ + methods. + + The Python bindings are moved in tcsh/python. + +* break checks + + The BindVisitor now also binds the break's to their loop construct. + Hence incorrect breaks now trigger a bind-error instead of a + type-error. + +* Clone Visitor + + This new visitor makes a deep copy of an AST. It also serves as a + basis for the construction of the following visitor. + +* Desugar Visitor + + A new visitor, removing syntactic sugar from an AST while cloning it. + It currently handles the following sugar: + + - String operators (<, <=, >, >=, =, !=) + Using strcmp and streq (new primitives), change these operators + into integer operators: + + ... a < b ... + + where a and b are strings + + ... strcmp (a, b) < 0 ... + + and so forth. + + - ForExp + For's can be desugared as while's, as the former is a particular + case of the latter. + + +New in 0.80, 2004-11-10: + +* Swig files + + The handling of Swig files has changed again: they are no longer + shipped, hence Swig is required to build tcsh. This release was + tested with Swig 1.3.22. + + This change was prompted by the fact that some of tc's sources are + generated (version.cc). Since Swig input is tc's sources, even if + one shipped Swig output files, they had a missing dependency + (version.cc) which `make' tried to satisfy. Hence Swig was + relaunched, trying to overwrite shipped files. + +* Call and parent graphs + + The call graph (what functions are called by a function), and the + parent graph (what functions are nested in another) have moved into + the callgraph module. + +* Type Checking + + Type checking is vastly simplified using a better set of auxiliary + functions. The handling of types themselves, especially + comparisons, is also simplified. For loop indexes processing is + simplified using a misc::set. + + +New in 0.79, 2004-10-26: + +* Typable + + The ``typable'' nodes of the AST inherit from a new abstract base + class, ast::Typable, which holds a pointer to the type (type::Type) + of the node. + +* TypeVisitor and type labelling + + Typable AST nodes are labelled with their type by the TypeVisitor, + as well as type declaration holders (ast::Dec nodes). Type + environments have become useless, as type definitions are retrieved + directly from the AST nodes using their type labels and their + definition sites (set by the BindVisitor). + +* Function overloading + + Since the new TypeVisitor no longer uses environments to store the + type information, the old interface used by the OverfunTypeVisitor + is broken. Hence, function overloading has been disabled, waiting + for a future repair. + +* AST display + + The display of the AST has changed: the options --bindings-display, + --escapes-display etc. no longer display the AST, rather they enable + features from -A. Hence, when one used to run -E, now run -EA. + +* Type and Translate Visitors + + They are vastly simplified thanks to (i) the BindVisitor, and (ii) + the type annotations. The so-called "Entries" and "Env" have + disappeared, replaced by much simpler std::maps. Kinds have + disappeared: type annotations suffice. + + +New in 0.78, 2004-10-13: + +* Prelude + + Full prelude support is implemented, and activated. New options + --library-append and --library-prepend, and new envvar, + TC_PKGDATADIR. + +* Memory leaks + + Many leaks are solved. There remains memory that STL does not free + when there are many xallocs. + +* PrintVisitor + + The PrintVisitor is revamped and uses operator<< internally, instead + of accept. This was done thanks to misc::xalloc to pass flags to the + PrintVisitor. + + +New in 0.77, 2004-10-06: + +* Coding Style + + The coding style for type is finally defined, and the code was + normalized. + +* Streams extentions + + misc::xalloc provides a convenient wrappers around xalloc and pword. + +* Prelude + + Preliminary support for a prelude is implemented: + + - import "FILE" + Inclusion a library file from a Tiger source file is enabled. + The syntax of the FILE is + + let + DECS + end + + To support the two different syntaxes with a single parser, we use + a "seed": an initial fake token that branches the start symbol on + one of the two "sub-grammars" (declaration file, or source file). + + - primitive + The new keyword "primitive", similar to "function" allows for the + introduction of function signatures, without bodies. + + - --prelude=PRELUDE + The definitions included in the file PRELUDE are automatically put + "around" the source file. Technically, when PRELUDE is not null, + it is equivalent to parsing + + let + import "PRELUDE" + in + FILE + end + + where FILE is the source file to compile. + + Support for a library search path will soon be included. This will + enable the definition of a standard Tiger prelude defining (via + "primitive") the Tiger primitives (builtins). + +* LetExp + + Second change in the handling of declarations: "let" are no longer + de-sugared into homogeneous nested "let"s. Rather, a "let" is an + heterogeneous list of homogeneous lists of declarations. + +* FieldInit + + Replaces the FieldExp, which no longer derives from Exp. + +* Default Visitor + + The machinery to select a const or non const iterator is fixed, and + spread on the whole Visitor hierarchy. The selection of const/non + const Visitor is also cleaner, using a template template argument. + + Also, the former Defaultvisitor class template is renamed + GenDefaultvisitor for consistency with the Visitor hierarchy itself. + DefaultVisitor and DefaultConstVisitor are now classes. + +* Bind Visitor + + This new visitor is in charge of binding names, i.e., linking every + identifier use (function call, type name, variable name) to its + definition. As a result, no other Visitor now uses a scoped symbol + table: using the address of the definition site is enough (it plays + the role of a unique global name, free from scopes). + +* Escapable + + Multiple inheritance is used to factor the possibility of being + escaped. + +* Cpu + + They own a TempMap that contains the needed magic to change fp into + $fp etc. In addition, MipsCpu becomes (more or less) a NolimipsCpu + that also knows how to map t4 into $x4. This allows to transform + local hacks into a general feature. + +* Levels + + Andrew W. Appel suggests the use of two system levels: the "outer" + level, the one containing the primitives and the main function, and + of course the "main" level, that of the "main" function. We now + only have a single level, that of "main". + +* Parser adjustments + + %destructor and %printer are used: the parser is more verbose, and + no longer leaks. + +* PrintVisitor + + It nows uses misc::indent instead of local code. + +New in 0.76, 2004-07-07: + +* New option: --target-default + + This task was introduced to work around a design issue: + interdependent global variables initialization. Some architectures + failed at launching because of this issue. + + +New in 0.75, 2004-07-06: + +* Debian package + + A package for Debian GNU/Linux can be automatically generated using + `make deb'. The package version is deduced from the version of TC and + the repository revision. + +* Interference Graph + + The move related nodes are now reported. + +* Graph output + + Empty labels are no longer produced. This improves rendering with, + e.g., OmniGrafle. + + +New in 0.74, 2004-06-25: + +* Identifiers Mapping + + The old class TempMap was recycled into Map <Identifier>. The + Identifier<> class template is now equipped with means to + store/retrieve one such Map on a stream, using xalloc and pword. It + also now enjoys a magical operator<< which uses such a Map to format + Identifiers during the output. + +* Code Pessimization + + Some code pessimization was identified and fixed. + +* Callee/caller save registers + + 0 now stands for 0 such registers, whereas before it meant "the + default number". Use 99 or whatever to revert. + +* Testing framework + + tc-check now distinguishes unsupported features from broken + implementations. + + Test files are properly shipped, thereby freeing the user from the + formerly mandatory available... tc compiler. + +* Stream modifiers + + misc/escape and misc/indent now properly save/restore the state of + the stream. + +* Assem + + The printing is assem instructions is simplified thanks to using + TempMap in ostream, together with the debugging flag. + + +New in 0.73, 2004-06-10: + +* Fixes + + Distcheck, now properly works. Errors in comments/documentation + were fixed. + +* Memory leaks + + Memory leaks from T6 to T9 were handled and removed. + +* Targets: Nolimips + + Mipsy is now replaced with Nolimips. + +* Targets: Overhaul + + The overhaul of the target modules has started to let code generator + enjoys the specific features of the target processor. In a + forthcoming version, Nolimips will considered as an architecture, + and there will be TempMap derived classes to cope with architecture + register name specificities. + +New in 0.72, 2004-05-10: + +* Fragments and Visitors. + + Tree and Assem fragments now support Visitors to provide a cleaner + alternative to dynamic_cast. Assem Visitors are clarified: + MapVisitor is removed, and Visitor is extended (to parallel with + a GenDefaultVisitor for the ast module). + +* Inner classes + + Function Inner classes are now demonstrated to call single use + Fragment visitors. + +* Less dependencies. + + More fwd.hh files were introduced. + + +New in 0.71, 2004-04-30: + +* Tasks. + + They are finally moved into their own namespace, task. + Printing functions are standardized. + +* Identifier redesign. + + The implementation of temp::Identifier was simplified by merging the + parameter and the parameter's traits. As a result, the Identifier, + TaggedIdentifier, and Factory class templates are now parameterized + by a class template (the traits). + +* Compilation warning flags. + + They are no longer used to compile SWIG output files. + +* Less dependencies. + + More fwd.hh files were introduced. Newly introduced *.hcc files + help reducing compilation dependencies. + +* Memory leaks. + + Intermediate code leaks were fixed. The test suite now checks for + memory leaks at every stage of the compiler (except when recovering + from parse errors). + +* More unit tests. + + More independent library files are checked, and existing tests have + been improved, in order to help independent development of these + auxiliary (but fundamental) files. + +* Indenting ostream. + + (Intermediate) fragments now use misc::indent. + +* Wrapping sliced tarballs. + + Studentize check that its input has balanced student marks: + it should now be impossible to produce student tarballs with + missing files. + + Stagize is smarter, and allows to distcheck sliced tarballs. + +* Tree code. + + The class tree::Node was renamed as tree::Tree which is more + meaningful, since that's how this intermediate representation is + called (Tree code). + + The fragments are finally part of tree::, instead of translate:: as + Andrew Appel suggests. The clarity of this layout seems to + outweigh the benefits of sticking to Appel's design. + +* Independence from target. + + The target module is not needed in T5: the frame module is truly + independent from the name of the real target fp and rv register + names. There remains a dependency on the word size. It is + considered to always be 4 bytes. + + +New in 0.70, 2004-04-05: + +* Memory is properly reclaimed when reporting an error. + This required getting rid of all `std::exit' invocations, since they + exit immediately, without stack unwinding. The functions from + common.cc that used to call `std::exit' are replaced by the functions + from misc/fail.* that throw exceptions. + + Then, the driver is changed to catch exceptions. Without `catch' + clauses, the standard specifies that performing or not performing + stack unwinding is undefined. + + Note that *there must not be any invocation of `exit'*, as it skips + stack unwinding, i.e., it skips memory reclaiming. Every explicit + call to `exit' must be replaced by a `throw', either direct, or via + a call to `error_on_exit'. + +* Wider use of misc::indent. + Indented output is extremely convenient if most routines use it. + Its use was generalized in symbol tables, type checking, and + intermediate code. + +* tc-check. + + - Recent changes in tc-check caused it to be insensitive to some + failures, this is fixed. Now, it is also checking memory leaks in + type checking (including when there are type errors). + + - Diffs are less verbose, in order to keep some privacy over the + test suite. + + - Standard error output is checked when auditing escape computation. + +* Translation to intermediate code is cleaned up. + +* `if then' is finally implemented as syntactic sugar. + +New in 0.69, 2004-03-26: + +* ios::xalloc is used to control the depth of record type pretty printing. + +* New indentation relative functions added. + Two new files: src/misc/indent.hh and src/misc/indent.cc. + +* No memory leaks in T4. + +* More traits available. + misc::traits provides some information about types. + +* The Type module was revised. + Many simplifications are introduced such as: + + - use of the method `type' as a sort of `accept' with a return + value. + + - use of the overloaded template methods `error' to factor error + reporting and recovery. + +* Similarly in the Translate and Overload modules. + +* Tcsh is repaired. + Tcsh was broken in the latest releases. It is up and running + again. + + +New in 0.68, 2004-03-19: + +* The function misc::for_each allows for pseudo functional programming + using function objects. For instance, instead of + + for (list_t::const_iterator i = l.begin (); i != l.end (); ++i) + f (*i); + + one may write + + misc::for_each (l, f); + + The difference with std::for_each is that `f' is not copied, it is + passed by reference, so it is not sliced. + +* The DefaultVisitor has a template method for arbitrary pointer + types, so that + + i->accept (visitor); + + can now be replaced with + + visitor (*i); + + Combined with misc::for_each, one may now replace + + for (list_t::const_iterator i = l.begin (); i != l.end (); ++i) + i->accept (v); + + with + + misc::for_each (l, v); + +* The attributes `name' from FunctionDec, VarDec, and TypeDec are now + factored into a single attribute `name' in Dec. As a result, more + code can be factored (e.g., checking that a name is defined only + once). + +* The documentation is undergoing a full overhaul to be more + effective. + +* The configuration of Swig is softened: + - --with-swig mandates Swig, i.e., if Swig is not available, it is a + hard error. + - without-swig disables it completely. + - If not specified (or --with=swig=auto), Swig support is built if + available. + +* The files parse/location.hh and parse/position.hh are built if + missing when building src/ast (which requires them). + +* The file misc/select_const.hh provides support for const vs. non + const iterators. This is most useful in the DefaultVisitor + template. + + +New in 0.67, 2004-03-03: + +* The Singleton idiom used for Symbols is more robust to dependencies. + That solves a portability problem on Mac OS X, where the module + Target tried to create a Symbol before its class member `set_' was + constructed. + +* The AST module is cleaned up. + - The outdated file src/ast/README is removed. + - A trailing, unused, misleading definition of decs_type is removed. + +* CppGen is somewhat repaired (23 passes over 128 tests as compared + to... 0), but a lot remains to be done. + +* The argp library is updated to its latest release, to improve + Mac OS X compatibility. + +* Many Doxygen warnings are removed. + +New in 0.66, 2004-02-18: +* All the visitors now use `operator()' instead of `visit' as method + name. This is more compliant with other C++ programming groups, such + as Boost (e.g., http://www.boost.org/libs/graph/doc/visitor_concepts.html). + +New in 0.65, 2004-02-17: +* Declarations in "let" are reduced to a single kind (function, + type, or variable). Only one variable can be introduced at a time. + Mixed "let" are de-sugared as nested "let"s. +* Constructors of AST nodes are moved in the implementation file, + as for the destructors. +* Hooks for escapes, kinds etc. are no longer delivered during T2. + +New in 0.64, 2004-02-06: +* Symbols are sorted lexicographically. +* temp::Temp and Label share the same implementation, based upon + (natural) dynamic polymorphism instead of an ad hoc implementation. +* Traits are (finally) demonstrated: they help implement the common + framework for temp::Temp and Label. +* "print" functions always return an ostream. +* tcsh: The Tiger Compiler Shell... + Swig is used to import the Tiger libraries into a Python shell. + Thanks to Nicolas Burrus. +* The compilation of Bison files is safer and lazy. +* Autoconf 2.58. +* Automake 1.8.2. +* Gzip archives are no longer built by default. +* The Tiger Emacs mode is now shipped (config/tiger.el). + +New in 0.63, 2003-11-17: +* The test suite is no longer a sub package, it is a regular sub + directory. +* Fix tc-check file location. +* Fix escape checks. +* Automake 1.7.9. + +New in 0.62, 2003-10-29: +* Tree memory management is handled by reference counting. +* --callee-save and --caller-save allow to address fake limited + architectures. +* BooleanTasks and IntTasks. +* foo/foo-tasks.* are renamed as foo/tasks.*. +* Compute escaping static link. +* Compute and dump call and parent graphs. +* More code moved out of the headers. +* Use NameTy instead of Symbol for RecordExp, ArrayExp, ArrayTy, + Field. +* The transformation from HIR to LIR is performed by objects + instead of stand-alone functions. +* The AST is rewritten to use pointers instead of reference: "*new" + has disappeared from the parser. +* Rebox is provided to build nice boxed comments. +* Temp now uses a factory, which is also in charge of memory deallocation. +* Coding style is standardized. For instance private members are + "foo_"-like, no longer "_foo". +* temp::Label and temp::Temp are factored into the class template + temp::Identifier. +* Heavy use of forward declarations as compiler firewalls. +* The ast is generated. +* Automake 1.7.8, Havm 0.21 are required. + +New in 0.61, 2003-08-14: +* The Cpu class no longer includes a "color register" category. +* Register allocation is improved. +* The runtime functions are fixed and tested for failures. +* Calls to the "exit" syscall set the status. +* Ia32 back-end is improved, but still fails on some cases. + +New in 0.60, 2003-07-22: +* List of temporaries are sorted. This should help regression tests. +* misc::set have properly working version of set_union, operator+ etc. +* --target-display describes the current target. +* --inst-debug enables verbose output of the instructions, i.e., + with the "use", "def", and "jump" lists. +* The register allocator was rewritten from scratch. The results + are much better, and the code is much closer to Appel's. + +New in 0.59, 2003-07-07: +* src/codegen/tiger-runtime presents the C source of the Tiger + runtime. +* The MIPS getchar implementation is fixed. +* Mipsy support (-Y/--mipsy-display). +* The C++ generation is now checked. + +New in 0.58, 2003-06-26: +* Compiler warnings are enabled during the build. +* Lots of these warnings are removed. +* Using Bison 1.875c is recommended (to neutralize some warnings). +* Function overload added. +* This file. +* Count of removed lines in README. +* Refixed escape checks. +* Register allocation speed up. +* No longer wastes frame slots when spilling. + +New in 0.57, 2003-05-23: +* Escape checks fixed. +* Handling of for loop upper bounds fixed. +* Error messages normalized. +* Support for --liveness/-V +* Ix is enabled by default, use --hir-naive to disable. +* tc-check works on NetBSD as is. + +New in 0.56, 2003-05-12: +* --task-graph. +* Translate, canon and codegen clean up. + +New in 0.55, 2003-04-28: +* Simplified declaration of tasks. +* Extended tc-check, with tarball time stamp support. +* tc-check supports a configuration file. +* --target-ia32. +* misc/deref.hh provides a magic means to output the contents of + containers of pointers. +* Complete revamping of the back end. + +FIXME: Continue the extraction from the ChangeLog. +Be careful that "Bump to 0.54" means "Release 0.53". + + +New in 0.54, 2003-04-08: + +New in 0.52, 2003-03-19: + +New in 0.50, 2003-01-29: + +New in 0.20, 2003-01-10: + +New in 0.18, 2002-07-11: + +New in 0.17, 2002-05-31: + +New in 0.15, 2002-05-18: + +New in 0.14, 2002-03-05: + +New in 0.13, 2002-02-14: + +New in 0.12, 2001-09-13: + +New in 0.11, 2001-09-10: + +New in 0.8, 2001-07-05: + +New in 0.7, 2001-06-23: + +New in 0.5, 2001-06-08: + +Local Variables: +coding: utf-8 +mode: outline +ispell-local-dictionary: "american" +End: |