2007-07-09  tonio <reilles@loria.fr>
  * Fix scripts to support install path with spaces
  * bootinstall for 2.5

2007-06-24  tonio <reilles@loria.fr>
  * bootinstall for 2.5rc2

2007-06-22  emilie
  * library/sl: remove ChoiceV, Choice is now variadic

2007-06-21  tonio <reilles@loria.fr>
  * bootinstall for 2.5rc1

2007-06-01  pem
  * concString(...,x@'abc',...) is now correctly compiled

2007-05-14  paul
  * added <, <=, > and >= to gom side conditions

2007-05-11  radu
  * sublists are now supported in variadic operators (domain=codomain or
    domain!=codomain)

2007-05-05  pem
  * mutraveler has been removed
  * new interface for strategies
  * bootinstall
  * new syntax: %strategy(Sort arg) can be used instead of %strategy(arg:Sort)

2007-05-02  pem
  * visit() now returns the status
  * bootinstall

2007-04-29  pem
  * fix the problem mutraveler -> sl
  * improved the mu-expansion by removing Mu and MuVar from the graph

2007-04-26  burel <burel@loria.fr>
  * some more mappings for ocaml basis types (bool, char, string)

2007-04-20  pem
  * gom do no longer generate op? mapping
  * the KernelCompiler generates correct call to IsFsym or IsSort
    according to the theory
  * the Backend generates correct definition of get_slice

2007-04-19  tonio <reilles@loria.fr>
  * added "rule" hook

2007-04-09  pem
  * bootinstall
  * FL hook is generated automaticcaly for list-operator 
	  whose domain=codomain. This occurs only if no other hook 
		is defined.
  * Free hook has been added. This hook does nothing
		but prevents FL to be activated

2007-04-06  pem
  * removed %rule

2007-04-05  pem
  * FL hook in Gom: Flatened List
  * backtrack to previous backquote semantic (flattening)
  * bootinstall

2007-04-04  tonio <reilles@loria.fr>
  * tom_append fixed to support same domain and codomain

2007-04-04  pem
  * backquote uses tom_append only domain and codomain are differents
  * use tom_cons otherwise
	* gom: generate specialized code for constants

2007-04-03  pem
  * added f?(...) notation for AU operators
  * bootinstall

2007-04-02  pem
  * removed check_stamp
  * add is_sort(t) in the mapping
  * bootinstall

2007-03-19  tonio <reilles@loria.fr>
  * bootinstall

2007-03-18  tonio <reilles@loria.fr>
  * tom: %gom now takes an optional list of arguments to pass to the gom
    compiler. We can now write %gom(--termgraph) {...} to get a termgraph
    enabled data-structure
  * added "--strategies-mapping" option: with it, the generated tom mapping
    includes the strategy stuff. "sl.tom" or "mustrategy.tom" must be included
    when using this option.

2007-03-17  tonio <reilles@loria.fr>
  * added "mapping" hook: allow to redefine the generated tom mapping for
    operators or sorts
  * added "AC" hook: generate AC normalisation function, using the builtin
    "compareTo" for ordering

2007-03-15  tonio <reilles@loria.fr>
  * added "make_empty" hook: allow to select how to build an empty list
  * added "AU" hook: specify associative with neutral operators. the body of
  the hook optionally contains a redefinition of the neutral element.

2007-03-14  pem <pem@loria.fr>
  * accept disjunction of builtin constants: f(1|2) for example
  * fixed PR-2250

2007-01-30  pem <pem@loria.fr>
  * added default make when a %op does not have one
  * list operators are flattened in a backquote expression

2007-01-12  tonio <reilles@loria.fr>
  * use the new ATerm long support, for long support in Gom

2006-11-13  pem <pem@loria.fr>
  * fix PR-1547

2006-11-11  tonio <reilles@loria.fr>
  * src/tom/engine/compiler/TomKernelCompiler.t:
    - ocaml backend fixes :
    fix PR 1564, by correctly using references for ap_flag, and a wrong
    dereference in the associative algorithm

2006-11-04  tonio <reilles@loria.fr>
  * src/tom/gom/:
    - add support for the "boolean" builtin

2006-11-04  tonio <reilles@loria.fr>
  * src/tom/gom/parser/:
    - add support for qualifier module names
      the module "dir.mod" is similar to the declaration of a module
      "mod" compiled with "--package dir" option

2006-11-03  tonio <reilles@loria.fr>
  * src/tom/library/sl/Environment.java
  * src/tom/library/strategies/mutraveler/Position.java:
    - correctly implement the Cloneable interface. Problem spotted by
      findbugs

2006-11-02  tonio <reilles@loria.fr>
  * build.xml:
    - add basic findbugs support
  * local.properties:
    - document the findbugs.home properties

2006-10-08  pem <moreau@loria.fr>
  * src/tom/library/sl/StrategyLanguage.java:
    - renamed GraphStrategy into StrategyLanguage
    - make MuExpansion work for new StrategyLanguage

  * src/tom/engine/TomMessage.java:
    - add error(...) and warning(...) to help managing error messages

  * src/tom/engine/TomOptionManager.t:
    - --<flag> set flag to true and no longer set the opposite
      this fixes the -O2 -p bug

  * src/tom/engine/optimizer/TomOptimizer.t:
    - -O2 implies opt2 opt1 opt2
      this re-optimize expressions normalized by opt1
      and thus inline anti-pattern-status variables
    - split inlining of LetRef and LetAssign,
      this allows inling of unmodified LetRef variables

2006-10-04  Antoine Reilles <tonio@mahogany>
  * Fix caml backend for antipatterns

2006-09-15  Pierre-Etienne Moreau  <pem@huggy.loria.fr>
  * allows function symbols in subjects

2006-09-12  Pem  <pem@becky.local>
  * removed old branches (concurrent, Set, traversal)
  * created module tom-oldies
  * removed vas and apigen

2006-09-09  Pem  <pem@becky.local>
  * capitalized slot-names
  * transform the Gom backend such that it generates directly in a writer
    instead of allocating strings

2006-09-05  Pem  <pem@becky.local>
  * the toString() generated by Gom is now based on a StringBuffer

2006-09-04  Pem  <pem@becky.local>
  * added getChilds() in MuVisitable interface
  * also improved All.java, using getChilds()

2006-09-03  Pem  <pem@becky.local>
  * improve domain checking of disjunction of records
  * fix PR-1145

2006-09-02  Pem  <pem@becky.local>
  * surprise:
    - type is now optionnal in the %match construct
    - terms (not only variables) can be given as subjects
    - still experimental
  * type inference algorithm as been simplified: the context is a type
  * removed TLVar, EmptyContext
  * added TypeList construct

2006-09-01  Pem  <pem@becky.local>
  * added 'char' as a Gom builtin
        * also split char.tom into char.tom and Character.tom

2006-08-31  Pem  <pem@becky.local>
  * added the -X option into the global option, such that Gom.xml path can be
          deduced from the -X initialization, when tom.home is not defined

2006-06-25  Pem  <pem@becky.local>
  * make backquote optional in %strategy
  * allow \ in %[...]%

2006-06-07  Pem  <pem@becky.local>
  * generate only used typeterm definitions
  * do no longer generate comments in includes
  * improved the --pretty option
  * remove importation in java mappings

2006-06-03  pem
  * bootstrap using gom

2006-06-02 Yoann Toussaint <yoann.toussaint@loria.fr>
  * Gom uses the new Gom parser with the help of pom

2006-06-01    <tonio@arcelot>
  * switched TNode to gom data structure

2006-05-31 toussain
  * fixed pom:
    -case line in ParserTokenTypes.txt is in the form: TOKEN="token"=int

2006-04-09 Antoine Reilles <reilles@loria.fr>
  * Introduce an abstract class for Variadic operators in gom
  * add an "int length()" method to variadic operators

2006-05-05 Yoann Toussaint <yoann.toussaint@loria.fr>
  * created Pom, a new tool that generates Gom mappings from ANTLR token table

2006-04-26 Antoine Reilles <reilles@loria.fr>
  * remove --static option, and make static functions the default in Java
  * remove --static option, and make static functions the default in Java
  * add a --noStatic option, to revert this behavior
  * %rules generate private functions (as %op)
  * bumped to rc2

2006-04-22 Antoine Reilles <reilles@loria.fr>
  * Tagged tom-2_3rc1
  * Bootinstall now uses gom and tom src version
  * bootinstall

2006-03-13 Antoine Reilles <reilles@loria.fr>
  * updated antlr to 2.7.6
  * The "meta-quote" construct works with @
  * Bootinstall

2006-03-05  Antoine Reilles <reilles@loria.fr>
  * added %gom { gomCode } construct
    - calls Gom with gomCode
    - includes the generated tom mapping
    - To call gom properly, it uses the "tom.home" property. This property is
    passed by the "tom" script, and inherited from the ant project when using
    tom's ant task

2006-02-13  pem
  * added () to constant %op
  * in Java:
    - %match generates an 'instanceof' to check that the subject has the correct type
    - -> {...} are guarded by a condition to avoid "unreachable statement" error
  * removed warning
  * bootinstall

2006-02-01  pem
  * dijunction of symbols is now compiled in a correct way
    - Bottom (null) is used to initialize variables
    - a boolean variable is used to know if a symbol matches the root symbol
    - assignments are compiled using LetRef and LetAssign
    - the classical schema is still used for (disjunction of) constants
      as well as non-disjunction

2006-01-17  tonio <reilles@loria.fr>
  * tom.engine.*
    - move all jtom/* classes in the package tom.engine
    - change all packages and imports to follow that change
      tom
      |-library
      |-platform
      |-engine--compiler
        |-parser
        |-...
  * build.xml, utils/script.in
    - generate tom and tom.src executables from a generic script template
  * bootinstall with the new package layout

2005-04-27  pem  <pem@polly.loria.fr>
  * removed %typelist and %typearray
    - get_head, get_tail, and is_empty have to be defined in %oplist
    - get_element and get_size have to be defined in %oparray

2005-04-21  pem  <pem@polly.loria.fr>
  * big modifications:
    - pattern matching compilation is based on RecordAppl instead of
    TermAppl (Appl has been renamed into TermAppl)
    - simplification of mapping:
    - fsym, get_fun_sym, and cmp_fun_sym do no longer exist (use is_fsym(t) instead)
    - get_subterm does no longer exist (use get_slot(s,t) instead)
    - slots are no longer optional
    - verifier has to be upgraded

2005-03-25  pem  <pem@polly.loria.fr>
    * src/jtom/compiler/TomExpander.t:
    - allows to use backquote notation all make() constructs

2005-03-24  pem  <pem@polly.loria.fr>
    * src/jtom/compiler/TomExpander.t:
    - allows to use backquote constructs in make() { ... }

2005-03-23  emilie  <emilie@galadriel.loria.fr>
  * src/jtom/optimizer/TomOptimizer.t:
  - new optimizer (-O2) for test-fusion and test-merging

2005-03-22  pem  <pem@polly.loria.fr>
  * src/jtom/compiler/TomKernelCompiler.t:
  - fixed the completeness list-matching bug in array version
    (subjectIndex has to be reseted to begin)

2005-03-11  Anne-Claire Lonchamp  <lonchamp@sawyer.loria.fr>
  * src/jtom/compiler/TomCompiler.t:
  - introduce the Ensure constraint
  - attach this constraint to the last instantiated variable (of the
      pattern) occuring in this constraint
  * src/jtom/compiler/TomKernelCompiler.t:
  - generate IfThenElse for the ensure constraint

2005-03-10  pem  <pem@polly.loria.fr>
  * src/jtom/parser/TomJavaParser.g:
    - allows definition of get_head, get_tail, and is_empty inside %oplist definitions
  * src/jtom/compiler/TomKernelExpander.t:
    - extend type-inference algorithm to expand already instantiated
      variables under an unknown operator

2004-12-20  pem  <pem@becky.local>
  * version 2.1 released

2004-10-30  pem  <pem@becky.local>
  * src/jtom/compiler/TomExpander.t: removed BackQuoteXML
  * src/jtom/backend/TomBackend.t: removed Eiffel backend

2004-10-29  pem  <pem@becky.local>
  * src/jtom/adt/TomInstruction.adt: introduced TypedAction
  * src/jtom/adt/TomTerm.adt: introduced Pattern and PatternInstruction

2004-10-18  pem  <pem@becky.loria.fr>
  * install antlr 2.7.4
  * booinstall
  * src/jtom/parser/TomJavaParser.g: fixed TOM-58

2004-10-14  pem  <pem@polly.loria.fr>
  * src/jtom/checker/TomChecker.t: fixed TOM-54

2004-10-13  pem  <pem@becky.local>

  * src/jtom/parser/TomLanguage.g.t: added 'long' as a builtin type
    (written 123l or 123L)
  * fixed TOM-44

2004-10-10  pem  <pem@becky.local>

  * src/jtom/parser/BackQuoteLanguage.g.t: simplify the parser

2004-09-24  pem  <pem@becky.local>

  * src/jtom/compiler/TomKernelCompiler.t: fixed a major bug in
  list-matching: the containOnlyVariableStar was correct but not
  complete
  Still have to fix the array version.

2004-09-16  pem  <pem@becky.local>

  * bootinstall
  * src/jtom/tools/ant/TomTask.java: added --stamp option

2004-09-06  pem  <pem@polly.loria.fr>

  * introduced mutraveler library

2004-08-18  pem  <pem@polly.loria.fr>

  * bootinstall
  * moved Tom.xml and Tom.src.xml into utils
  * src/tom/platform/adt/PlatformOption.adt: redesigned the ADT
  * src/jtom/TomOptionManager.t: simplified option manager
  * src/jtom/Tom.xml: renamed valueB, valueI, and valueS into value

2004-08-12  pem  <pem@polly.loria.fr>
  * bootinstall

2004-08-11  pem  <pem@polly.loria.fr>
  * big refactoring: introduced tom directory
  * please, update your applications
  *
  * tom
  *  |--- library
  *  |        |--- adt         (datatype definitions)
  *  |        |--- mapping     (predefined mapping)
  *  |               |--- adt  (generated mapping)
  *  |        |--- set         (to handle sets)
  *  |        |--- strategies  (Antoine's master thesis)
  *  |        |--- traversal   (generic traversal)
  *  |        |--- xml         (xml tools)
  *  |
  *  |--- platform             (the Tom Plugin Platform, known as Tom server)
  *           |--- adt

2004-07-05  julien guyon  <julien.guyon@loria.fr>
  * bootinstall of version bumped to 3.0
  * new Design with plugins

2004-06-28  pem  <pem@polly.loria.fr>

  * src/jtom/parser/TomParser.t (TOKEN):
    - allows x=_ in XML syntax (TOM-48)

  * src/jtom/adt/TomSignature.adt:
    - extended BuildVariable signature (with an 'args' slot) to write
      disjunction in bracket notation
    - fixed TOM-47

2004-06-25  pem  <pem@polly.loria.fr>

  * src/jtom/tools/SymbolTable.java:
    - added builtin long type
    - not yet correctly implement for builtin constants

2004-06-09  pem  <pem@becky.local>
  * version 2.0 released

2004-06-07  pem  <pem@polly.loria.fr>

  * src/jtom/optimizer/TomOptimizer.t: fixed TOM-43

2004-06-02  pem  <pem@polly.loria.fr>

  * src/jtom/compiler/TomKernelExpander.t: fixed TOM-41 by adding a
    type to EqualTerm an EqualityCondition (TypedEqualityCondition)

2004-06-01  pem  <pem@polly.loria.fr>

  * src/jtom/compiler/TomCompiler.t: fixed TOM-40 by adding a
    if(true) before construction the rhs of a rewrite rule

2004-05-09    <pem@BACH>

  * src/jtom/parser/TomParser.t:
    - make TomParser a Tom file
    - introduced TomTaskParser
    - make TomJavaParser a separate parser

2004-05-07  pem  <pem@polly.loria.fr>

  * bootinstall

2004-05-02  antoine <reilles@loria.fr>

  * bootinstall
    - vas in stable

2004-04-29  pem  <pem@polly.loria.fr>

  * src/jtom/Tom.java: is now a singleton
  * src/jtom/tools/TomTaskInput.java: is now a singleton
  * src/jtom/TomEnvironment.java: is now a singleton

2004-04-20  pem  <pem@polly.loria.fr>

  * bootinstall

2004-04-19  pem  <pem@polly.loria.fr>

  * src/jtom/compiler/TomExpander.t:
    - improved the sortAttributeList method
    - fix a test failure

2004-04-16 Julien Guyon <julien.guyon@loria.fr>

  * src/make_rules **/Makefile.am: -O added
  * Adapted all tom source code to -O flag: bootstrap OK
  * test are less powerfull while migrating to Ant

2004-04-16  Antoine Reilles  <tonio@bonzai>

  * build.sh
    - build.sh sets correct minimal classpath
    - tests uses junit

2004-04-12    <pem@bach>

  * src/jtom/optimizer/TomOptimizer.t:
    - improved criteria for inlining
    - allow inlining for LetRef and LetAssign

  * src/jtom/backend/TomImperativeGenerator.t:
    - removed buildList (to allow more inlining)
    - this is now done in TomExpander and TomFactory

  * src/jtom/compiler/TomKernelCompiler.t: re-designed list-matching

  * src/jtom/backend/TomCamlGenerator.t: improve block management

2004-04-09  pem  <pem@polly.loria.fr>

  * bootinstall
  * added aterm.tom and atermlist.tom mappings

2004-04-08  pem  <pem@polly.loria.fr>

  * src/jtom/compiler/TomKernelExpander.t:
    - fix a major bug in the Type Expander
    - merge TomExpander.variableExpand with TomKernelExpander.variableExpand

  * src/jtom/runtime/mapping/dom.tom: fix a bug in the sorting algorithm for attributes

2004-04-07  pem  <pem@polly.loria.fr>

  * annoted variables and non-linear variable are compiled into constraints

2004-04-06  pem  <pem@polly.loria.fr>

  * bootinstall
  * src/jtom/compiler/TomExpander.t:
    added a post-processing phase to TomExpander
    this phases update the codomain of GetHeadDecl in order to
    generate correctly typed getHead functions
  * detect concatenated-char : 'abc'
    and expand it into a list of char: 'a','b','c'

2004-03-17 julien <julien.guyon@loria.fr>
  * Start incorporating Vas and prepare field for other tools integration

2004-03-16  pem  <pem@polly.loria.fr>

  * src/jtom/compiler/TomKernelCompiler.t:
    - syntactic patterns are no longer abstracted
    - compilation of syntactic patterns in list-matching

2004-03-15    <pem@bach>

  * src/jtom/Tom.java: allows Tom to compile several files

  * improved Makefiles

2004-03-10  pem  <pem@polly.loria.fr>

  * bootinstall
  * src/jtom/backend/TomCamlGenerator.t:
    - compilation of list-matching for Caml
    - added caml mapping

2004-03-03    <pem@bach>

  * src/jtom/compiler/TomKernelExpander.t:
    - major redesign of the expansion phase
      (to deal with the Instruction type)

  * src/jtom/compiler/TomKernelCompiler.t:
    - major redesign of matching algorithms
      (by using the Instruction type)

  * src/jtom/parser/TomParser.jj:
    - introduced <TOM_QUOTE> and <TOM_CHAR> (for char)
    - removed %typeint, %typedouble and %typestring
      (use predefined mapping instead)

  * src/jtom/backend/TomGenericGenerator.t:
    - introduced a new intermediate generator
    - between TomAbstractGenerator and TomImperativeGenerator

  * src/adt/TomSignature.adt: re-design of the signature
   - new Instruction constructors (which were in TomTerm)
     AbstractBlock, UnamedBlock, NamedBlock, RuleSet, Match,
     CompiledMatch, CompiledPattern, MatchingCondition,
     EqualityCondition, LocalVariable,EndLocalVariable,
     MakeFunctionBegin, MakeFunctionEnd
   - this makes the code simpler and more typed

  * src/jtom/tools/SymbolTable.java:
    - introduced builtin-types (INT,BOOL,STRING,CHAR,DOUBLE)
    - builtin char are now supported

2004-02-26    <pem@bach>

  * bootinstall

2004-02-25    <pem@bach>

  * src/jtom/compiler/TomKernelCompiler.t:
    - compile ArrayMatching with new schema
    - introduced MatchingParameter to store parameters

  * src/jtom/tools/TomTaskInput.java: removed supportedGoto and supportedBlock

2004-02-23  pem  <pem@polly.loria.fr>

  * src/jtom/compiler/TomKernelCompiler.t:
    - introduced the Let(...) construction
    - updated syntactic and list matching algorithm
    - simplified the kernel a lot

2004-02-10  pem  <pem@polly.loria.fr>

  * src/adt/TomSignature.adt: updated to DoubleBackQuote(args:TomList)

  * src/jtom/parser/TomParser.jj: extended `xml(arg1,...) to support extra arguments

  * src/jtom/compiler/TomExpander.t: extended the TomExpander to support various XML mappings
    - XML patterns are built using RecordAppl instead of Appl
    - adapted sortAttribute to RecordAppl
    - concatenate a "context" variable to each XML nodes

2004-01-29    <pem@bach>
  * src/jtom/compiler/TomExpander.t: anonymous XML nodes are allowed
    <_ []> ... </_>
  * modified signature of Xml AttributeNode: the value is now a
    String (instead of a Term).
    attr=#TEXT(x) has to be replaced by attr=x where x is a String

2003-12-10  pem  <pem@polly.loria.fr>
  * bootinstall
  * version 1.5 released

2003-12-04    <pem@bach>
  * bootinstall

2003-12-02    <pem@bach>
  * ported jtom to new version of apigen

2003-11-25  pem  <pem@polly.loria.fr>
  * src/jtom/parser/TomParser.jj:
    - fix bug related to annotations in XML
    - replaced double-backquote by `XML(...)

2003-11-21    <julien@aircube>
  * All Tom tools now inherits from TomTask
  * TomTask is an abstract class that inherit from TomBase
  * TomTask is a template class but also a chain of responsability
        * new TomChecker and simpler regression test infrastructure

2003-11-18    <pem@bach>

  * compilation of symbol disjunctions
    - plain term
    - xml term
  * disjunctions are restricted to symbols with identical signatures

2003-11-16    <pem@bach>

  * src/jtom/parser/TomParser.jj: 
    added disjunction of HeadSymbol

2003-11-07    <pem@bach>

  * bootinstall
  * bumped to 1.5gamma
  * Option constructor removed from ADT

2003-11-05    <pem@bach>

        * XML syntax corresponds to implicit notation

2003-11-02    <pem@bach>

  * restricted double-backquote parser and expander
  * implicit and explicit XML lists are allowed
  * unamed lists are allowed

2003-10-20    <pem@bach>

  * src/jtom/compiler/TomExpander.t: 
    - sort attribute names by alphabetic order

2003-10-20  Pierre-Etienne Moreau  <pem@escher.loria.fr>

  * bootinstall
  * integration of xtom into jtom
  * src/jtom/parser/TomParser.jj: new XML parser

2003-10-03  Pierre-Etienne Moreau  <pem@escher.loria.fr>

  * bootinstall
  * src/jtom/TomBase.t: introduced _* variables
  * src/jtom/runtime/set/SharedMultiSet.t: 
    - fix undetected error: pair -> ... instead of pair[] -> ...
  * src/jtom/compiler/TomKernelCompiler.t: 
    - optimization in matching: do not assigned UnamedVariable when
      they are not annotated

2003-10-02    <pem@bach>

  * src/jtom/compiler/TomKernelExpander.t: 
    - introduced UnamedVariableStar
    - fix a bug in linearization of annoted variables
  * src/jtom/compiler/TomKernelCompiler.t: 
    - introduced UnamedVariableStar
    - allow UnamedVariable and UnamedVariableStar in list-matching
    - allow annoted variables in list-matching
  * src/jtom/compiler/TomCompiler.t: 
    - allow non-linear annoted UnamedVariable
  * src/jtom/backend/TomGenerator.t: 
    - do not generate code for Assign(UnameVariable...,...)
  * test/Array.t: added new tests
  * test/List.t: added new tests

2003-10-01  Pierre-Etienne Moreau  <pem@escher.loria.fr>

  * added the generation of a comment "Generated by TOM..."
  * replaced ArrayList by LinkedList in TomParser
  * replaced ArrayList by List in ASTFactory 

2003-09-23  Pierre-Etienne Moreau  <pem@escher.loria.fr>

  * bootinstall
  * released 1.4 
  
2003-09-19  Pierre-Etienne Moreau  <pem@escher.loria.fr>

  * src/jtom/tools/ASTFactory.java: fix the ^M problem under windows


2003-09-16  Pierre-Etienne Moreau  <pem@escher.loria.fr>

        * bootinstall
        * bumped to 1.4beta

2003-09-15  Pierre-Etienne Moreau  <pem@escher.loria.fr>
  * user defined labels a are allowed in patterns

2003-09-11  Pierre-Etienne Moreau  <pem@escher.loria.fr>

        * complex paths allowed in %include contructs
  * updated to *.tom files generated by apigen
  * bootinstall
 
2003-08-23  Pierre-Etienne Moreau  <pem@escher.loria.fr>

  * bumped to 1.4alpha

2003-08-22  Pierre-Etienne Moreau  <pem@escher.loria.fr>

        * released 1.3

2003-08-22  Pierre-Etienne Moreau  <pem@escher.loria.fr>

  * src/jtom/compiler/TomExpander.t: fix a problem when expanding RewriteRule
  * bumped to 1.3delta
        * bootinstall
  * src/jtom/parser/TomParser.jj: removed old backquote and dotTerm parser
  * src/jtom/tools/ASTFactory.java: removed previous dollar/backquote parser
  * src/jtom/checker/TomChecker.t: adapted to DollarTerm
  * src/jtom/TomSignature.adt: removed DotTerm, BuildBuiltin, BackquoteTerm

2003-08-21  Pierre-Etienne Moreau  <pem@escher.loria.fr>
  * major redesign of the backquote parser
  * should be compatible with the old one, but not yet finished

2003-08-21    <julien.guyon@loria.fr>
  * Remove Flags.java, add TomSyntaxChecker.java and TomTypeChecker.java
        * Simplify Tom interface
  
2003-08-20    <pem@bach>
        * bootinstall
  * added support for double
  
2003-08-18    <pem@bach>
  * %typedouble added
  * %typeint is now an int instead of an Integer

2003-08-14    <pem@bach>
  * bootstrap with the new apigen and aterm-java design
  * bootinstall
  * runtime/strategies added to stable
  * bumped to 1.3gamma
  * "string" tom type renamed into "String"
  * builtin strings supported in back-quoted terms
  
2003-08-12    <pem@bach>
  * src/jtom/TomSignature.adt: 
    - TomTypeList introduced
    - TomRule and TomRuleList introduced
    - TomNumber and TomNumberList introduced
    - TomList implemented as a list

  * src/jtom/TomBase.t: introduced apigen list-operators
        * XML stuff added

2003-08-05  Pierre-Etienne Moreau  <pem@escher.loria.fr>
        * convert ADT files to new style

2003-06-06  Pierre-Etienne Moreau  <pem@escher.loria.fr>
  * bootinstall

2003-5-23    <julien.guyon@loria.fr>
  * start debugger development (jtom.debug.TomDebugger)
  * Introduce SharedSet API (jtom.runtime.set.SharedSet)

2003-05-08    <pem@bach>

  * src/jtom/parser/TomParser.jj: 
    allow is_fsym for list and array operators

2003-05-07    <pem@bach>

  * src/jtom/backend/TomGenerator.t: 
    improved tom_insert_list: no longer use reverse

2003-05-06    <pem@bach>

        * generate unique AbsVar to allow abstraction in nested match
          constructs

2003-04-23    <pem@bach>

        * release 1.2 under GPL license
        * bootinstall
  * src/jtom/compiler/TomKernelCompiler.t: re-introduced CompiledPattern

2003-04-15    <pem@bach>

  * src/jtom/tools/Flags.java: 
    - replaced --noWarning by --Wall
    - removed -W
    - replaced Flags.noWarning by Flags.warning

  * TomExpander split into TomExpander + TomKernelExpander
  * TomExpander transforms: 
    - BackQuoteTerm   
    - RecordAppl
    - RewriteRule
    - MatchingCondition
    - Equality Condition
  * TomKernelExpander transforms:
    - TomType
    - Appl
    - PlaceHolder
    - Variable
    - Match
  
  * TomCompiler split into TomCompiler + TomKernelCompiler
        * pass2_1 renamed into preProcessing
        * pass3 renamed into postProcessing
        * TomCompiler transforms:
    - RewriteRule
    - MatchingCondition
    - Equality Condition
    - Abstraction of list matching
    - Linearization
  * TomKernelCompiler deals with:
    - MakeTerm
    - Match
  
2003-03-30  Jurgen Vinju   <jurgenv@cwi.nl>
  * Used backquotes to delay calling aterm-java-config script to after
      configure phase. Otherwise autobundle can't configure all packages
      before building them.

2003-03-26  Pierre-Etienne Moreau  <pem@escher.loria.fr>

  * bootinstall

  * src/jtom/runtime/GenericTraversal.java: traversal are now used
  by composition instead of inheritance

2003-03-25  Pierre-Etienne Moreau  <pem@escher.loria.fr>

  * src/jtom/runtime/GenericTraversal.java: extended genericCollect
  to support multiple arguments

  * src/jtom/compiler/TomCompiler.t: 
  * src/jtom/compiler/TomExpander.t: 
    - fixed several bugs (matching conditions)
    - BuildVariableStar no longer used

  * src/jtom/TomSignature.adt: 
    - removed BuildVariableStar
    - added fileName to OriginTracking

2003-03-20    <jurgenv@cwi.nl>
  * Removed dependency on shared-objects. The aterm-java-config
          script takes care of this recursive dependency now. This is
          a try-out of this mechanism.

2003-03-18    <jurgenv@cwi.nl>
  * The names of the jarfiles for shared-objects and aterm-java are
          now found automatically using shared-objects-config and 
          aterm-java-config. 

2003-03-17    <pem@bach>

  * bootinstall

2003-03-16    <pem@bach>

  * src/jtom/compiler/TomExpander.t: 
          - support for integer in backQuotedTerm
  
  * src/jtom/parser/TomParser.jj: 
    - disjunction of patterns are now allowed
      the corresponding semantic action is dupplicated
      (p_1 | p_2 -> rhs) is transformed into
      (p_1 -> rhs and p_2 -> rhs)
      when p_1 and p_2 match, the rhs is evaluated twice
 
    - tutorial and tests updated to use disjunctive patterns
  
2003-03-15    <pem@bach>

  * examples/Reach.t: based on runtime.GenericTraversal

  * tutorial/poly/2_advanced: 
          - poly tutorial is now based on runtime.GenericTraversal
    - bug: single-line comments are not supported in imported signature
  
2003-03-14  Pierre-Etienne Moreau  <pem@escher.loria.fr>

  * src/jtom/runtime/GenericTraversal.java: 
    - do not longer use exceptions in TomChecker
    - put all traversal functions in runtime.GenericTraversal
    - extends the generic traversal mechanism apply functions with n
      arguments
    - removed traversal functions from TomBase and TomExpander

2003-02-27    <pem@bach>

  * src/jtom/backend/TomGenerator.t: 
          generation of declarations guarded by isDefinedSymbol
    fix a bug in genDeclMake
  
  * src/jtom/compiler/TomCompiler.t: 
    isDefinedSymbol moved to TomBase

2003-02-21    <pem@bach>

  * bootinstall
  * new architecture: expander + backend

2003-02-14    <pem@bach>

  * bootinstall
  
2003-02-05    julien

  * Introduce SlotList type in symbols

2003-01-23    <pem@bach>

        * release 1.1 under GPL license

2003-01-18    <pem@bach>

        * Tom source and generated code are now synchronized
  * bootinstall
  * --pretty flag added for de-synchronization
  * src/jtom/tools/SingleLineOutputCode.java: 
  * src/jtom/tools/ASTFactory.java: 
    - faster implementation of text formatting
  * src/jtom/TomSignature.adt: iTL renamed into ITL

2003-01-14  Pierre-Etienne Moreau  <pem@escher.loria.fr>

  * src/jtom/TomSignature.adt: 
    - TomName Position renamed into PositionName 
    - Position type added for origin tracking

2003-01-10  Pierre-Etienne Moreau  <pem@escher.loria.fr>

  * src/jtom/parser/TomParser.jj: 
    - make_add renamed into make_insert (for oplist)
    - make_add renamed into make_append (for oparray)

  * src/jtom/compiler/TomGenerator.t: 
    - backquote support for typearray

2002-12-21    <pem@escher>

        * jtom uses the cvs-sop CVS server

2002-12-21    <pem@bach>

  * src/jtom/compiler/TomGenerator.t: 
    - make_add: arguments swapped!
    - backquote support for typelist
    - backquote support for typearray (not yet finished)

2002-12-16    <pem@bach>

  * tests compiled in strictType mode (except Record)

2002-12-16  Pierre-Etienne Moreau  <pem@escher.loria.fr>

        * bootinstall
  * configure.in: added tutorial to the distribution
                  removed examples from the distribution

2002-12-15    <pem@bach>

  * add support for builtin-integer:
    - %typeint should be used to define the "int" type
    - digits can be used in patterns
     
  * src/jtom/compiler/TomGenerator.t: 
    - typing improved in list-matching (with strictType)

2002-12-08    <pem@bach>
  
  * annoted variables: ':' replaced by '@'
  * non-linear pattern used in TomChecker
  * test suite revisited
  * %make removed
  * MakeTerm improved: function calls are allowed
  * bootinstall
  
2002-12-05    <pem@bach>

  * src/jtom/compiler/TomCompiler.t: 
    - extension to non-linear annoted variables

2002-12-01    <pem@bach>

  * src/jtom/compiler/TomCompiler.t:
    - non-linear patterns are now supported

2002-11-30    <pem@bach>

  * new types (Declaration, Option and Expression)
  * --strictType by default

2002-11-23    <pem@bach>

  * dead code removed 

2002-11-21    <pem@bach>

  * version 1.0beta
  * new stable version based on ApiGen

  * src/jtom/Tom.java: 
    - symbol table can now be represented by a term
    - noDeclaration flags added: do not generate declarations
    - import option added: path extension for includes

  * src/jtom/checker/TomChecker.t: efficiency bottleneck found
    - this was the debugPrintln statement
  * bootstrap with --strictType activated
  
2002-11-20  Pierre-Etienne Moreau  <pem@escher.loria.fr>

  * src/jtom/checker/TomChecker.t: shortcuts added in pass1

2002-11-20  Jurgen Vinju  <vinju@loria.fr>

  * replaced Cons(<head>,<tail>) by [<head>,<tail>] for TomList
    in TomSignature.adt

2002-11-20  Pierre-Etienne Moreau  <pem@escher.loria.fr>

  * replace Symbol by Name everywhere

2002-11-19  Pierre-Etienne Moreau  <pem@escher.loria.fr>

  * version 0.7: bootstrap with ApiGen (6 types)
  
2002-10-29    <pem@bach>

  * version 0.6

  * src/jtom/TomBase.t: use a cache to compute numberListToIdentifier

  * src/jtom/checker/TomChecker.t: use backQuoteTerm
  
  * src/jtom/parser/TomParser.jj:  use cstFactory

  * src/jtom/tools/ASTFactory.java: use cstFactory
  

2002-10-29  Pierre-Etienne Moreau  <pem@escher.loria.fr>

  * src/jtom/checker/TomChecker.t: DotTerm allowed in BackQuoteTerm
                                   (very nice!)
  * src/jtom/parser/TomParser.jj (TOKEN): DotTerm added

2002-10-27    <pem@bach>

  * src/jtom/compiler/TomCompiler.t: fix a bug in list matching

  * src/jtom/Tom.java: 
    - based on aterm.* (and no longer on jaterm.*)

  * src/jtom/checker/TomChecker.t: 
    - new implementation of "expand", based on generic traversal
    - introduction of "backQuotedTerm"

  * src/jtom/TomBase.t: new generic methods:
    - map, maptree and traversal

2002-09-23 <vinju@lagarde>

  * added jtom wrapper script in new utils directory

2002-09-15    <pem@bach>

  * src/jtom/verifier/TomVerifier.t: errors are managed by exceptions

  * src/jtom/Tom.signature: fsym are built only once

2002-08-21  Pierre-Etienne Moreau  <pem@escher.loria.fr>

  * src/jtom/verifier/TomVerifier.t: integration of the TOM Verifier

2002-06-17  Pierre-Etienne Moreau  <pem@escher.loria.fr>

  * src/jtom/compiler/TomCompiler.t: fix a bug in pass2_1: MakeTerm
    are expanded in PatternAction

2002-01-24  Pierre-Etienne Moreau  <pem@escher.loria.fr>

  * src/jtom/compiler/TomCompiler.t: 
    - complete re-implementation of the syntactic matching

2002-01-22  Pierre-Etienne Moreau  <pem@escher.loria.fr>

  * src/jtom/compiler/TomCompiler.t: 
    - extension to full list matching
    - allow list matching with empty pattern

2002-01-21  Pierre-Etienne Moreau  <pem@escher.loria.fr>

  * src/jtom/compiler/TomCompiler.t: pass2 splited into:
    - pass2_1: simplification of checkedTerm
    - pass2_2: compilation into Automata

2001-10-31  Pierre-Etienne Moreau  <moreau@loria.fr>

  * src/jtom/compiler/TomGenerator.t: parenthesis added in genDecl (#define)

2001-08-24  Pierre-Etienne Moreau  <moreau@loria.fr>

  * src/jtom/compiler/TomGenerator.t: first Eiffel program
      automatically compiled

2001-07-19  Pierre-Etienne Moreau  <moreau@loria.fr>

        * New package: jtom.tools
  
  * src/jtom/tools/Flags.java: 
  - new 'supportedGoto' flag

  * src/jtom/Tom.java: 
  - new '-eCode' option for the Eiffel back-end

  * src/jtom/compiler/TomCompiler.t: 
  - we can now generate a program without any goto/break (useful for
    Eiffel for example)
  - jtom can be boostrapped without goto

2001-06-15  Pierre-Etienne Moreau  <moreau@loria.fr>

  * src/jtom/Tom.java: new options
  - intermediate: generate intermediate files
  - doCompile: read a checked AST and generate the target language

2001-06-01  Pierre-Etienne Moreau  <moreau@loria.fr>

  * test/Makefile.am: more tests

2001-05-31  Pierre-Etienne Moreau  <moreau@loria.fr>

  * src/jtom/parser/TomParser.jj:
  - new syntax: %rule { l_1 -> r_1 ... l_n -> r_n }

  * src/jtom/compiler/TomCompiler.t: 
  - compilation of ruleset

2001-05-11  Pierre-Etienne Moreau  <moreau@loria.fr>

  * src/jtom/compiler/TomCompiler.t: 
  - type depends on TypeList instead of ArgList (more flexible)
  - get_slot added

  * src/jtom/parser/TomParser.jj: 
  - get_slot(name,t) added

2001-05-07  Pierre-Etienne Moreau  <moreau@loria.fr>

  * src/jtom/parser/TomParser.jj: old syntax removed
  - new parser for terms
  - record syntax added: 
      - typeterm term pair(first:term, second:term)
      - pair[first=term]
  - new syntax for aliases: x@term instead of x:term
  - cmp_fun_sym(t1,t2) added

  * src/jtom/checker/TomChecker.t: 
  - records are available (done by expansion)
  - expansion phase added before the type inference phase

  * src/jtom/compiler/TomCompiler.t: 
  - simplified using somes records

2001-04-12  Pierre-Etienne Moreau  <moreau@loria.fr>

  * src/jtom/compiler/TomCompiler.t: 
  - prettyPrint has been removed
  - generic traversal (collectVariable)
  - improved compilation scheme: pass2() is no longer called in generate()
  
  * src/jtom/parser/TomParser.jj: %include { name.t } is now available

2001-03-26  Pierre-Etienne Moreau  <moreau@loria.fr>

  * src/jtom/compiler/TomCompiler.t: compilation of list-matching
  (typearray representation)

2001-03-21  Pierre-Etienne Moreau  <moreau@loria.fr>

  * src/jtom/compiler/TomCompiler.t: 
  - AnnotedAppl have been removed for more flexibility
  - Appl are now annoted with an Option([...])

2001-03-20  Pierre-Etienne Moreau  <moreau@loria.fr>

  * src/jtom/checker/TomChecker.t: parse and check list-pattern

2001-03-07  Pierre-Etienne Moreau  <moreau@loria.fr>


  * src/jtom/compiler/TomCompiler.t: generation of access and building functions
  - GET_HEAD, GET_TAIL, IS_EMPTY, MAKE_EMPTY, MAKE_ADD
  - the parsing of list-pattern is not yet implemented

2001-03-02  Pierre-Etienne Moreau  <moreau@loria.fr>

  * src/jtom/parser/TomParser.jj: new syntax for type and symbol declaration
  - %typeterm  (implement, get_fun_sym(t), get_subterm(t,n), equals(t1,t2))
  - %typelist  (implement, ..., get_element(l,n), get_size(l))
  - %typearray (implement, ..., get_head(l), get_tail(l), is_empty(l))
  - %op        (fsym, make(t1,...,tn))
  - %oplist    (fsym, make_empty(), make_add(l,e))
  - %oparray   (fsym, make_empty(size), make_add(l,e,index))
  
2001-02-21  Pierre-Etienne Moreau  <moreau@loria.fr>

  * src/jtom/compiler/TomCompiler.t: nested %match are allowed

  * src/jtom/parser/TomParser.jj: possibility to give a name to a node
  - foo(x,subterm:g(y)) -> { ... subterm ... }
    this avoids to re-create the term g(y)
  - intern variables _1, _1_1, _1_2, etc. are no longer necessary
    (and can non longer be used)

2001-02-20  Pierre-Etienne Moreau  <moreau@loria.fr>

  * test/Jfib1Test.java: JUnit is now used

2001-02-15  Pierre-Etienne Moreau  <moreau@loria.fr>

  * src/jtom/compiler/TomCompiler.t: 
  - Bug fixed (--cCode):
  - Declaration are made before Assignement 
  - Placeholder variables are now compiled
  - Variables are now local to each pattern
  - Semantic actions are included in the automaton (i.e. intern
    variables _1, _1_1, _1_2, etc. can used in semantic actions)

2001-02-14  Pierre-Etienne Moreau  <moreau@loria.fr>

  * src/jtom/Tom.java: first bootstrap

2001-02-06  Pierre-Etienne Moreau  <moreau@loria.fr>

  * src/jtom/parser/TomParser.jj: first integration of the new (javacc) parser

  * configure.in: use acinclude.m4 and check for java, javac and javacc

2001-01-25  Pierre-Etienne Moreau  <moreau@loria.fr>

  * Setup of TOM under automake
