2007-02-22 13:31  behrmann

	* [r2976] utap/release/release.sh: Added 'mkdir src/utap', since
	  svn seems to eat the empty directory.

2007-02-22 12:31  behrmann

	* [r2975] utap/release/src/Makefile.am: Renamed ioiface to taflow.

2007-02-22 12:28  behrmann

	* [r2974] utap/release/ChangeLog, utap/release/NEWS,
	  utap/release/README, utap/release/configure.ac,
	  utap/release/release.sh, utap/release/src/Makefile.am: - Bumped
	  UTAP version number to 0.91.
	  - Updated Makefile.am for new files
	  - Added automatic ChangeLog generation
	  - Updated NEWS file with changes in 0.91

2007-02-09 13:22  adavid

	* [r2957] tiga/tests/tiga-ref/run.rb, utap/parser.y: Fixed small
	  errors.

2007-02-09 11:43  adavid

	* [r2956] include/system/expressions.h,
	  include/utap/prettyprinter.h, system/expressions.cpp,
	  tiga/TigaFilter.cpp, tiga/TigaModelChecker.cpp,
	  tiga/TigaPropertyBuilder.cpp, tiga/TigaStateSet.cpp,
	  tiga/backward_algorithm.h, tiga/forward_filter.cpp,
	  tiga/tests/tiga-ref/run.rb, tiga/waitinglist_filter.cpp,
	  utap/expression.cpp, utap/parser.y, utap/prettyprinter.cpp:
	  Extended syntax of control_t*.
	  Fixed bug with -T.
	  Reduced usage of 'promote' in backward propagation.
	  Changed semantics of evaluation for control_t* prefix
	  expressions.
	  Removed isConstant from Expression.

2007-02-07 14:23  adavid

	* [r2950] include/utap/common.h, utap/expression.cpp,
	  utap/keywords.gperf, utap/parser.y, utap/prettyprinter.cpp,
	  utap/typechecker.cpp: Added extensions for time optimality and
	  robust reachability.
	  Support for robust reachability is not committed yet
	  (verifier).

2007-01-29 13:23  adavid

	* [r2938] include/utap/common.h: Sync my repository a little more.
	  This is for robust reachability.

2007-01-11 15:48  marius

	* [r2909] utap/signalflow.cpp: fixed bug in dot expression analysis

2006-12-22 15:45  behrmann

	* [r2879] utap/typechecker.cpp: Fixes bug 372.

2006-12-22 09:31  behrmann

	* [r2873] utap/xmlreader.cpp: Fixes bug 383.

2006-12-11 14:49  behrmann

	* [r2853] utap/expression.cpp: Fixes bug 336.

2006-12-11 14:48  behrmann

	* [r2852] include/utap/type.h, utap/type.cpp, utap/typechecker.cpp:
	  Moved isConstant() and isNonConstant() to the type_t class.

2006-12-04 17:56  adavid

	* [r2847] include/tiga/TigaStateSet.h, include/tiga/TigaStrategy.h,
	  include/tiga/filters.h, include/utap/abstractbuilder.h,
	  include/utap/builder.h, include/utap/common.h,
	  include/utap/expressionbuilder.h, include/verifier/property.h,
	  tiga/TigaFilter.cpp, tiga/TigaModelChecker.cpp,
	  tiga/TigaPropertyBuilder.cpp, tiga/TigaStateSet.cpp,
	  tiga/TigaStrategy.cpp, tiga/forward_filter.cpp,
	  tiga/tests/server.cpp, tiga/tests/verifytga.cpp,
	  utap/abstractbuilder.cpp, utap/expression.cpp,
	  utap/expressionbuilder.cpp, utap/lexer.l, utap/parser.y,
	  utap/typechecker.cpp, trunk/server/scripts/cflags.txt,
	  trunk/server/tests/validation/bin/run-test: Added color to uppaal
	  test script.
	  Removed the TIGA_TEST flag switch, it is always on now.
	  Added an extension for inf: and sup: properties. Only
	  the parser supports it. Tiga accepts more formulas but
	  ignores the new path-formula arguments.

2006-12-04 08:37  john

	* [r2846] include/utap/abstractbuilder.h, include/utap/builder.h,
	  include/utap/statementbuilder.h, include/utap/systembuilder.h,
	  include/verifier/Compiler.h, include/verifier/modelchecker.h,
	  include/verifier/property.h, include/verifier/ssql.h,
	  utap/abstractbuilder.cpp, utap/keywords.gperf, utap/lexer.l,
	  utap/parser.y, utap/statementbuilder.cpp, utap/systembuilder.cpp,
	  verifier/Compiler.cpp, verifier/modelchecker.cpp,
	  verifier/property.cpp, verifier/sfilter.cpp, verifier/ssql.cpp,
	  verifier/tests/server.cpp, verifier/tests/verifyta.cpp:
	  introduced a 'state space query language' (towards bug 120)

2006-11-30 18:13  adavid

	* [r2845] include/system/SystemClockAccessor.h,
	  include/tiga/TigaPropertyBuilder.h, include/tiga/TigaStateSet.h,
	  include/tiga/TigaStrategy.h, include/utap/abstractbuilder.h,
	  include/utap/builder.h, include/utap/common.h,
	  include/verifier/property.h, system/SystemClockAccessor.cpp,
	  tiga/TigaFilter.cpp, tiga/TigaPropertyBuilder.cpp,
	  tiga/TigaStateSet.cpp, tiga/TigaStrategy.cpp,
	  tiga/backward_algorithm.h, tiga/backward_filter.cpp,
	  tiga/forward_filter.cpp, utap/abstractbuilder.cpp,
	  utap/keywords.gperf, utap/libparser.h, utap/parser.y,
	  trunk/server/scripts/cflags.txt: - Added option for no option in
	  the setup.
	  - Added syntax extension to support inf & sup
	  parameter: formula.
	  - Fixed SystemClockAccessor to depend on the state
	  since clock mapping may change.
	  - Fixed an ugly leak (uh!) in the strategy and
	  also made the generation faster (no search in
	  the state set for states anymore).

2006-11-23 14:54  adavid

	* [r2830] include/utap/common.h, utap/expression.cpp,
	  utap/parser.y, utap/prettyprinter.cpp, utap/typechecker.cpp:
	  Fixed bug with control: and added extension E<> control:

2006-11-17 15:05  john

	* [r2810] include/utap/builder.h, include/utap/statementbuilder.h,
	  include/utap/systembuilder.h, utap/libparser.h, utap/parser.y,
	  utap/statementbuilder.cpp, utap/systembuilder.cpp: introduced
	  StatementBuilder (towards fixing enhancement/bug#120)
	  Also added a syntax switch, and optional parameter to
	  'parseProperty'.

2006-11-13 19:32  behrmann

	* [r2804] include/utap/typechecker.h, utap/typechecker.cpp: Fixes
	  bug 351.

2006-11-13 18:53  behrmann

	* [r2803] include/utap/typechecker.h, utap/typechecker.cpp: Fixes
	  bug 367 and bug 370, in addition to a few bugs introduced during
	  the 4.1 development phase.

2006-11-05 21:34  behrmann

	* [r2795] include/utap/typechecker.h, utap/typechecker.cpp: Fixes
	  bug 353.

2006-11-05 20:44  behrmann

	* [r2793] utap/typechecker.cpp: Merged changes between rev. 2791
	  and 2792 from the 4.0 branch. Fixes bug
	  352.

2006-11-05 20:11  behrmann

	* [r2791] include/utap/abstractbuilder.h, include/utap/builder.h,
	  include/utap/expressionbuilder.h, include/utap/signalflow.h,
	  include/utap/statement.h, include/utap/system.h,
	  include/utap/systembuilder.h, include/utap/typechecker.h,
	  include/verifier/Compiler.h, include/verifier/program.h,
	  utap/abstractbuilder.cpp, utap/expressionbuilder.cpp,
	  utap/keywords.gperf, utap/parser.y, utap/signalflow.cpp,
	  utap/statement.cpp, utap/system.cpp, utap/systembuilder.cpp,
	  utap/typechecker.cpp, verifier/Compiler.cpp,
	  verifier/program.cpp, verifier/tests/verifyta.cpp,
	  trunk/server/tests/validation/reftest/2doors.bC.time,
	  trunk/server/tests/validation/reftest/2doors.bW.time,
	  trunk/server/tests/validation/reftest/2doors.bWA.time,
	  trunk/server/tests/validation/reftest/2doors.bWC.time,
	  trunk/server/tests/validation/reftest/2doors.bWCS0.time,
	  trunk/server/tests/validation/reftest/2doors.bWCS1.time,
	  trunk/server/tests/validation/reftest/2doors.bWCS2.time,
	  trunk/server/tests/validation/reftest/2doors.bWCTS0.time,
	  trunk/server/tests/validation/reftest/2doors.bWCTS1.time,
	  trunk/server/tests/validation/reftest/2doors.bWZ.time,
	  trunk/server/tests/validation/reftest/2doors.dC.time,
	  trunk/server/tests/validation/reftest/2doors.dCW.time,
	  trunk/server/tests/validation/reftest/2doors.t0.time,
	  trunk/server/tests/validation/reftest/2doors.yt0.time,
	  trunk/server/tests/validation/reftest/MarbleSorter.bC.time,
	  trunk/server/tests/validation/reftest/MarbleSorter.bW.time,
	  trunk/server/tests/validation/reftest/MarbleSorter.bWA.time,
	  trunk/server/tests/validation/reftest/MarbleSorter.bWC.time,
	  trunk/server/tests/validation/reftest/MarbleSorter.bWCS0.time,
	  trunk/server/tests/validation/reftest/MarbleSorter.bWCS1.time,
	  trunk/server/tests/validation/reftest/MarbleSorter.bWCS2.time,
	  trunk/server/tests/validation/reftest/MarbleSorter.bWCTS0.time,
	  trunk/server/tests/validation/reftest/MarbleSorter.bWCTS1.time,
	  trunk/server/tests/validation/reftest/MarbleSorter.bWZ.time,
	  trunk/server/tests/validation/reftest/MarbleSorter.dC.time,
	  trunk/server/tests/validation/reftest/MarbleSorter.dCW.time,
	  trunk/server/tests/validation/reftest/MarbleSorter.t0.time,
	  trunk/server/tests/validation/reftest/MarbleSorter.yt0.time,
	  trunk/server/tests/validation/reftest/audio.bC.time,
	  trunk/server/tests/validation/reftest/audio.bW.time,
	  trunk/server/tests/validation/reftest/audio.bWA.time,
	  trunk/server/tests/validation/reftest/audio.bWC.time,
	  trunk/server/tests/validation/reftest/audio.bWCS0.time,
	  trunk/server/tests/validation/reftest/audio.bWCS1.time,
	  trunk/server/tests/validation/reftest/audio.bWCS2.time,
	  trunk/server/tests/validation/reftest/audio.bWCTS0.time,
	  trunk/server/tests/validation/reftest/audio.bWCTS1.time,
	  trunk/server/tests/validation/reftest/audio.bWZ.time,
	  trunk/server/tests/validation/reftest/audio.dC.time,
	  trunk/server/tests/validation/reftest/audio.dCW.time,
	  trunk/server/tests/validation/reftest/audio.t0.time,
	  trunk/server/tests/validation/reftest/audio.yt0.time,
	  trunk/server/tests/validation/reftest/boxes.bC.time,
	  trunk/server/tests/validation/reftest/boxes.bW.time,
	  trunk/server/tests/validation/reftest/boxes.bWA.time,
	  trunk/server/tests/validation/reftest/boxes.bWC.time,
	  trunk/server/tests/validation/reftest/boxes.bWCS0.time,
	  trunk/server/tests/validation/reftest/boxes.bWCS1.time,
	  trunk/server/tests/validation/reftest/boxes.bWCS2.time,
	  trunk/server/tests/validation/reftest/boxes.bWCTS0.time,
	  trunk/server/tests/validation/reftest/boxes.bWCTS1.time,
	  trunk/server/tests/validation/reftest/boxes.bWZ.time,
	  trunk/server/tests/validation/reftest/boxes.dC.time,
	  trunk/server/tests/validation/reftest/boxes.dCW.time,
	  trunk/server/tests/validation/reftest/boxes.t0.time,
	  trunk/server/tests/validation/reftest/boxes.yt0.time,
	  trunk/server/tests/validation/reftest/brp.bC.time,
	  trunk/server/tests/validation/reftest/brp.bW.time,
	  trunk/server/tests/validation/reftest/brp.bWA.time,
	  trunk/server/tests/validation/reftest/brp.bWC.time,
	  trunk/server/tests/validation/reftest/brp.bWCS0.time,
	  trunk/server/tests/validation/reftest/brp.bWCS1.time,
	  trunk/server/tests/validation/reftest/brp.bWCS2.time,
	  trunk/server/tests/validation/reftest/brp.bWCTS0.time,
	  trunk/server/tests/validation/reftest/brp.bWCTS1.time,
	  trunk/server/tests/validation/reftest/brp.bWZ.time,
	  trunk/server/tests/validation/reftest/brp.dC.time,
	  trunk/server/tests/validation/reftest/brp.dCW.time,
	  trunk/server/tests/validation/reftest/brp.t0.time,
	  trunk/server/tests/validation/reftest/brp.yt0.time,
	  trunk/server/tests/validation/reftest/bug114.bC.time,
	  trunk/server/tests/validation/reftest/bug114.bW.time,
	  trunk/server/tests/validation/reftest/bug114.bWA.time,
	  trunk/server/tests/validation/reftest/bug114.bWC.time,
	  trunk/server/tests/validation/reftest/bug114.bWCS0.time,
	  trunk/server/tests/validation/reftest/bug114.bWCS1.time,
	  trunk/server/tests/validation/reftest/bug114.bWCS2.time,
	  trunk/server/tests/validation/reftest/bug114.bWCTS0.time,
	  trunk/server/tests/validation/reftest/bug114.bWCTS1.time,
	  trunk/server/tests/validation/reftest/bug114.bWZ.time,
	  trunk/server/tests/validation/reftest/bug114.dC.time,
	  trunk/server/tests/validation/reftest/bug114.dCW.time,
	  trunk/server/tests/validation/reftest/bug114.t0.time,
	  trunk/server/tests/validation/reftest/bug114.yt0.time,
	  trunk/server/tests/validation/reftest/bug116.bC.time,
	  trunk/server/tests/validation/reftest/bug116.bW.time,
	  trunk/server/tests/validation/reftest/bug116.bWA.time,
	  trunk/server/tests/validation/reftest/bug116.bWC.time,
	  trunk/server/tests/validation/reftest/bug116.bWCS0.time,
	  trunk/server/tests/validation/reftest/bug116.bWCS1.time,
	  trunk/server/tests/validation/reftest/bug116.bWCS2.time,
	  trunk/server/tests/validation/reftest/bug116.bWCTS0.time,
	  trunk/server/tests/validation/reftest/bug116.bWCTS1.time,
	  trunk/server/tests/validation/reftest/bug116.bWZ.time,
	  trunk/server/tests/validation/reftest/bug116.dC.time,
	  trunk/server/tests/validation/reftest/bug116.dCW.time,
	  trunk/server/tests/validation/reftest/bug116.t0.time,
	  trunk/server/tests/validation/reftest/bug116.yt0.time,
	  trunk/server/tests/validation/reftest/bug118.bC.time,
	  trunk/server/tests/validation/reftest/bug118.bW.time,
	  trunk/server/tests/validation/reftest/bug118.bWA.time,
	  trunk/server/tests/validation/reftest/bug118.bWC.time,
	  trunk/server/tests/validation/reftest/bug118.bWCS0.time,
	  trunk/server/tests/validation/reftest/bug118.bWCS1.time,
	  trunk/server/tests/validation/reftest/bug118.bWCS2.time,
	  trunk/server/tests/validation/reftest/bug118.bWCTS0.time,
	  trunk/server/tests/validation/reftest/bug118.bWCTS1.time,
	  trunk/server/tests/validation/reftest/bug118.bWZ.time,
	  trunk/server/tests/validation/reftest/bug118.dC.time,
	  trunk/server/tests/validation/reftest/bug118.dCW.time,
	  trunk/server/tests/validation/reftest/bug118.t0.time,
	  trunk/server/tests/validation/reftest/bug118.yt0.time,
	  trunk/server/tests/validation/reftest/bug140.bC.time,
	  trunk/server/tests/validation/reftest/bug140.bW.time,
	  trunk/server/tests/validation/reftest/bug140.bWA.time,
	  trunk/server/tests/validation/reftest/bug140.bWC.time,
	  trunk/server/tests/validation/reftest/bug140.bWCS0.time,
	  trunk/server/tests/validation/reftest/bug140.bWCS1.time,
	  trunk/server/tests/validation/reftest/bug140.bWCS2.time,
	  trunk/server/tests/validation/reftest/bug140.bWCTS0.time,
	  trunk/server/tests/validation/reftest/bug140.bWCTS1.time,
	  trunk/server/tests/validation/reftest/bug140.bWZ.time,
	  trunk/server/tests/validation/reftest/bug140.dC.time,
	  trunk/server/tests/validation/reftest/bug140.dCW.time,
	  trunk/server/tests/validation/reftest/bug140.t0.time,
	  trunk/server/tests/validation/reftest/bug140.yt0.time,
	  trunk/server/tests/validation/reftest/bug151.bC.time,
	  trunk/server/tests/validation/reftest/bug151.bW.time,
	  trunk/server/tests/validation/reftest/bug151.bWA.time,
	  trunk/server/tests/validation/reftest/bug151.bWC.time,
	  trunk/server/tests/validation/reftest/bug151.bWCS0.time,
	  trunk/server/tests/validation/reftest/bug151.bWCS1.time,
	  trunk/server/tests/validation/reftest/bug151.bWCS2.time,
	  trunk/server/tests/validation/reftest/bug151.bWCTS0.time,
	  trunk/server/tests/validation/reftest/bug151.bWCTS1.time,
	  trunk/server/tests/validation/reftest/bug151.bWZ.time,
	  trunk/server/tests/validation/reftest/bug151.dC.time,
	  trunk/server/tests/validation/reftest/bug151.dCW.time,
	  trunk/server/tests/validation/reftest/bug151.t0.time,
	  trunk/server/tests/validation/reftest/bug151.yt0.time,
	  trunk/server/tests/validation/reftest/bug184.bC.time,
	  trunk/server/tests/validation/reftest/bug184.bW.time,
	  trunk/server/tests/validation/reftest/bug184.bWA.time,
	  trunk/server/tests/validation/reftest/bug184.bWC.time,
	  trunk/server/tests/validation/reftest/bug184.bWCS0.time,
	  trunk/server/tests/validation/reftest/bug184.bWCS1.time,
	  trunk/server/tests/validation/reftest/bug184.bWCS2.time,
	  trunk/server/tests/validation/reftest/bug184.bWCTS0.time,
	  trunk/server/tests/validation/reftest/bug184.bWCTS1.time,
	  trunk/server/tests/validation/reftest/bug184.bWZ.time,
	  trunk/server/tests/validation/reftest/bug184.dC.time,
	  trunk/server/tests/validation/reftest/bug184.dCW.time,
	  trunk/server/tests/validation/reftest/bug184.t0.time,
	  trunk/server/tests/validation/reftest/bug184.yt0.time,
	  trunk/server/tests/validation/reftest/bug185.bC.time,
	  trunk/server/tests/validation/reftest/bug185.bW.time,
	  trunk/server/tests/validation/reftest/bug185.bWC.time,
	  trunk/server/tests/validation/reftest/bug185.bWCS0.time,
	  trunk/server/tests/validation/reftest/bug185.bWCS1.time,
	  trunk/server/tests/validation/reftest/bug185.bWCS2.time,
	  trunk/server/tests/validation/reftest/bug185.bWCTS0.time,
	  trunk/server/tests/validation/reftest/bug185.bWCTS1.time,
	  trunk/server/tests/validation/reftest/bug185.bWZ.time,
	  trunk/server/tests/validation/reftest/bug185.dC.time,
	  trunk/server/tests/validation/reftest/bug185.dCW.time,
	  trunk/server/tests/validation/reftest/bug185.t0.time,
	  trunk/server/tests/validation/reftest/bug185.yt0.time,
	  trunk/server/tests/validation/reftest/bug187.bC.time,
	  trunk/server/tests/validation/reftest/bug187.bW.time,
	  trunk/server/tests/validation/reftest/bug187.bWA.time,
	  trunk/server/tests/validation/reftest/bug187.bWC.time,
	  trunk/server/tests/validation/reftest/bug187.bWCS0.time,
	  trunk/server/tests/validation/reftest/bug187.bWCS1.time,
	  trunk/server/tests/validation/reftest/bug187.bWCS2.time,
	  trunk/server/tests/validation/reftest/bug187.bWCTS0.time,
	  trunk/server/tests/validation/reftest/bug187.bWCTS1.time,
	  trunk/server/tests/validation/reftest/bug187.bWZ.time,
	  trunk/server/tests/validation/reftest/bug187.dC.time,
	  trunk/server/tests/validation/reftest/bug187.dCW.time,
	  trunk/server/tests/validation/reftest/bug187.t0.time,
	  trunk/server/tests/validation/reftest/bug187.yt0.time,
	  trunk/server/tests/validation/reftest/bug189.bC.time,
	  trunk/server/tests/validation/reftest/bug189.bW.time,
	  trunk/server/tests/validation/reftest/bug189.bWA.time,
	  trunk/server/tests/validation/reftest/bug189.bWC.time,
	  trunk/server/tests/validation/reftest/bug189.bWCS0.time,
	  trunk/server/tests/validation/reftest/bug189.bWCS1.time,
	  trunk/server/tests/validation/reftest/bug189.bWCS2.time,
	  trunk/server/tests/validation/reftest/bug189.bWCTS0.time,
	  trunk/server/tests/validation/reftest/bug189.bWCTS1.time,
	  trunk/server/tests/validation/reftest/bug189.bWZ.time,
	  trunk/server/tests/validation/reftest/bug189.dC.time,
	  trunk/server/tests/validation/reftest/bug189.dCW.time,
	  trunk/server/tests/validation/reftest/bug189.t0.time,
	  trunk/server/tests/validation/reftest/bug189.yt0.time,
	  trunk/server/tests/validation/reftest/bug197.bC.time,
	  trunk/server/tests/validation/reftest/bug197.bW.time,
	  trunk/server/tests/validation/reftest/bug197.bWA.time,
	  trunk/server/tests/validation/reftest/bug197.bWC.time,
	  trunk/server/tests/validation/reftest/bug197.bWCS0.time,
	  trunk/server/tests/validation/reftest/bug197.bWCS1.time,
	  trunk/server/tests/validation/reftest/bug197.bWCS2.time,
	  trunk/server/tests/validation/reftest/bug197.bWCTS0.time,
	  trunk/server/tests/validation/reftest/bug197.bWCTS1.time,
	  trunk/server/tests/validation/reftest/bug197.bWZ.time,
	  trunk/server/tests/validation/reftest/bug197.dC.time,
	  trunk/server/tests/validation/reftest/bug197.dCW.time,
	  trunk/server/tests/validation/reftest/bug197.t0.time,
	  trunk/server/tests/validation/reftest/bug197.yt0.time,
	  trunk/server/tests/validation/reftest/bug218.bC.time,
	  trunk/server/tests/validation/reftest/bug218.bW.time,
	  trunk/server/tests/validation/reftest/bug218.bWA.time,
	  trunk/server/tests/validation/reftest/bug218.bWC.time,
	  trunk/server/tests/validation/reftest/bug218.bWCS0.time,
	  trunk/server/tests/validation/reftest/bug218.bWCS1.time,
	  trunk/server/tests/validation/reftest/bug218.bWCS2.time,
	  trunk/server/tests/validation/reftest/bug218.bWCTS0.time,
	  trunk/server/tests/validation/reftest/bug218.bWCTS1.time,
	  trunk/server/tests/validation/reftest/bug218.bWZ.time,
	  trunk/server/tests/validation/reftest/bug218.dC.time,
	  trunk/server/tests/validation/reftest/bug218.dCW.time,
	  trunk/server/tests/validation/reftest/bug218.t0.time,
	  trunk/server/tests/validation/reftest/bug218.yt0.time,
	  trunk/server/tests/validation/reftest/bug223.bC.time,
	  trunk/server/tests/validation/reftest/bug223.bW.time,
	  trunk/server/tests/validation/reftest/bug223.bWA.time,
	  trunk/server/tests/validation/reftest/bug223.bWC.time,
	  trunk/server/tests/validation/reftest/bug223.bWCS0.time,
	  trunk/server/tests/validation/reftest/bug223.bWCS1.time,
	  trunk/server/tests/validation/reftest/bug223.bWCS2.time,
	  trunk/server/tests/validation/reftest/bug223.bWCTS0.time,
	  trunk/server/tests/validation/reftest/bug223.bWCTS1.time,
	  trunk/server/tests/validation/reftest/bug223.bWZ.time,
	  trunk/server/tests/validation/reftest/bug223.dC.time,
	  trunk/server/tests/validation/reftest/bug223.dCW.time,
	  trunk/server/tests/validation/reftest/bug223.t0.time,
	  trunk/server/tests/validation/reftest/bug223.yt0.time,
	  trunk/server/tests/validation/reftest/bug227.bC.time,
	  trunk/server/tests/validation/reftest/bug227.bW.time,
	  trunk/server/tests/validation/reftest/bug227.bWA.time,
	  trunk/server/tests/validation/reftest/bug227.bWC.time,
	  trunk/server/tests/validation/reftest/bug227.bWCS0.time,
	  trunk/server/tests/validation/reftest/bug227.bWCS1.time,
	  trunk/server/tests/validation/reftest/bug227.bWCS2.time,
	  trunk/server/tests/validation/reftest/bug227.bWCTS0.time,
	  trunk/server/tests/validation/reftest/bug227.bWCTS1.time,
	  trunk/server/tests/validation/reftest/bug227.bWZ.time,
	  trunk/server/tests/validation/reftest/bug227.dCW.time,
	  trunk/server/tests/validation/reftest/bug227.t0.time,
	  trunk/server/tests/validation/reftest/bug227.yt0.time,
	  trunk/server/tests/validation/reftest/bug228.bC,
	  trunk/server/tests/validation/reftest/bug228.bC.time,
	  trunk/server/tests/validation/reftest/bug228.bW,
	  trunk/server/tests/validation/reftest/bug228.bWA,
	  trunk/server/tests/validation/reftest/bug228.bWA.time,
	  trunk/server/tests/validation/reftest/bug228.bWC,
	  trunk/server/tests/validation/reftest/bug228.bWC.time,
	  trunk/server/tests/validation/reftest/bug228.bWCS0,
	  trunk/server/tests/validation/reftest/bug228.bWCS0.time,
	  trunk/server/tests/validation/reftest/bug228.bWCS1,
	  trunk/server/tests/validation/reftest/bug228.bWCS1.time,
	  trunk/server/tests/validation/reftest/bug228.bWCS2,
	  trunk/server/tests/validation/reftest/bug228.bWCS2.time,
	  trunk/server/tests/validation/reftest/bug228.bWCTS0,
	  trunk/server/tests/validation/reftest/bug228.bWCTS1,
	  trunk/server/tests/validation/reftest/bug228.bWCTS1.time,
	  trunk/server/tests/validation/reftest/bug228.bWZ,
	  trunk/server/tests/validation/reftest/bug228.dC,
	  trunk/server/tests/validation/reftest/bug228.dCW,
	  trunk/server/tests/validation/reftest/bug228.dCW.time,
	  trunk/server/tests/validation/reftest/bug228.t0,
	  trunk/server/tests/validation/reftest/bug228.t0.time,
	  trunk/server/tests/validation/reftest/bug228.yt0,
	  trunk/server/tests/validation/reftest/bug228.yt0.time,
	  trunk/server/tests/validation/reftest/bug229.bC.time,
	  trunk/server/tests/validation/reftest/bug229.bW.time,
	  trunk/server/tests/validation/reftest/bug229.bWA.time,
	  trunk/server/tests/validation/reftest/bug229.bWC.time,
	  trunk/server/tests/validation/reftest/bug229.bWCS0.time,
	  trunk/server/tests/validation/reftest/bug229.bWCS1.time,
	  trunk/server/tests/validation/reftest/bug229.bWCS2.time,
	  trunk/server/tests/validation/reftest/bug229.bWCTS0.time,
	  trunk/server/tests/validation/reftest/bug229.bWCTS1.time,
	  trunk/server/tests/validation/reftest/bug229.bWZ.time,
	  trunk/server/tests/validation/reftest/bug229.dC.time,
	  trunk/server/tests/validation/reftest/bug229.dCW.time,
	  trunk/server/tests/validation/reftest/bug229.t0.time,
	  trunk/server/tests/validation/reftest/bug229.yt0.time,
	  trunk/server/tests/validation/reftest/bug230.bC.time,
	  trunk/server/tests/validation/reftest/bug230.bWA.time,
	  trunk/server/tests/validation/reftest/bug230.bWC.time,
	  trunk/server/tests/validation/reftest/bug230.bWCS0.time,
	  trunk/server/tests/validation/reftest/bug230.bWCS2.time,
	  trunk/server/tests/validation/reftest/bug230.bWCTS0.time,
	  trunk/server/tests/validation/reftest/bug230.bWCTS1.time,
	  trunk/server/tests/validation/reftest/bug230.bWZ.time,
	  trunk/server/tests/validation/reftest/bug230.dC.time,
	  trunk/server/tests/validation/reftest/bug230.dCW.time,
	  trunk/server/tests/validation/reftest/bug230.t0.time,
	  trunk/server/tests/validation/reftest/bug232.bC,
	  trunk/server/tests/validation/reftest/bug232.bC.time,
	  trunk/server/tests/validation/reftest/bug232.bW,
	  trunk/server/tests/validation/reftest/bug232.bW.time,
	  trunk/server/tests/validation/reftest/bug232.bWA,
	  trunk/server/tests/validation/reftest/bug232.bWA.time,
	  trunk/server/tests/validation/reftest/bug232.bWC,
	  trunk/server/tests/validation/reftest/bug232.bWCS0,
	  trunk/server/tests/validation/reftest/bug232.bWCS0.time,
	  trunk/server/tests/validation/reftest/bug232.bWCS1,
	  trunk/server/tests/validation/reftest/bug232.bWCS1.time,
	  trunk/server/tests/validation/reftest/bug232.bWCS2,
	  trunk/server/tests/validation/reftest/bug232.bWCS2.time,
	  trunk/server/tests/validation/reftest/bug232.bWCTS0,
	  trunk/server/tests/validation/reftest/bug232.bWCTS0.time,
	  trunk/server/tests/validation/reftest/bug232.bWCTS1,
	  trunk/server/tests/validation/reftest/bug232.bWZ,
	  trunk/server/tests/validation/reftest/bug232.dC,
	  trunk/server/tests/validation/reftest/bug232.dCW,
	  trunk/server/tests/validation/reftest/bug232.dCW.time,
	  trunk/server/tests/validation/reftest/bug232.t0,
	  trunk/server/tests/validation/reftest/bug232.yt0,
	  trunk/server/tests/validation/reftest/bug232.yt0.time,
	  trunk/server/tests/validation/reftest/bug233.bW.time,
	  trunk/server/tests/validation/reftest/bug233.bWA.time,
	  trunk/server/tests/validation/reftest/bug233.bWCS1.time,
	  trunk/server/tests/validation/reftest/bug233.bWCTS0.time,
	  trunk/server/tests/validation/reftest/bug233.bWCTS1.time,
	  trunk/server/tests/validation/reftest/bug233.bWZ.time,
	  trunk/server/tests/validation/reftest/bug233.dC.time,
	  trunk/server/tests/validation/reftest/bug233.dCW.time,
	  trunk/server/tests/validation/reftest/bug233.t0.time,
	  trunk/server/tests/validation/reftest/bug233.yt0.time,
	  trunk/server/tests/validation/reftest/bug234.bC.time,
	  trunk/server/tests/validation/reftest/bug234.bW.time,
	  trunk/server/tests/validation/reftest/bug234.bWA.time,
	  trunk/server/tests/validation/reftest/bug234.bWC.time,
	  trunk/server/tests/validation/reftest/bug234.bWCS0.time,
	  trunk/server/tests/validation/reftest/bug234.bWCS1.time,
	  trunk/server/tests/validation/reftest/bug234.bWCS2.time,
	  trunk/server/tests/validation/reftest/bug234.bWCTS0.time,
	  trunk/server/tests/validation/reftest/bug234.bWCTS1.time,
	  trunk/server/tests/validation/reftest/bug234.bWZ.time,
	  trunk/server/tests/validation/reftest/bug234.dC.time,
	  trunk/server/tests/validation/reftest/bug234.dCW.time,
	  trunk/server/tests/validation/reftest/bug234.t0.time,
	  trunk/server/tests/validation/reftest/bug234.yt0.time,
	  trunk/server/tests/validation/reftest/bug235.bC.time,
	  trunk/server/tests/validation/reftest/bug235.bWA.time,
	  trunk/server/tests/validation/reftest/bug235.bWCS0.time,
	  trunk/server/tests/validation/reftest/bug235.bWCS1.time,
	  trunk/server/tests/validation/reftest/bug235.bWCTS0.time,
	  trunk/server/tests/validation/reftest/bug235.bWCTS1.time,
	  trunk/server/tests/validation/reftest/bug235.bWZ.time,
	  trunk/server/tests/validation/reftest/bug235.dCW.time,
	  trunk/server/tests/validation/reftest/bug235.t0.time,
	  trunk/server/tests/validation/reftest/bug235.yt0.time,
	  trunk/server/tests/validation/reftest/bug241.bC,
	  trunk/server/tests/validation/reftest/bug241.bC.time,
	  trunk/server/tests/validation/reftest/bug241.bW,
	  trunk/server/tests/validation/reftest/bug241.bW.time,
	  trunk/server/tests/validation/reftest/bug241.bWA,
	  trunk/server/tests/validation/reftest/bug241.bWA.time,
	  trunk/server/tests/validation/reftest/bug241.bWC,
	  trunk/server/tests/validation/reftest/bug241.bWC.time,
	  trunk/server/tests/validation/reftest/bug241.bWCS0,
	  trunk/server/tests/validation/reftest/bug241.bWCS0.time,
	  trunk/server/tests/validation/reftest/bug241.bWCS1,
	  trunk/server/tests/validation/reftest/bug241.bWCS2,
	  trunk/server/tests/validation/reftest/bug241.bWCTS0,
	  trunk/server/tests/validation/reftest/bug241.bWCTS0.time,
	  trunk/server/tests/validation/reftest/bug241.bWCTS1,
	  trunk/server/tests/validation/reftest/bug241.bWZ,
	  trunk/server/tests/validation/reftest/bug241.bWZ.time,
	  trunk/server/tests/validation/reftest/bug241.dC,
	  trunk/server/tests/validation/reftest/bug241.dC.time,
	  trunk/server/tests/validation/reftest/bug241.dCW,
	  trunk/server/tests/validation/reftest/bug241.dCW.time,
	  trunk/server/tests/validation/reftest/bug241.t0,
	  trunk/server/tests/validation/reftest/bug241.yt0,
	  trunk/server/tests/validation/reftest/bug244.bC.time,
	  trunk/server/tests/validation/reftest/bug244.bW.time,
	  trunk/server/tests/validation/reftest/bug244.bWA.time,
	  trunk/server/tests/validation/reftest/bug244.bWC.time,
	  trunk/server/tests/validation/reftest/bug244.bWCS0.time,
	  trunk/server/tests/validation/reftest/bug244.bWCS1.time,
	  trunk/server/tests/validation/reftest/bug244.bWCS2.time,
	  trunk/server/tests/validation/reftest/bug244.bWCTS0.time,
	  trunk/server/tests/validation/reftest/bug244.bWCTS1.time,
	  trunk/server/tests/validation/reftest/bug244.bWZ.time,
	  trunk/server/tests/validation/reftest/bug244.dC.time,
	  trunk/server/tests/validation/reftest/bug244.dCW.time,
	  trunk/server/tests/validation/reftest/bug244.t0.time,
	  trunk/server/tests/validation/reftest/bug244.yt0.time,
	  trunk/server/tests/validation/reftest/bug248.bWA.time,
	  trunk/server/tests/validation/reftest/bug248.bWCS0.time,
	  trunk/server/tests/validation/reftest/bug248.bWCS1.time,
	  trunk/server/tests/validation/reftest/bug248.bWCS2.time,
	  trunk/server/tests/validation/reftest/bug248.bWCTS0.time,
	  trunk/server/tests/validation/reftest/bug248.bWCTS1.time,
	  trunk/server/tests/validation/reftest/bug248.dC.time,
	  trunk/server/tests/validation/reftest/bug248.dCW.time,
	  trunk/server/tests/validation/reftest/bug248.t0.time,
	  trunk/server/tests/validation/reftest/bug248.yt0.time,
	  trunk/server/tests/validation/reftest/bug252.bC.time,
	  trunk/server/tests/validation/reftest/bug252.bW.time,
	  trunk/server/tests/validation/reftest/bug252.bWA.time,
	  trunk/server/tests/validation/reftest/bug252.bWC.time,
	  trunk/server/tests/validation/reftest/bug252.bWCS0.time,
	  trunk/server/tests/validation/reftest/bug252.bWCS1.time,
	  trunk/server/tests/validation/reftest/bug252.bWCS2.time,
	  trunk/server/tests/validation/reftest/bug252.bWCTS0.time,
	  trunk/server/tests/validation/reftest/bug252.bWCTS1.time,
	  trunk/server/tests/validation/reftest/bug252.bWZ.time,
	  trunk/server/tests/validation/reftest/bug252.dC.time,
	  trunk/server/tests/validation/reftest/bug252.dCW.time,
	  trunk/server/tests/validation/reftest/bug252.t0.time,
	  trunk/server/tests/validation/reftest/bug252.yt0.time,
	  trunk/server/tests/validation/reftest/bug253.bC,
	  trunk/server/tests/validation/reftest/bug253.bC.time,
	  trunk/server/tests/validation/reftest/bug253.bW,
	  trunk/server/tests/validation/reftest/bug253.bWA,
	  trunk/server/tests/validation/reftest/bug253.bWC,
	  trunk/server/tests/validation/reftest/bug253.bWC.time,
	  trunk/server/tests/validation/reftest/bug253.bWCS0,
	  trunk/server/tests/validation/reftest/bug253.bWCS1,
	  trunk/server/tests/validation/reftest/bug253.bWCS1.time,
	  trunk/server/tests/validation/reftest/bug253.bWCS2,
	  trunk/server/tests/validation/reftest/bug253.bWCS2.time,
	  trunk/server/tests/validation/reftest/bug253.bWCTS0,
	  trunk/server/tests/validation/reftest/bug253.bWCTS0.time,
	  trunk/server/tests/validation/reftest/bug253.bWCTS1,
	  trunk/server/tests/validation/reftest/bug253.bWCTS1.time,
	  trunk/server/tests/validation/reftest/bug253.bWZ,
	  trunk/server/tests/validation/reftest/bug253.dC,
	  trunk/server/tests/validation/reftest/bug253.dCW,
	  trunk/server/tests/validation/reftest/bug253.dCW.time,
	  trunk/server/tests/validation/reftest/bug253.t0,
	  trunk/server/tests/validation/reftest/bug253.yt0,
	  trunk/server/tests/validation/reftest/bug253.yt0.time,
	  trunk/server/tests/validation/reftest/bug262.bC.time,
	  trunk/server/tests/validation/reftest/bug262.bW.time,
	  trunk/server/tests/validation/reftest/bug262.bWA.time,
	  trunk/server/tests/validation/reftest/bug262.bWC.time,
	  trunk/server/tests/validation/reftest/bug262.bWCS0.time,
	  trunk/server/tests/validation/reftest/bug262.bWCS1.time,
	  trunk/server/tests/validation/reftest/bug262.bWCS2.time,
	  trunk/server/tests/validation/reftest/bug262.bWCTS0.time,
	  trunk/server/tests/validation/reftest/bug262.bWCTS1.time,
	  trunk/server/tests/validation/reftest/bug262.bWZ.time,
	  trunk/server/tests/validation/reftest/bug262.dC.time,
	  trunk/server/tests/validation/reftest/bug262.t0.time,
	  trunk/server/tests/validation/reftest/bug262.yt0.time,
	  trunk/server/tests/validation/reftest/bug32.bC.time,
	  trunk/server/tests/validation/reftest/bug32.bW.time,
	  trunk/server/tests/validation/reftest/bug32.bWA.time,
	  trunk/server/tests/validation/reftest/bug32.bWC.time,
	  trunk/server/tests/validation/reftest/bug32.bWCS0.time,
	  trunk/server/tests/validation/reftest/bug32.bWCS2.time,
	  trunk/server/tests/validation/reftest/bug32.bWCTS0.time,
	  trunk/server/tests/validation/reftest/bug32.bWCTS1.time,
	  trunk/server/tests/validation/reftest/bug32.bWZ.time,
	  trunk/server/tests/validation/reftest/bug32.dC.time,
	  trunk/server/tests/validation/reftest/bug32.dCW.time,
	  trunk/server/tests/validation/reftest/bug32.t0.time,
	  trunk/server/tests/validation/reftest/dacapo_sim.bC.time,
	  trunk/server/tests/validation/reftest/dacapo_sim.bW.time,
	  trunk/server/tests/validation/reftest/dacapo_sim.bWA.time,
	  trunk/server/tests/validation/reftest/dacapo_sim.bWC.time,
	  trunk/server/tests/validation/reftest/dacapo_sim.bWCS0.time,
	  trunk/server/tests/validation/reftest/dacapo_sim.bWCS1.time,
	  trunk/server/tests/validation/reftest/dacapo_sim.bWCS2.time,
	  trunk/server/tests/validation/reftest/dacapo_sim.bWCTS0.time,
	  trunk/server/tests/validation/reftest/dacapo_sim.bWCTS1.time,
	  trunk/server/tests/validation/reftest/dacapo_sim.bWZ.time,
	  trunk/server/tests/validation/reftest/dacapo_sim.dC.time,
	  trunk/server/tests/validation/reftest/dacapo_sim.dCW.time,
	  trunk/server/tests/validation/reftest/dacapo_sim.t0.time,
	  trunk/server/tests/validation/reftest/dacapo_sim.yt0.time,
	  trunk/server/tests/validation/reftest/engine.bC.time,
	  trunk/server/tests/validation/reftest/engine.bW.time,
	  trunk/server/tests/validation/reftest/engine.bWA.time,
	  trunk/server/tests/validation/reftest/engine.bWC.time,
	  trunk/server/tests/validation/reftest/engine.bWCS0.time,
	  trunk/server/tests/validation/reftest/engine.bWCS1.time,
	  trunk/server/tests/validation/reftest/engine.bWCS2.time,
	  trunk/server/tests/validation/reftest/engine.bWCTS0.time,
	  trunk/server/tests/validation/reftest/engine.bWCTS1.time,
	  trunk/server/tests/validation/reftest/engine.bWZ.time,
	  trunk/server/tests/validation/reftest/engine.dC.time,
	  trunk/server/tests/validation/reftest/engine.dCW.time,
	  trunk/server/tests/validation/reftest/engine.t0.time,
	  trunk/server/tests/validation/reftest/engine.yt0.time,
	  trunk/server/tests/validation/reftest/fischer.bC.time,
	  trunk/server/tests/validation/reftest/fischer.bW.time,
	  trunk/server/tests/validation/reftest/fischer.bWA.time,
	  trunk/server/tests/validation/reftest/fischer.bWC.time,
	  trunk/server/tests/validation/reftest/fischer.bWCS0.time,
	  trunk/server/tests/validation/reftest/fischer.bWCS1.time,
	  trunk/server/tests/validation/reftest/fischer.bWCS2.time,
	  trunk/server/tests/validation/reftest/fischer.bWCTS0.time,
	  trunk/server/tests/validation/reftest/fischer.bWCTS1.time,
	  trunk/server/tests/validation/reftest/fischer.bWZ.time,
	  trunk/server/tests/validation/reftest/fischer.dC.time,
	  trunk/server/tests/validation/reftest/fischer.dCW.time,
	  trunk/server/tests/validation/reftest/fischer.t0.time,
	  trunk/server/tests/validation/reftest/fischer.yt0.time,
	  trunk/server/tests/validation/reftest/gerd.bC.time,
	  trunk/server/tests/validation/reftest/gerd.bW.time,
	  trunk/server/tests/validation/reftest/gerd.bWA.time,
	  trunk/server/tests/validation/reftest/gerd.bWC.time,
	  trunk/server/tests/validation/reftest/gerd.bWCS0.time,
	  trunk/server/tests/validation/reftest/gerd.bWCS1.time,
	  trunk/server/tests/validation/reftest/gerd.bWCS2.time,
	  trunk/server/tests/validation/reftest/gerd.bWCTS0.time,
	  trunk/server/tests/validation/reftest/gerd.bWCTS1.time,
	  trunk/server/tests/validation/reftest/gerd.bWZ.time,
	  trunk/server/tests/validation/reftest/gerd.dCW.time,
	  trunk/server/tests/validation/reftest/gerd.t0.time,
	  trunk/server/tests/validation/reftest/gerd.yt0.time,
	  trunk/server/tests/validation/reftest/gerd2.bC.time,
	  trunk/server/tests/validation/reftest/gerd2.bW.time,
	  trunk/server/tests/validation/reftest/gerd2.bWA.time,
	  trunk/server/tests/validation/reftest/gerd2.bWC.time,
	  trunk/server/tests/validation/reftest/gerd2.bWCS0.time,
	  trunk/server/tests/validation/reftest/gerd2.bWCS1.time,
	  trunk/server/tests/validation/reftest/gerd2.bWCS2.time,
	  trunk/server/tests/validation/reftest/gerd2.bWCTS0.time,
	  trunk/server/tests/validation/reftest/gerd2.bWCTS1.time,
	  trunk/server/tests/validation/reftest/gerd2.bWZ.time,
	  trunk/server/tests/validation/reftest/gerd2.dC.time,
	  trunk/server/tests/validation/reftest/gerd2.dCW.time,
	  trunk/server/tests/validation/reftest/gerd2.t0.time,
	  trunk/server/tests/validation/reftest/gerd2.yt0.time,
	  trunk/server/tests/validation/reftest/liveness1.bC.time,
	  trunk/server/tests/validation/reftest/liveness1.bW.time,
	  trunk/server/tests/validation/reftest/liveness1.bWA.time,
	  trunk/server/tests/validation/reftest/liveness1.bWC.time,
	  trunk/server/tests/validation/reftest/liveness1.bWCS0.time,
	  trunk/server/tests/validation/reftest/liveness1.bWCS1.time,
	  trunk/server/tests/validation/reftest/liveness1.bWCS2.time,
	  trunk/server/tests/validation/reftest/liveness1.bWCTS0.time,
	  trunk/server/tests/validation/reftest/liveness1.bWCTS1.time,
	  trunk/server/tests/validation/reftest/liveness1.bWZ.time,
	  trunk/server/tests/validation/reftest/liveness1.dC.time,
	  trunk/server/tests/validation/reftest/liveness1.dCW.time,
	  trunk/server/tests/validation/reftest/liveness1.t0.time,
	  trunk/server/tests/validation/reftest/liveness1.yt0.time,
	  trunk/server/tests/validation/reftest/liveness2.bC.time,
	  trunk/server/tests/validation/reftest/liveness2.bW.time,
	  trunk/server/tests/validation/reftest/liveness2.bWA.time,
	  trunk/server/tests/validation/reftest/liveness2.bWC.time,
	  trunk/server/tests/validation/reftest/liveness2.bWCS0.time,
	  trunk/server/tests/validation/reftest/liveness2.bWCS1.time,
	  trunk/server/tests/validation/reftest/liveness2.bWCS2.time,
	  trunk/server/tests/validation/reftest/liveness2.bWCTS0.time,
	  trunk/server/tests/validation/reftest/liveness2.bWCTS1.time,
	  trunk/server/tests/validation/reftest/liveness2.bWZ.time,
	  trunk/server/tests/validation/reftest/liveness2.dC.time,
	  trunk/server/tests/validation/reftest/liveness2.dCW.time,
	  trunk/server/tests/validation/reftest/liveness2.t0.time,
	  trunk/server/tests/validation/reftest/liveness2.yt0.time,
	  trunk/server/tests/validation/reftest/liveness3.bC.time,
	  trunk/server/tests/validation/reftest/liveness3.bW.time,
	  trunk/server/tests/validation/reftest/liveness3.bWA.time,
	  trunk/server/tests/validation/reftest/liveness3.bWC.time,
	  trunk/server/tests/validation/reftest/liveness3.bWCS0.time,
	  trunk/server/tests/validation/reftest/liveness3.bWCS1.time,
	  trunk/server/tests/validation/reftest/liveness3.bWCS2.time,
	  trunk/server/tests/validation/reftest/liveness3.bWCTS0.time,
	  trunk/server/tests/validation/reftest/liveness3.bWCTS1.time,
	  trunk/server/tests/validation/reftest/liveness3.bWZ.time,
	  trunk/server/tests/validation/reftest/liveness3.dC.time,
	  trunk/server/tests/validation/reftest/liveness3.dCW.time,
	  trunk/server/tests/validation/reftest/liveness3.t0.time,
	  trunk/server/tests/validation/reftest/liveness3.yt0.time,
	  trunk/server/tests/validation/reftest/liveness4.bW.time,
	  trunk/server/tests/validation/reftest/liveness4.bWC.time,
	  trunk/server/tests/validation/reftest/liveness4.bWCS0.time,
	  trunk/server/tests/validation/reftest/liveness4.bWCS1.time,
	  trunk/server/tests/validation/reftest/liveness4.bWCS2.time,
	  trunk/server/tests/validation/reftest/liveness4.bWCTS0.time,
	  trunk/server/tests/validation/reftest/liveness4.bWCTS1.time,
	  trunk/server/tests/validation/reftest/liveness4.bWZ.time,
	  trunk/server/tests/validation/reftest/liveness4.dC.time,
	  trunk/server/tests/validation/reftest/liveness4.dCW.time,
	  trunk/server/tests/validation/reftest/liveness4.t0.time,
	  trunk/server/tests/validation/reftest/liveness4.yt0.time,
	  trunk/server/tests/validation/reftest/liveness5.bC.time,
	  trunk/server/tests/validation/reftest/liveness5.bW.time,
	  trunk/server/tests/validation/reftest/liveness5.bWA.time,
	  trunk/server/tests/validation/reftest/liveness5.bWC.time,
	  trunk/server/tests/validation/reftest/liveness5.bWCS0.time,
	  trunk/server/tests/validation/reftest/liveness5.bWCS1.time,
	  trunk/server/tests/validation/reftest/liveness5.bWCS2.time,
	  trunk/server/tests/validation/reftest/liveness5.bWCTS0.time,
	  trunk/server/tests/validation/reftest/liveness5.bWCTS1.time,
	  trunk/server/tests/validation/reftest/liveness5.bWZ.time,
	  trunk/server/tests/validation/reftest/liveness5.dC.time,
	  trunk/server/tests/validation/reftest/liveness5.dCW.time,
	  trunk/server/tests/validation/reftest/liveness5.t0.time,
	  trunk/server/tests/validation/reftest/liveness5.yt0.time,
	  trunk/server/tests/validation/reftest/liveness6.bC.time,
	  trunk/server/tests/validation/reftest/liveness6.bW.time,
	  trunk/server/tests/validation/reftest/liveness6.bWA.time,
	  trunk/server/tests/validation/reftest/liveness6.bWC.time,
	  trunk/server/tests/validation/reftest/liveness6.bWCS0.time,
	  trunk/server/tests/validation/reftest/liveness6.bWCS1.time,
	  trunk/server/tests/validation/reftest/liveness6.bWCS2.time,
	  trunk/server/tests/validation/reftest/liveness6.bWCTS0.time,
	  trunk/server/tests/validation/reftest/liveness6.bWCTS1.time,
	  trunk/server/tests/validation/reftest/liveness6.bWZ.time,
	  trunk/server/tests/validation/reftest/liveness6.dC.time,
	  trunk/server/tests/validation/reftest/liveness6.dCW.time,
	  trunk/server/tests/validation/reftest/liveness6.t0.time,
	  trunk/server/tests/validation/reftest/liveness6.yt0.time,
	  trunk/server/tests/validation/reftest/max1.bC.time,
	  trunk/server/tests/validation/reftest/max1.bW.time,
	  trunk/server/tests/validation/reftest/max1.bWA.time,
	  trunk/server/tests/validation/reftest/max1.bWC.time,
	  trunk/server/tests/validation/reftest/max1.bWCS0.time,
	  trunk/server/tests/validation/reftest/max1.bWCS1.time,
	  trunk/server/tests/validation/reftest/max1.bWCS2.time,
	  trunk/server/tests/validation/reftest/max1.bWCTS0.time,
	  trunk/server/tests/validation/reftest/max1.bWCTS1.time,
	  trunk/server/tests/validation/reftest/max1.bWZ.time,
	  trunk/server/tests/validation/reftest/max1.dC.time,
	  trunk/server/tests/validation/reftest/max1.dCW.time,
	  trunk/server/tests/validation/reftest/max1.t0.time,
	  trunk/server/tests/validation/reftest/max1.yt0.time,
	  trunk/server/tests/validation/reftest/max2.bC.time,
	  trunk/server/tests/validation/reftest/max2.bW.time,
	  trunk/server/tests/validation/reftest/max2.bWA.time,
	  trunk/server/tests/validation/reftest/max2.bWC.time,
	  trunk/server/tests/validation/reftest/max2.bWCS0.time,
	  trunk/server/tests/validation/reftest/max2.bWCS1.time,
	  trunk/server/tests/validation/reftest/max2.bWCS2.time,
	  trunk/server/tests/validation/reftest/max2.bWCTS0.time,
	  trunk/server/tests/validation/reftest/max2.bWCTS1.time,
	  trunk/server/tests/validation/reftest/max2.bWZ.time,
	  trunk/server/tests/validation/reftest/max2.dC.time,
	  trunk/server/tests/validation/reftest/max2.dCW.time,
	  trunk/server/tests/validation/reftest/max2.t0.time,
	  trunk/server/tests/validation/reftest/max2.yt0.time,
	  trunk/server/tests/validation/reftest/max3.bC.time,
	  trunk/server/tests/validation/reftest/max3.bW.time,
	  trunk/server/tests/validation/reftest/max3.bWA.time,
	  trunk/server/tests/validation/reftest/max3.bWC.time,
	  trunk/server/tests/validation/reftest/max3.bWCS0.time,
	  trunk/server/tests/validation/reftest/max3.bWCS1.time,
	  trunk/server/tests/validation/reftest/max3.bWCS2.time,
	  trunk/server/tests/validation/reftest/max3.bWZ.time,
	  trunk/server/tests/validation/reftest/max3.dC.time,
	  trunk/server/tests/validation/reftest/max3.dCW.time,
	  trunk/server/tests/validation/reftest/max4.bC.time,
	  trunk/server/tests/validation/reftest/max4.bW.time,
	  trunk/server/tests/validation/reftest/max4.bWA.time,
	  trunk/server/tests/validation/reftest/max4.bWC.time,
	  trunk/server/tests/validation/reftest/max4.bWCS0.time,
	  trunk/server/tests/validation/reftest/max4.bWCS1.time,
	  trunk/server/tests/validation/reftest/max4.bWCS2.time,
	  trunk/server/tests/validation/reftest/max4.bWZ.time,
	  trunk/server/tests/validation/reftest/max4.dC.time,
	  trunk/server/tests/validation/reftest/max4.dCW.time,
	  trunk/server/tests/validation/reftest/or.bC.time,
	  trunk/server/tests/validation/reftest/or.bW.time,
	  trunk/server/tests/validation/reftest/or.bWA.time,
	  trunk/server/tests/validation/reftest/or.bWC.time,
	  trunk/server/tests/validation/reftest/or.bWCS0.time,
	  trunk/server/tests/validation/reftest/or.bWCS1.time,
	  trunk/server/tests/validation/reftest/or.bWCS2.time,
	  trunk/server/tests/validation/reftest/or.bWZ.time,
	  trunk/server/tests/validation/reftest/or.dC.time,
	  trunk/server/tests/validation/reftest/or.dCW.time,
	  trunk/server/tests/validation/reftest/patricia.bC.time,
	  trunk/server/tests/validation/reftest/patricia.bW.time,
	  trunk/server/tests/validation/reftest/patricia.bWA.time,
	  trunk/server/tests/validation/reftest/patricia.bWC.time,
	  trunk/server/tests/validation/reftest/patricia.bWCS0.time,
	  trunk/server/tests/validation/reftest/patricia.bWCS1.time,
	  trunk/server/tests/validation/reftest/patricia.bWCS2.time,
	  trunk/server/tests/validation/reftest/patricia.bWCTS0.time,
	  trunk/server/tests/validation/reftest/patricia.bWCTS1.time,
	  trunk/server/tests/validation/reftest/patricia.bWZ.time,
	  trunk/server/tests/validation/reftest/patricia.dC.time,
	  trunk/server/tests/validation/reftest/patricia.dCW.time,
	  trunk/server/tests/validation/reftest/patricia.t0.time,
	  trunk/server/tests/validation/reftest/patricia.yt0.time,
	  trunk/server/tests/validation/reftest/test.bC.time,
	  trunk/server/tests/validation/reftest/test.bW.time,
	  trunk/server/tests/validation/reftest/test.bWA.time,
	  trunk/server/tests/validation/reftest/test.bWC.time,
	  trunk/server/tests/validation/reftest/test.bWCS0.time,
	  trunk/server/tests/validation/reftest/test.bWCS1.time,
	  trunk/server/tests/validation/reftest/test.bWCS2.time,
	  trunk/server/tests/validation/reftest/test.bWCTS0.time,
	  trunk/server/tests/validation/reftest/test.bWCTS1.time,
	  trunk/server/tests/validation/reftest/test.bWZ.time,
	  trunk/server/tests/validation/reftest/test.dC.time,
	  trunk/server/tests/validation/reftest/test.dCW.time,
	  trunk/server/tests/validation/reftest/test.t0.time,
	  trunk/server/tests/validation/reftest/test.yt0.time,
	  trunk/server/tests/validation/reftest/test_warn.bC.time,
	  trunk/server/tests/validation/reftest/test_warn.bW.time,
	  trunk/server/tests/validation/reftest/test_warn.bWA.time,
	  trunk/server/tests/validation/reftest/test_warn.bWC.time,
	  trunk/server/tests/validation/reftest/test_warn.bWCS0.time,
	  trunk/server/tests/validation/reftest/test_warn.bWCS1.time,
	  trunk/server/tests/validation/reftest/test_warn.bWCS2.time,
	  trunk/server/tests/validation/reftest/test_warn.bWCTS0.time,
	  trunk/server/tests/validation/reftest/test_warn.bWCTS1.time,
	  trunk/server/tests/validation/reftest/test_warn.bWZ.time,
	  trunk/server/tests/validation/reftest/test_warn.dC.time,
	  trunk/server/tests/validation/reftest/test_warn.dCW.time,
	  trunk/server/tests/validation/reftest/test_warn.t0.time,
	  trunk/server/tests/validation/reftest/test_warn.yt0.time,
	  trunk/server/tests/validation/reftest/timestamp,
	  trunk/server/tests/validation/reftest/trace1.bC.time,
	  trunk/server/tests/validation/reftest/trace1.bW.time,
	  trunk/server/tests/validation/reftest/trace1.bWA.time,
	  trunk/server/tests/validation/reftest/trace1.bWC.time,
	  trunk/server/tests/validation/reftest/trace1.bWCS0.time,
	  trunk/server/tests/validation/reftest/trace1.bWCS1.time,
	  trunk/server/tests/validation/reftest/trace1.bWCS2.time,
	  trunk/server/tests/validation/reftest/trace1.bWCTS0.time,
	  trunk/server/tests/validation/reftest/trace1.bWCTS1.time,
	  trunk/server/tests/validation/reftest/trace1.bWZ.time,
	  trunk/server/tests/validation/reftest/trace1.dC.time,
	  trunk/server/tests/validation/reftest/trace1.dCW.time,
	  trunk/server/tests/validation/reftest/trace1.t0.time,
	  trunk/server/tests/validation/reftest/trace1.yt0.time,
	  trunk/server/tests/validation/reftest/train-gate.bC.time,
	  trunk/server/tests/validation/reftest/train-gate.bW.time,
	  trunk/server/tests/validation/reftest/train-gate.bWA.time,
	  trunk/server/tests/validation/reftest/train-gate.bWC.time,
	  trunk/server/tests/validation/reftest/train-gate.bWCS0.time,
	  trunk/server/tests/validation/reftest/train-gate.bWCS1.time,
	  trunk/server/tests/validation/reftest/train-gate.bWCS2.time,
	  trunk/server/tests/validation/reftest/train-gate.bWCTS0.time,
	  trunk/server/tests/validation/reftest/train-gate.bWCTS1.time,
	  trunk/server/tests/validation/reftest/train-gate.bWZ.time,
	  trunk/server/tests/validation/reftest/train-gate.dC.time,
	  trunk/server/tests/validation/reftest/train-gate.dCW.time,
	  trunk/server/tests/validation/reftest/train-gate.t0.time,
	  trunk/server/tests/validation/reftest/train-gate.yt0.time,
	  trunk/server/tests/validation/reftest/train-gate2.bC.time,
	  trunk/server/tests/validation/reftest/train-gate2.bW.time,
	  trunk/server/tests/validation/reftest/train-gate2.bWA.time,
	  trunk/server/tests/validation/reftest/train-gate2.bWC.time,
	  trunk/server/tests/validation/reftest/train-gate2.bWCS0.time,
	  trunk/server/tests/validation/reftest/train-gate2.bWCS1.time,
	  trunk/server/tests/validation/reftest/train-gate2.bWCS2.time,
	  trunk/server/tests/validation/reftest/train-gate2.bWCTS0.time,
	  trunk/server/tests/validation/reftest/train-gate2.bWCTS1.time,
	  trunk/server/tests/validation/reftest/train-gate2.bWZ.time,
	  trunk/server/tests/validation/reftest/train-gate2.dC.time,
	  trunk/server/tests/validation/reftest/train-gate2.dCW.time,
	  trunk/server/tests/validation/reftest/train-gate2.t0.time,
	  trunk/server/tests/validation/reftest/train-gate2.yt0.time,
	  trunk/server/tests/validation/reftest/train.bC.time,
	  trunk/server/tests/validation/reftest/train.bW.time,
	  trunk/server/tests/validation/reftest/train.bWA.time,
	  trunk/server/tests/validation/reftest/train.bWC.time,
	  trunk/server/tests/validation/reftest/train.bWCS0.time,
	  trunk/server/tests/validation/reftest/train.bWCS1.time,
	  trunk/server/tests/validation/reftest/train.bWCS2.time,
	  trunk/server/tests/validation/reftest/train.bWCTS0.time,
	  trunk/server/tests/validation/reftest/train.bWCTS1.time,
	  trunk/server/tests/validation/reftest/train.bWZ.time,
	  trunk/server/tests/validation/reftest/train.dC.time,
	  trunk/server/tests/validation/reftest/train.dCW.time,
	  trunk/server/tests/validation/reftest/train.t0.time,
	  trunk/server/tests/validation/reftest/train.yt0.time,
	  trunk/server/tests/validation/reftest/version,
	  trunk/server/tests/validation/reftest/wang.bC.time,
	  trunk/server/tests/validation/reftest/wang.bW.time,
	  trunk/server/tests/validation/reftest/wang.bWA.time,
	  trunk/server/tests/validation/reftest/wang.bWC.time,
	  trunk/server/tests/validation/reftest/wang.bWCS0.time,
	  trunk/server/tests/validation/reftest/wang.bWCS1.time,
	  trunk/server/tests/validation/reftest/wang.bWCS2.time,
	  trunk/server/tests/validation/reftest/wang.bWCTS0.time,
	  trunk/server/tests/validation/reftest/wang.bWCTS1.time,
	  trunk/server/tests/validation/reftest/wang.bWZ.time,
	  trunk/server/tests/validation/reftest/wang.dC.time,
	  trunk/server/tests/validation/reftest/wang.dCW.time,
	  trunk/server/tests/validation/reftest/wang.t0.time,
	  trunk/server/tests/validation/reftest/wang.yt0.time: Added assert
	  statement to UPPAAL.
	  
	  Made minor adjustments in verifyta output (that is why the
	  reftest is
	  updated).

2006-11-05 18:59  behrmann

	* [r2790] utap/tests/test-pretty: Added commen on how to invoke the
	  script.

2006-11-05 18:58  behrmann

	* [r2789] utap/prettyprinter.cpp: Fixed bug in ostringstream
	  handling. Fixed bug in indentation of
	  if-statements.

2006-11-05 18:44  behrmann

	* [r2788] utap/tests/pretty.cpp, utap/tests/syntaxcheck.cpp,
	  utap/tests/test-pretty: Added test script for pretty printer.
	  
	  Changed invocation of pretty printer.
	  
	  Changed syntax check utility to set return code in case of
	  errors.

2006-11-05 18:42  behrmann

	* [r2787] include/utap/prettyprinter.h, utap/prettyprinter.cpp:
	  Fixes bug 364.

2006-10-13 22:05  behrmann

	* [r2761] utap/xmlreader.cpp: Merged changes from 4.0 branch
	  between rev. 2757 and 2758. Fixes bug
	  358.

2006-10-09 17:02  behrmann

	* [r2740] utap/typechecker.cpp: Fixed another minor problem in
	  checkIgnoredValue(). See also rev. 2719.

2006-10-04 17:03  marius

	* [r2723] include/utap/signalflow.h, utap/signalflow.cpp: minor
	  code cleanup, added a few more comments

2006-10-03 14:35  adavid

	* [r2719] include/utap/expression.h, utap/expression.cpp,
	  utap/typechecker.cpp: Relaxed the side-effect free warning to
	  recognize when local variables are modified.

2006-09-23 11:22  behrmann

	* [r2681] include/utap/typechecker.h, utap/typechecker.cpp: Refined
	  side-effect analysis. Fixes bug 348.

2006-09-23 10:13  behrmann

	* [r2680] utap/typechecker.cpp: Issue warning if left hand side of
	  comma expression does not have a side
	  effect (see bug 348).

2006-08-10 12:51  marius

	* [r2524] include/tron/interface.h, include/utap/iointerface.h,
	  include/utap/signalflow.h, tron/ChoiceFilter.cpp,
	  tron/action.cpp, tron/interface.cpp, tron/tests/tron.cpp,
	  utap/iointerface.cpp, utap/signalflow.cpp,
	  utap/tests/ioiface.cpp, utap/tests/taflow.cpp: rename IO
	  interface into timed automata signal flow

2006-08-08 18:37  marius

	* [r2504] tron/closure.cpp, tron/tests/examples/tracer/Makefile,
	  tron/tests/examples/tracer/testsuite.xml, tron/tests/tron.cpp,
	  utap/iointerface.cpp: simplified command line options for model
	  partitioning

2006-07-18 18:00  marius

	* [r2450] include/utap/iointerface.h, utap/iointerface.cpp,
	  utap/tests/ioiface.cpp: don't add conflicting nodes (neither to
	  IUT nor to Env)
	  increase color contrast for non-colored printer
	  emphasize the observable channels with "peripheries=2"

2006-07-18 14:27  marius

	* [r2449] include/utap/iointerface.h, utap/iointerface.cpp,
	  utap/tests/ioiface.cpp: changed the colors and shapes to fit the
	  partitioned system
	  ellipse -- process, rectangle -- integer, diamond -- channel.
	  blue -- implementation under test, green -- environment.

2006-07-14 10:24  behrmann

	* [r2440] include/utap/typechecker.h, utap/typechecker.cpp: Further
	  clean up.

2006-07-14 08:59  behrmann

	* [r2438] include/system/SymbolicState.h,
	  include/utap/expression.h, include/utap/typechecker.h,
	  utap/typechecker.cpp: Some clean up in the type checker. Fixes
	  bug 337. This will probably
	  reject some hypothetical models, which would have been accepted
	  before
	  (but I am not convinced that our compiler handled those special
	  cases
	  correctly).

2006-07-13 18:05  marius

	* [r2437] include/utap/iointerface.h, utap/iointerface.cpp,
	  utap/tests/ioiface.cpp: added partitioning into Environment and
	  IUT of the system
	  removed constant expressions from analysis

2006-07-05 15:23  behrmann

	* [r2373] include/system/System.h, include/system/tctlexpr.h,
	  system/tctlexpr.cpp, utap/expression.cpp: Removed some unneeded
	  ENABLE_TIGA ifdefs.
	  
	  Added support for precomputing clock guards.

2006-07-02 12:15  behrmann

	* [r2330] include/utap/iointerface.h, utap/iointerface.cpp: Fixed
	  doxygen comments.

2006-07-02 11:58  behrmann

	* [r2329] utap/release, utap/release/AUTHORS, utap/release/COPYING,
	  utap/release/COPYING.LIB, utap/release/ChangeLog,
	  utap/release/INSTALL, utap/release/Makefile.am,
	  utap/release/NEWS, utap/release/README,
	  utap/release/configure.ac, utap/release/doc,
	  utap/release/doc/Makefile.am, utap/release/doc/api,
	  utap/release/doc/api/Makefile.am,
	  utap/release/doc/api/libutap.doxygen, utap/release/release.sh,
	  utap/release/src, utap/release/src/Makefile.am,
	  utap/release/src/utap: Added script and files to make a libutap
	  release.

2006-07-02 11:49  behrmann

	* [r2328] utap/tests/check.cpp, utap/tests/syntaxcheck.cpp: Renamed
	  check utility to syntaxcheck.

2006-06-27 17:53  fleury

	* [r2294] include/system/System.h, include/utap/common.h,
	  utap/expression.cpp, utap/lexer.l,
	  trunk/server/scripts/cflags.txt: Changed the flag ENABLE_GAMES
	  into ENABLE_TIGA

2006-06-23 17:05  fleury

	* [r2252] include/utap/abstractbuilder.h, include/utap/builder.h,
	  include/utap/common.h, include/utap/prettyprinter.h,
	  include/utap/systembuilder.h, include/utap/type.h,
	  utap/abstractbuilder.cpp, utap/keywords.gperf, utap/parser.y,
	  utap/prettyprinter.cpp, utap/systembuilder.cpp, utap/tags.gperf,
	  utap/type.cpp, utap/typechecker.cpp, utap/xmlreader.cpp,
	  verifier/expression_analyser.cpp: Cleaning utap and verifier from
	  winning/losing states.
	  I ran a regression test just in case --> Perfect Match

2006-06-21 15:45  fleury

	* [r2224] include/utap/common.h, include/verifier/property.h,
	  tiga/TigaModelChecker.cpp, tiga/TigaPropertyBuilder.cpp,
	  utap/expression.cpp, utap/lexer.l, utap/parser.y,
	  utap/prettyprinter.cpp, utap/typechecker.cpp: - First step to
	  synthesize safety properties
	  - Added a 'weak until' operator
	  - Added toString support for (weak) until
	  - Checked if utap was not broken with 'make test'
	  - Added win/lose formula extraction
	  - Checked on tiga-reftest that nothing was broken

2006-06-20 17:22  adavid

	* [r2216] tiga/tests/tiga-ref/concur05-1.q,
	  tiga/tests/tiga-ref/concur05-2.q,
	  tiga/tests/tiga-ref/control-det-plates02.q,
	  tiga/tests/tiga-ref/control-det-plates03.q,
	  tiga/tests/tiga-ref/control-nondet-plates02.q,
	  tiga/tests/tiga-ref/control-nondet-plates03.q,
	  tiga/tests/tiga-ref/rescue01.q, tiga/tests/tiga-ref/rescue02.q,
	  tiga/tests/tiga-ref/rescue03.q, tiga/tests/tiga-ref/rescue04.q,
	  tiga/tests/tiga-ref/rescue05.q, tiga/tests/tiga-ref/toy11.q,
	  tiga/tests/tiga-ref/toy12.q, tiga/tests/tiga-ref/toy13.q,
	  tiga/tests/tiga-ref/toy14.q, tiga/tests/tiga-ref/toy15.q,
	  tiga/tests/tiga-ref/toy16.q, tiga/tests/tiga-ref/toy17.q,
	  tiga/tests/tiga-ref/toy18.q, tiga/tests/tiga-ref/toy19.q,
	  tiga/tests/tiga-ref/toy20.q, tiga/tests/tiga-ref/toy21.q,
	  tiga/tests/tiga-ref/toy22.q, tiga/tests/tiga-ref/toy23.q,
	  tiga/tests/tiga-ref/uncontrol-det-plates02.q,
	  tiga/tests/tiga-ref/uncontrol-det-plates03.q,
	  tiga/tests/tiga-ref/uncontrol-nondet-plates02.q,
	  tiga/tests/tiga-ref/uncontrol-nondet-plates03.q,
	  utap/keywords.gperf, utap/lexer.l, utap/parser.y: Fixed the ugly
	  previous hack for the query
	  syntax to something standard. The correct
	  syntax for tiga is now: A[ expr U expr ].
	  Updated examples to work with the new syntax.

2006-06-20 16:35  behrmann

	* [r2214] include/utap/position.h: Replaced include of stdint.h
	  with inttypes.h on platforms without
	  stdint.h.

2006-06-20 16:34  behrmann

	* [r2213] utap/parser.y: Added NonTypeId to be used rather than
	  T_ID. Will make it easier to add
	  tokens 'A' and 'U'.

2006-06-20 14:24  adavid

	* [r2212] base/DataAllocator.cpp, base/Enumerator.cpp,
	  base/FatalException.cpp, base/SimpleQueue.cpp, base/Timer.cpp,
	  base/bitstring.c, base/intutils.c, base/stats.cpp,
	  base/tests/benchmark_copy.cpp, base/tests/testallocator.cpp,
	  base/tests/testarray.cpp, base/tests/testbitstring.c,
	  base/tests/testcppbitstring.cpp,
	  base/tests/testcrashallocator.cpp, base/tests/testintutils.c,
	  base/tests/testitemallocator.cpp, base/tests/testtimer.cpp,
	  cdd/bellmanford.c, cdd/bellmanford.h, cdd/cache.c, cdd/cache.h,
	  cdd/cddop.c, cdd/cppext.cpp, cdd/debug.c, cdd/kernel.c,
	  cdd/print.c, cdd/relax.c, cdd/relax.h, cdd/tarjan.c,
	  cdd/tarjan.h, cdd/tests/testbf.cpp, cdd/tests/testcdd.cpp,
	  cora/Path.cpp, cora/PricedActiveClockReductionFilter.cpp,
	  cora/PricedDelayFilter.cpp, dbm/DBMAllocator.cpp,
	  dbm/DBMAllocator.h, dbm/Federation.cpp, dbm/dbm.c, dbm/dbm.h,
	  dbm/dbmfederation.c, dbm/fed.cpp, dbm/fed_dbm.cpp, dbm/gen.c,
	  dbm/infimum.cpp, dbm/mingraph.c, dbm/mingraph_cache.cpp,
	  dbm/mingraph_coding.h, dbm/mingraph_equal.c, dbm/mingraph_read.c,
	  dbm/mingraph_relation.c, dbm/mingraph_write.c, dbm/partition.cpp,
	  dbm/pfed.cpp, dbm/priced.cpp, dbm/print.cpp, dbm/ruby/udbm.cpp,
	  dbm/swig/wrapper.cpp, dbm/swig/wrapper.h, dbm/tests/testdbm.c,
	  dbm/tests/testdbmfederation.c, dbm/tests/testext.c,
	  dbm/tests/testextrapolation.c, dbm/tests/testfed.cpp,
	  dbm/tests/testfeddbm.cpp, dbm/tests/testinfimum.cpp,
	  dbm/tests/testmingraph.c, dbm/tests/testvaluation.cpp,
	  dbm/tests/xdbm.c, dbm/tests/xfed.c, debug/c_allocator.c,
	  debug/new.cpp, debug/tests/testnew.cpp, debug/tests/testutils.c,
	  debug/utils.cpp, games/SState.cpp, games/State.cpp,
	  games/WinBadStack.cpp, games/tests/backward.cpp,
	  games/tests/examples/autom_print.c,
	  games/tests/examples/autom_prod.c,
	  games/tests/examples/prodcell.c, games/tests/findA.cpp,
	  games/tests/forward.cpp, games/tests/jobshop-def.h,
	  games/tests/jobshop.cpp, games/tests/simulator.cpp,
	  games/tests/timed_games.cpp, games/tests/timed_games.h,
	  games/tests/verifytga.cpp, hash/H3HashFunction.cpp,
	  hash/compute.c, hash/tables.cpp, hash/tests/benchmark.cpp,
	  hash/tests/h3scale.cpp, hash/tests/testcompute.c,
	  hash/tests/testitemtables.cpp, hash/tests/teststreamhasher.cpp,
	  hash/tests/testtables.cpp, hash/tests/testtinytable.cpp,
	  include/base/DataAllocator.h, include/base/Enumerator.h,
	  include/base/FatalException.h, include/base/ItemAllocator.h,
	  include/base/MZRan13.h, include/base/Object.h,
	  include/base/PriorityQueue.h, include/base/SimpleQueue.h,
	  include/base/Timer.h, include/base/array_t.h,
	  include/base/bitptr.h, include/base/bitstring.h,
	  include/base/intutils.h, include/base/linkable.h,
	  include/base/pointer.h, include/base/stats.h,
	  include/base/xorptr.h, include/cdd/cdd.h, include/cdd/kernel.h,
	  include/dbm/Federation.h, include/dbm/Valuation.h,
	  include/dbm/constraints.h, include/dbm/dbm.h,
	  include/dbm/dbmfederation.h, include/dbm/fed.h,
	  include/dbm/gen.h, include/dbm/inline_fed.h,
	  include/dbm/mingraph.h, include/dbm/partition.h,
	  include/dbm/pfed.h, include/dbm/priced.h, include/debug/macros.h,
	  include/debug/utils.h, include/frontend/FrontendService.h,
	  include/frontend/FrontendServiceProvider.h,
	  include/frontend/IDManager.h, include/games/SState.h,
	  include/games/State.h, include/games/WinBadStack.h,
	  include/hash/H3HashFunction.h, include/hash/StreamHasher.h,
	  include/hash/TinyTable.h, include/hash/itemtables.h,
	  include/hash/tables.h, include/io/FileStreamBuffer.h,
	  include/io/IOQueue.h, include/model/Automaton.h,
	  include/model/Edge.h, include/model/Location.h,
	  include/model/debug.h, include/pipeline/components.h,
	  include/pipeline/compounds.h, include/satsolver/AbstractSolver.h,
	  include/satsolver/SATSolver.h, include/service/AbstractService.h,
	  include/service/FileConfiguration.h,
	  include/service/FileRepository.h, include/service/IDGenerator.h,
	  include/service/MutexService.h, include/service/PipeService.h,
	  include/service/SOAPService.h, include/service/Service.h,
	  include/service/ServiceProvider.h, include/service/TCPService.h,
	  include/service/UserFileRepository.h,
	  include/service/environment.h, include/service/exceptions.h,
	  include/storage/DiscreteStorage.h, include/storage/TreeWriter.h,
	  include/storage/ZoneStorage.h, include/system/ChannelInfo.h,
	  include/system/ClockInfo.h, include/system/ClockValuation.h,
	  include/system/Edge.h, include/system/HashTable.h,
	  include/system/Location.h, include/system/LocationInfo.h,
	  include/system/Process.h, include/system/StateDecorator.h,
	  include/system/SymbolicState.h, include/system/System.h,
	  include/system/VariableInfo.h, include/system/VariableVector.h,
	  include/system/tctlexpr.h, include/utap/builder.h,
	  include/utap/expression.h, include/utap/expressionbuilder.h,
	  include/utap/iointerface.h, include/utap/position.h,
	  include/utap/prettyprinter.h, include/utap/statement.h,
	  include/utap/system.h, include/utap/type.h,
	  include/verifier/Compiler.h, include/verifier/Path.h,
	  include/verifier/SortingFilter.h, include/verifier/StateOrder.h,
	  include/verifier/StateSet.h, include/verifier/Symbol.h,
	  include/verifier/SymmetryFilter.h,
	  include/verifier/TransitionFilter.h,
	  include/verifier/VariableTable.h, include/verifier/deadlock.h,
	  include/verifier/expression_analyser.h,
	  include/verifier/filterconfiguration.h,
	  include/verifier/modelchecker.h, include/verifier/program.h,
	  io/tests/testioqueue.cpp, model/Location.cpp, model/debug.cpp,
	  model/tests/testlocation.cpp, pipeline/compounds.cpp,
	  satcompiler/tests/compiler.cpp, satsolver/AbstractSolver.cpp,
	  satsolver/SATSolver.cpp, socketserver/tests/socketserver.c,
	  storage/AbstractZoneStorage.cpp, storage/CompressIntStorage.cpp,
	  storage/CompressIntStorage.h, storage/CopyIntStorage.cpp,
	  storage/CopyIntStorage.h, storage/DBMStorage.cpp,
	  storage/DBMStorage.h, storage/DiscreteStorage.cpp,
	  storage/MinDBMStorage.cpp, storage/SimpleDBMStorage.cpp,
	  storage/SimpleDBMStorage.h, storage/ZoneStorage.cpp,
	  storage/intcompression.cpp, storage/intcompression.h,
	  storage/tests/testdiscretestorage.cpp,
	  storage/tests/testzonestorage.cpp, system/ChannelInfo.cpp,
	  system/ClockInfo.cpp, system/Edge.cpp, system/EdgeArray.cpp,
	  system/HashTable.cpp, system/Location.cpp,
	  system/LocationInfo.cpp, system/Process.cpp,
	  system/StateDecorator.cpp, system/SymbolicState.cpp,
	  system/System.cpp, system/VariableInfo.cpp,
	  system/VariableVector.cpp, system/expressions.cpp,
	  system/tctlexpr.cpp, tiga/PartitionCDD.cpp, tiga/TigaFilter.cpp,
	  tiga/TigaModelChecker.cpp, tiga/TigaPropertyBuilder.cpp,
	  tiga/backward_filter.cpp, tiga/tests/server.cpp,
	  tiga/tests/verifytga.cpp, tracer/tests/tracer.cpp,
	  utap/expression.cpp, utap/expressionbuilder.cpp,
	  utap/iointerface.cpp, utap/libparser.h, utap/position.cpp,
	  utap/prettyprinter.cpp, utap/statement.cpp, utap/symbols.cpp,
	  utap/system.cpp, utap/systembuilder.cpp, utap/tests/check.cpp,
	  utap/tests/ioiface.cpp, utap/tests/pretty.cpp, utap/type.cpp,
	  utap/typechecker.cpp, utap/xmlreader.cpp,
	  verifier/ActiveClockReductionFilter.cpp, verifier/ArrayStorage.h,
	  verifier/Compiler.cpp, verifier/DelayFilter.cpp,
	  verifier/Extrapolation.cpp, verifier/PassedList.cpp,
	  verifier/PassedWaitingList.cpp, verifier/Path.cpp,
	  verifier/PriorityFilter.cpp, verifier/PriorityFilter3.cpp,
	  verifier/ProgressValue.cpp, verifier/SortingFilter.cpp,
	  verifier/StateSet.cpp, verifier/Statistics.cpp,
	  verifier/SuccessorFilter.cpp, verifier/SweepLinePWList.cpp,
	  verifier/Symbol.cpp, verifier/SymmetryFilter.cpp,
	  verifier/TransitionFilter.cpp, verifier/VariableTable.cpp,
	  verifier/deadlock.cpp, verifier/expression_analyser.cpp,
	  verifier/filter.cpp, verifier/filterconfiguration.cpp,
	  verifier/leadsto.cpp, verifier/liveness.cpp,
	  verifier/modelchecker.cpp, verifier/program.cpp,
	  verifier/property.cpp, verifier/reachability.cpp,
	  verifier/sfilter.cpp, verifier/supertrace.cpp,
	  verifier/supertrace.h, verifier/tests/server.cpp,
	  verifier/tests/verifyta.cpp, verifier/trace.cpp: Replaced
	  tabulations by 8 spaces.

2006-06-17 07:32  marius

	* [r2184] utap/tests/ioiface.cpp: fixed getopt compilation problems
	  on windows

2006-06-12 13:09  behrmann

	* [r2089] include/system/tctlexpr.h, include/verifier/deadlock.h,
	  system/tctlexpr.cpp, utap/keywords.gperf, utap/lexer.l,
	  utap/libparser.h, verifier/deadlock.cpp: Made TIGA keywords
	  conditional so that they only have effect with
	  ENABLE_GAMES.
	  
	  Removed print() and atomic() from TCTLExpression.

2006-06-12 12:38  fleury

	* [r2088] utap/parser.y: Finally got "control:" out of Expression
	  (thanks to Gerd)

2006-06-10 14:30  fleury

	* [r2074] utap/keywords.gperf, utap/parser.y,
	  utap/prettyprinter.cpp, utap/typechecker.cpp: - Fixed a mis-use
	  of property() for T_CONTROL (my fault)
	  - Released a bit the nesting detector for control formula
	  - Performed a non-regression test (ok)
	  - Removed the comments in keywords.gperf
	  - Adding some pretty printing for CONTROL and A_UNTIL

2006-06-09 11:02  behrmann

	* [r2050] utap/expression.cpp, utap/typechecker.cpp: Fixed
	  assertion failure in UTAP.

2006-06-08 15:10  fleury

	* [r2040] include/verifier/property.h, tiga/property.cpp,
	  utap/parser.y: Committing to synchronize with Alexander.

2006-06-08 14:24  fleury

	* [r2037] include/utap/common.h, utap/expression.cpp,
	  utap/parser.y, utap/typechecker.cpp: Changed UNTIL into A_UNTIL
	  (A[p U q]). This is more flexible
	  and will allow recognition of E_UNTIL (E[p U q]).
	  
	  Later on, we might need a WEAKUNTIL token
	  (destined to be A_WEAKUNTIL and E_WEAKUNTIL).

2006-06-08 12:54  fleury

	* [r2032] include/utap/common.h, utap/parser.y: Fixing some
	  inconsistencies in my way of using #ifdef...

2006-06-08 12:39  marius

	* [r2030] utap/expression.cpp, utap/parser.y, utap/typechecker.cpp:
	  commented out the CONTROL keyword (from TIGA), to be able to
	  compile without ENABLE_GAMES

2006-06-08 07:07  fleury

	* [r2020] include/utap/common.h: Committing common.h (I forgot to
	  include it last time).

2006-06-08 06:56  fleury

	* [r2019] utap/expression.cpp, utap/keywords.gperf, utap/parser.y,
	  utap/typechecker.cpp: Adding the keyword 'control' to UTAP.

2006-06-07 14:06  behrmann

	* [r2006] include/utap/abstractbuilder.h, include/utap/builder.h,
	  include/utap/common.h, include/utap/type.h,
	  include/verifier/property.h, utap/abstractbuilder.cpp,
	  utap/expression.cpp, utap/keywords.gperf, utap/parser.y,
	  utap/type.cpp, utap/typechecker.cpp, verifier/property.cpp: Added
	  full CTL parsing.

2006-06-03 17:16  adavid

	* [r1976] games/tests/makefile.def, tiga/tests/makefile.def,
	  tron/tests/makefile.def, utap/tests/makefile.def: var := to var
	  +=

2006-06-02 20:22  adavid

	* [r1970] ., include/storage/ColoredStateSet.h,
	  include/tiga/filters.h, model/debug.cpp,
	  storage/ColoredStateSet.cpp, tiga/filters.cpp,
	  tiga/timed_games.cpp, utap, verifier/tests: Added copyright
	  header, work-in-progress for
	  ColoredStateSet, fixes for tiga.

2006-06-02 19:42  adavid

	* [r1968] utap/xmlreader.cpp: Removed #ifdef ENABLE_GAMES since the
	  addition was non-intrusive.

2006-06-01 17:31  behrmann

	* [r1937] utap/system.cpp: Changed ENABLE_PRICED to ENABLE_CORA.

2006-06-01 15:57  behrmann

	* [r1932] utap/expression.cpp, utap/expressionbuilder.cpp,
	  utap/iointerface.cpp, utap/lexer.l, utap/libparser.h,
	  utap/parser.y, utap/position.cpp, utap/prettyprinter.cpp,
	  utap/statement.cpp, utap/symbols.cpp, utap/system.cpp,
	  utap/systembuilder.cpp, utap/type.cpp, utap/typechecker.cpp,
	  utap/xmlreader.cpp: Changed tab to space.

2006-06-01 15:55  behrmann

	* [r1931] include/utap/abstractbuilder.h, include/utap/builder.h,
	  include/utap/common.h, include/utap/expression.h,
	  include/utap/expressionbuilder.h, include/utap/iointerface.h,
	  include/utap/position.h, include/utap/prettyprinter.h,
	  include/utap/statement.h, include/utap/symbols.h,
	  include/utap/system.h, include/utap/systembuilder.h,
	  include/utap/type.h, include/utap/typechecker.h: Converted tab to
	  space.

2006-06-01 15:47  behrmann

	* [r1930] base/DataAllocator.cpp, base/Enumerator.cpp,
	  base/FatalException.cpp, base/PriorityQueue.cpp,
	  base/SimpleQueue.cpp, base/Timer.cpp, base/bitstring.c,
	  base/c_allocator.c, base/intutils.c, base/platform.c,
	  base/property.cpp, base/stats.cpp, base/tests/testallocator.cpp,
	  base/tests/testarray.cpp, base/tests/testbitptr.cpp,
	  base/tests/testbitstring.c, base/tests/testcppbitstring.cpp,
	  base/tests/testcrashallocator.cpp, base/tests/testintutils.c,
	  base/tests/testitemallocator.cpp, base/tests/testobject.cpp,
	  base/tests/testtimer.cpp, cdd/bellmanford.c, cdd/bellmanford.h,
	  cdd/cache.c, cdd/cddop.c, cdd/cppext.cpp, cdd/kernel.c,
	  cdd/print.c, cdd/relax.c, cdd/tarjan.c, cdd/tarjan.h,
	  cdd/tests/testbf.cpp, cdd/tests/testcdd.cpp,
	  cora/PricedActiveClockReductionFilter.cpp,
	  cora/PricedDelayFilter.cpp, dbm/DBMAllocator.cpp,
	  dbm/DBMAllocator.h, dbm/Federation.cpp, dbm/dbm.c, dbm/dbm.h,
	  dbm/dbmfederation.c, dbm/fed.cpp, dbm/fed_dbm.cpp, dbm/gen.c,
	  dbm/infimum.cpp, dbm/infimum.h, dbm/mingraph.c,
	  dbm/mingraph_cache.cpp, dbm/mingraph_cache.h,
	  dbm/mingraph_coding.h, dbm/mingraph_equal.c, dbm/mingraph_read.c,
	  dbm/mingraph_relation.c, dbm/mingraph_write.c, dbm/partition.cpp,
	  dbm/pfed.cpp, dbm/priced.cpp, dbm/print.cpp, dbm/ruby/udbm.cpp,
	  dbm/swig/wrapper.cpp, dbm/swig/wrapper.h, dbm/tests/testdbm.c,
	  dbm/tests/testdbmfederation.c, dbm/tests/testext.c,
	  dbm/tests/testextrapolation.c, dbm/tests/testfed.cpp,
	  dbm/tests/testfeddbm.cpp, dbm/tests/testinfimum.cpp,
	  dbm/tests/testmingraph.c, dbm/tests/testvaluation.cpp,
	  debug/c_allocator.c, debug/new.cpp, debug/tests/testnew.cpp,
	  debug/tests/testutils.c, debug/utils.cpp, games/SState.cpp,
	  games/State.cpp, games/WinBadStack.cpp, games/tests/compiler.cpp,
	  games/tests/compiler.h, games/tests/findA.cpp,
	  games/tests/timed_games.cpp, games/tests/timed_games.h,
	  games/tests/verifytga.cpp, hash/H3HashFunction.cpp,
	  hash/compute.c, hash/tables.cpp, hash/tests/testcompute.c,
	  hash/tests/testitemtables.cpp, hash/tests/teststreamhasher.cpp,
	  hash/tests/testtables.cpp, hash/tests/testtinytable.cpp,
	  include/base/DataAllocator.h, include/base/Enumerator.h,
	  include/base/FatalException.h, include/base/ItemAllocator.h,
	  include/base/MZRan13.h, include/base/Object.h,
	  include/base/PriorityQueue.h, include/base/SimpleQueue.h,
	  include/base/Timer.h, include/base/array.h,
	  include/base/bitptr.h, include/base/bitstring.h,
	  include/base/c_allocator.h, include/base/doubles.h,
	  include/base/inttypes.h, include/base/intutils.h,
	  include/base/linkable.h, include/base/platform.h,
	  include/base/pointer.h, include/base/property.h,
	  include/base/relation.h, include/base/slist.h,
	  include/base/speedkind.h, include/base/stats.h,
	  include/base/xorptr.h, include/cdd/cdd.h, include/cdd/debug.h,
	  include/cdd/kernel.h,
	  include/cora/PricedActiveClockReductionFilter.h,
	  include/cora/PricedDelayFilter.h, include/dbm/Federation.h,
	  include/dbm/Valuation.h, include/dbm/constraints.h,
	  include/dbm/dbm.h, include/dbm/dbmfederation.h,
	  include/dbm/fed.h, include/dbm/gen.h, include/dbm/inline_fed.h,
	  include/dbm/mingraph.h, include/dbm/partition.h,
	  include/dbm/pfed.h, include/dbm/priced.h, include/dbm/print.h,
	  include/debug/c_allocator.h, include/debug/macros.h,
	  include/debug/malloc.h, include/debug/monitor.h,
	  include/debug/new.h, include/debug/utils.h,
	  include/frontend/FrontendService.h,
	  include/frontend/FrontendServiceProvider.h,
	  include/frontend/IDManager.h, include/games/SState.h,
	  include/games/State.h, include/games/WinBadStack.h,
	  include/hash/H3HashFunction.h, include/hash/StreamHasher.h,
	  include/hash/TinyTable.h, include/hash/compute.h,
	  include/hash/itemtables.h, include/hash/tables.h,
	  include/io/FileStreamBuffer.h, include/io/IOQueue.h,
	  include/model/Automaton.h, include/model/Edge.h,
	  include/model/Location.h, include/model/debug.h,
	  include/pipeline/ThroughputMeter.h,
	  include/pipeline/components.h, include/pipeline/compounds.h,
	  include/satsolver/AbstractSolver.h,
	  include/satsolver/SATSolver.h, include/service/AbstractService.h,
	  include/service/FileConfiguration.h,
	  include/service/FileRepository.h, include/service/IDGenerator.h,
	  include/service/MutexService.h, include/service/PipeService.h,
	  include/service/SOAPService.h, include/service/Service.h,
	  include/service/ServiceProvider.h, include/service/TCPService.h,
	  include/service/UserFileRepository.h,
	  include/service/environment.h, include/service/exceptions.h,
	  include/service/types.h, include/storage/ColoredStateSet.h,
	  include/storage/DiscreteStorage.h, include/storage/TreeWriter.h,
	  include/storage/ZoneStorage.h, include/storage/key.h,
	  include/system/ChannelInfo.h, include/system/ClockInfo.h,
	  include/system/ClockValuation.h, include/system/Edge.h,
	  include/system/EdgeArray.h, include/system/HashTable.h,
	  include/system/Location.h, include/system/LocationInfo.h,
	  include/system/Process.h, include/system/StateDecorator.h,
	  include/system/SymbolicState.h, include/system/System.h,
	  include/system/VariableInfo.h, include/system/VariableVector.h,
	  include/system/Zone.h, include/system/cost.h,
	  include/system/error.h, include/system/expressions.h,
	  include/system/interface.h, include/system/priced.h,
	  include/system/public.h, include/system/tctlexpr.h,
	  include/system/visitors.h, include/tron/ChoiceFilter.h,
	  include/tron/SampleAdapter.h, include/tron/SocketAdapter.h,
	  include/tron/TraceAdapter.h, include/tron/TronCodec.h,
	  include/tron/action.h, include/tron/adapter.h,
	  include/tron/after.h, include/tron/choice.h,
	  include/tron/closure.h, include/tron/driver.h,
	  include/tron/filters.h, include/tron/interface.h,
	  include/tron/properties.h, include/tron/rwlock.h,
	  include/tron/simclock.h, include/tron/sockets.h,
	  include/tron/timeutil.h, include/tron/timing.h,
	  include/tron/tron.h, include/utap/abstractbuilder.h,
	  include/utap/builder.h, include/utap/common.h,
	  include/utap/expression.h, include/utap/expressionbuilder.h,
	  include/utap/iointerface.h, include/utap/position.h,
	  include/utap/prettyprinter.h, include/utap/statement.h,
	  include/utap/symbols.h, include/utap/system.h,
	  include/utap/systembuilder.h, include/utap/type.h,
	  include/utap/typechecker.h, include/utap/utap.h,
	  include/verifier/ActiveClockReductionFilter.h,
	  include/verifier/Compiler.h, include/verifier/DelayFilter.h,
	  include/verifier/Extrapolation.h, include/verifier/PassedList.h,
	  include/verifier/PassedWaitingList.h, include/verifier/Path.h,
	  include/verifier/PriorityFilter.h,
	  include/verifier/PriorityFilter2.h,
	  include/verifier/SortingFilter.h, include/verifier/StateOrder.h,
	  include/verifier/Statistics.h,
	  include/verifier/SuccessorFilter.h, include/verifier/Symbol.h,
	  include/verifier/SymmetryFilter.h,
	  include/verifier/TransitionFilter.h,
	  include/verifier/VariableTable.h, include/verifier/deadlock.h,
	  include/verifier/expression_analyser.h,
	  include/verifier/filterconfiguration.h,
	  include/verifier/leadsto.h, include/verifier/liveness.h,
	  include/verifier/modelchecker.h, include/verifier/program.h,
	  include/verifier/properties.h, include/verifier/property.h,
	  include/verifier/reachability.h, include/verifier/sfilter.h,
	  include/verifier/tiga_filter.h, include/verifier/trace.h,
	  io/tests/testioqueue.cpp, model/Location.cpp, model/debug.cpp,
	  model/tests/testlocation.cpp, pipeline/compounds.cpp,
	  pipeline/tests/testthroughput.cpp,
	  satcompiler/tests/compiler.cpp, satsolver/AbstractSolver.cpp,
	  satsolver/SATSolver.cpp, socketserver/tests/socketserver.c,
	  storage/AbstractZoneStorage.cpp, storage/AbstractZoneStorage.h,
	  storage/CompressIntStorage.cpp, storage/CompressIntStorage.h,
	  storage/CopyIntStorage.cpp, storage/CopyIntStorage.h,
	  storage/DBMStorage.cpp, storage/DBMStorage.h,
	  storage/DiscreteStorage.cpp, storage/MinDBMStorage.cpp,
	  storage/MinDBMStorage.h, storage/SimpleDBMStorage.cpp,
	  storage/SimpleDBMStorage.h, storage/ZoneStorage.cpp,
	  storage/defs.h, storage/intcompression.c,
	  storage/intcompression.h, storage/tests/testdiscretestorage.cpp,
	  storage/tests/testzonestorage.cpp, system/ChannelInfo.cpp,
	  system/ClockInfo.cpp, system/Edge.cpp, system/EdgeArray.cpp,
	  system/HashTable.cpp, system/Location.cpp,
	  system/LocationInfo.cpp, system/Process.cpp,
	  system/StateDecorator.cpp, system/SymbolicState.cpp,
	  system/System.cpp, system/VariableInfo.cpp,
	  system/VariableVector.cpp, system/error.cpp,
	  system/expressions.cpp, system/priced.cpp, system/tctlexpr.cpp,
	  system/visitors.cpp, tracer/tests/tracer.cpp,
	  tron/ChoiceFilter.cpp, tron/SampleAdapter.cpp,
	  tron/SocketAdapter.cpp, tron/TraceAdapter.cpp, tron/action.cpp,
	  tron/adapter.cpp, tron/after.cpp, tron/closure.cpp,
	  tron/driver.cpp, tron/driver.h, tron/filters.cpp,
	  tron/interface.cpp, tron/simclock.cpp, tron/simclock3.cpp,
	  tron/simclock3.h, tron/sockets.cpp, tron/tests/ClockClient.cpp,
	  tron/tests/ClockServer.cpp, tron/tests/SocketTraceAdapter.cpp,
	  tron/tests/examples/button/button.cpp,
	  tron/tests/examples/button/button.h,
	  tron/tests/examples/button/mouse.cpp,
	  tron/tests/examples/button/mouse.h,
	  tron/tests/examples/danfoss/EKC.cpp,
	  tron/tests/examples/danfoss/EKC.h,
	  tron/tests/examples/include/console.h,
	  tron/tests/examples/include/dialog.h,
	  tron/tests/examples/include/sampleadapter.h,
	  tron/tests/examples/include/troncodec.h,
	  tron/tests/examples/latency/pingpong.cpp,
	  tron/tests/examples/latency/pingpong.h,
	  tron/tests/examples/latency/test_ticking.cpp,
	  tron/tests/examples/latency/ticking.cpp,
	  tron/tests/examples/latency/ticking.h,
	  tron/tests/examples/shared/console.cpp,
	  tron/tests/examples/shared/dialog.cpp,
	  tron/tests/examples/shared/sampleadapter.cpp,
	  tron/tests/examples/smart-lamp/lightcontrol.cpp,
	  tron/tests/examples/smart-lamp/lightcontrol.h,
	  tron/tests/examples/tracer/trace_adapter.cpp,
	  tron/tests/examples/tracer/trace_adapter.h,
	  tron/tests/examples/train-gate/timedgate.cpp,
	  tron/tests/examples/train-gate/timedgate.h, tron/tests/tron.cpp,
	  tron/timing.cpp, tron/timingsim.cpp, tron/timingsim.h,
	  tron/timingsocket.cpp, utap/abstractbuilder.cpp,
	  utap/expression.cpp, utap/expressionbuilder.cpp,
	  utap/iointerface.cpp, utap/libparser.h, utap/position.cpp,
	  utap/prettyprinter.cpp, utap/statement.cpp, utap/symbols.cpp,
	  utap/system.cpp, utap/systembuilder.cpp, utap/tests/check.cpp,
	  utap/tests/ioiface.cpp, utap/tests/pretty.cpp, utap/type.cpp,
	  utap/typechecker.cpp, utap/typeexception.cpp, utap/xmlreader.cpp,
	  verifier/ActiveClockReductionFilter.cpp, verifier/ArrayStorage.h,
	  verifier/Compiler.cpp, verifier/DelayFilter.cpp,
	  verifier/Extrapolation.cpp, verifier/PassedList.cpp,
	  verifier/PassedWaitingList.cpp, verifier/Path.cpp,
	  verifier/PriorityFilter.cpp, verifier/PriorityFilter2.cpp,
	  verifier/ProgressValue.cpp, verifier/ProgressValue.h,
	  verifier/SortingFilter.cpp, verifier/StateSet.cpp,
	  verifier/StateSet.h, verifier/Statistics.cpp,
	  verifier/SuccessorFilter.cpp, verifier/SweepLinePWList.cpp,
	  verifier/SweepLinePWList.h, verifier/Symbol.cpp,
	  verifier/SymmetryFilter.cpp, verifier/TransitionFilter.cpp,
	  verifier/VariableTable.cpp, verifier/deadlock.cpp,
	  verifier/expression_analyser.cpp, verifier/filter.cpp,
	  verifier/filter.h, verifier/filterconfiguration.cpp,
	  verifier/leadsto.cpp, verifier/liveness.cpp,
	  verifier/modelchecker.cpp, verifier/program.cpp,
	  verifier/property.cpp, verifier/reachability.cpp,
	  verifier/sfilter.cpp, verifier/supertrace.cpp,
	  verifier/tests/server.cpp, verifier/tests/verifyta.cpp,
	  verifier/trace.cpp: Changed first line off all files to force
	  emacs to save with space
	  characters rather than tabs.

2006-05-11 18:38  fleury

	* [r1805] include/utap/position.h: Fixed a compilation problem on
	  g++-4.1
	  
	  /Uppaal/trunk/server/modules/games/tests/../.././include/utap/position.h:83:
	  error: extra qualification 'UTAP::Positions::' on member 'find'
	  
	  See: http://womble.decadentplace.org.uk/c++/syntax-errors.html
	  
	  Compile nicely with g++-4.1.

2006-05-10 18:41  behrmann

	* [r1800] utap/xmlreader.cpp: Fixes bug 322.

2006-05-08 15:34  adavid

	* [r1786] branches/air-prototype/GUI/dist/.cvsignore,
	  branches/air-prototype/GUI/src/com/uppaal/gui/.cvsignore,
	  branches/air-prototype/GUI/src/com/uppaal/gui/verifier/.cvsignore,
	  branches/air-prototype/GUI/src/com/uppaal/model/io/.cvsignore,
	  branches/air-prototype/server/.cvsignore,
	  branches/air-prototype/server/compilers/cl/.cvsignore,
	  branches/air-prototype/server/compilers/g++/.cvsignore,
	  branches/air-prototype/server/compilers/icc/.cvsignore,
	  branches/air-prototype/server/documentation/.cvsignore,
	  branches/air-prototype/server/modules/.cvsignore,
	  branches/air-prototype/server/modules/games/tests/examples/.cvsignore,
	  branches/air-prototype/server/tests/validation/.cvsignore,
	  branches/tk/GUI/dist/.cvsignore,
	  branches/tk/GUI/src/com/uppaal/gui/.cvsignore,
	  branches/tk/GUI/src/com/uppaal/gui/verifier/.cvsignore,
	  branches/tk/GUI/src/com/uppaal/model/io/.cvsignore,
	  branches/tk/server/.cvsignore,
	  branches/tk/server/compilers/cl/.cvsignore,
	  branches/tk/server/compilers/g++/.cvsignore,
	  branches/tk/server/compilers/icc/.cvsignore,
	  branches/tk/server/documentation/.cvsignore,
	  branches/tk/server/modules/.cvsignore,
	  branches/tk/server/modules/base/.cvsignore,
	  branches/tk/server/modules/base/tests/.cvsignore,
	  branches/tk/server/modules/cdd/.cvsignore,
	  branches/tk/server/modules/cdd/tests/.cvsignore,
	  branches/tk/server/modules/dbm/.cvsignore,
	  branches/tk/server/modules/dbm/ruby/.cvsignore,
	  branches/tk/server/modules/dbm/tests/.cvsignore,
	  branches/tk/server/modules/debug/.cvsignore,
	  branches/tk/server/modules/debug/tests/.cvsignore,
	  branches/tk/server/modules/games/.cvsignore,
	  branches/tk/server/modules/games/tests/.cvsignore,
	  branches/tk/server/modules/games/tests/examples/.cvsignore,
	  branches/tk/server/modules/games/tests/tacas06/.cvsignore,
	  branches/tk/server/modules/hash/.cvsignore,
	  branches/tk/server/modules/hash/tests/.cvsignore,
	  branches/tk/server/modules/include/.cvsignore,
	  branches/tk/server/modules/io/.cvsignore,
	  branches/tk/server/modules/io/tests/.cvsignore,
	  branches/tk/server/modules/model/.cvsignore,
	  branches/tk/server/modules/model/tests/.cvsignore,
	  branches/tk/server/modules/old-verifyta/.cvsignore,
	  branches/tk/server/modules/old-verifyta/tests/.cvsignore,
	  branches/tk/server/modules/pipeline/.cvsignore,
	  branches/tk/server/modules/pipeline/tests/.cvsignore,
	  branches/tk/server/modules/pwlist/.cvsignore,
	  branches/tk/server/modules/pwlist/tests/.cvsignore,
	  branches/tk/server/modules/state/.cvsignore,
	  branches/tk/server/modules/state/tests/.cvsignore,
	  branches/tk/server/modules/storage/.cvsignore,
	  branches/tk/server/modules/storage/tests/.cvsignore,
	  branches/tk/server/modules/utap/.cvsignore,
	  branches/tk/server/modules/utap/tests/.cvsignore,
	  branches/tk/server/tests/validation/.cvsignore,
	  tags/Root_air-prototype/GUI/dist/.cvsignore,
	  tags/Root_air-prototype/GUI/src/com/uppaal/gui/.cvsignore,
	  tags/Root_air-prototype/GUI/src/com/uppaal/gui/verifier/.cvsignore,
	  tags/Root_air-prototype/GUI/src/com/uppaal/model/io/.cvsignore,
	  tags/Root_air-prototype/server/.cvsignore,
	  tags/Root_air-prototype/server/compilers/cl/.cvsignore,
	  tags/Root_air-prototype/server/compilers/g++/.cvsignore,
	  tags/Root_air-prototype/server/compilers/icc/.cvsignore,
	  tags/Root_air-prototype/server/documentation/.cvsignore,
	  tags/Root_air-prototype/server/modules/.cvsignore,
	  tags/Root_air-prototype/server/modules/games/tests/examples/.cvsignore,
	  tags/Root_air-prototype/server/tests/validation/.cvsignore,
	  trunk/GUI/dist/.cvsignore,
	  trunk/GUI/src/com/uppaal/gui/.cvsignore,
	  trunk/GUI/src/com/uppaal/gui/verifier/.cvsignore,
	  trunk/GUI/src/com/uppaal/model/io/.cvsignore,
	  trunk/server/.cvsignore, trunk/server/compilers/g++/.cvsignore,
	  trunk/server/compilers/icc/.cvsignore,
	  trunk/server/documentation/.cvsignore, .cvsignore,
	  base/.cvsignore, base/tests/.cvsignore, cdd/.cvsignore,
	  cdd/tests/.cvsignore, dbm/.cvsignore, dbm/ruby/.cvsignore,
	  debug/.cvsignore, debug/tests/.cvsignore, games/.cvsignore,
	  games/tests/examples/.cvsignore, games/tests/tacas06/.cvsignore,
	  hash/.cvsignore, hash/tests/.cvsignore, include/.cvsignore,
	  io/.cvsignore, io/tests/.cvsignore, model/.cvsignore,
	  model/tests/.cvsignore, old-verifyta/.cvsignore,
	  old-verifyta/tests/.cvsignore, pipeline/.cvsignore,
	  pipeline/tests/.cvsignore, pwlist/.cvsignore,
	  pwlist/tests/.cvsignore, state/.cvsignore,
	  state/tests/.cvsignore, storage/.cvsignore,
	  storage/tests/.cvsignore, utap/.cvsignore, utap/tests/.cvsignore,
	  trunk/server/tests/validation/.cvsignore: Remove seemingly
	  useless files :).

2006-04-29 17:56  behrmann

	* [r1765] tracer, tracer/tests, tracer/tests/lib.dep,
	  tracer/tests/tracer.cpp, utap/tests/tracer.old: Added new tracer
	  utility. No longer depends on UTAP. Uses the new UPPAAL
	  intermediate format. In constrast to the old tracer utility, this
	  should
	  work with any UPPAAL model.

2006-04-24 11:37  behrmann

	* [r1739] include/utap/system.h, utap/system.cpp: Added
	  TimedAutomataSystem::clearErros() method.

2006-03-23 14:13  behrmann

	* [r1692] include/utap/expression.h, utap/expression.cpp: Fixed
	  compilation on Mac OS

2006-03-20 09:48  behrmann

	* [r1675] utap/keywords.gperf: Made int and scalar valid keywords
	  in the query language.

2006-03-19 14:25  behrmann

	* [r1670] utap/expressionbuilder.cpp, utap/systembuilder.cpp:
	  Disallowed initialiser on arrays indexed by scalar set.

2006-03-17 08:44  behrmann

	* [r1660] include/utap/abstractbuilder.h, include/utap/builder.h,
	  include/utap/systembuilder.h, utap/abstractbuilder.cpp,
	  utap/parser.y, utap/systembuilder.cpp: Fixed problem with
	  ordering on array declarations.

2006-03-16 10:38  behrmann

	* [r1657] include/utap/systembuilder.h, utap/systembuilder.cpp:
	  Added type checking for bug 279. Resolves the bug.

2006-03-16 10:11  behrmann

	* [r1656] utap/parser.y: Towards bug 279 (in fact, arrays can now
	  be defined over both
	  scalar types and integer types). Still needs some work on the
	  type
	  checker to disallow arrays over other types.

2006-03-16 08:53  behrmann

	* [r1655] include/utap/abstractbuilder.h, include/utap/builder.h,
	  include/utap/prettyprinter.h, include/utap/systembuilder.h,
	  utap/abstractbuilder.cpp, utap/parser.y, utap/prettyprinter.cpp,
	  utap/systembuilder.cpp: Arrays are now parsed by calling
	  typeArrayOfSize() rather than
	  providing the dimension as a parameter to declVar() and similar
	  methods. Towards a fix for bug 279.

2006-03-15 19:37  behrmann

	* [r1650] include/utap/typechecker.h, utap/typechecker.cpp: Fixes
	  bug 294.

2006-03-15 19:36  behrmann

	* [r1649] utap/type.cpp: Added RATE type to list of non-prefix
	  types.

2006-03-15 19:36  behrmann

	* [r1648] include/utap/type.h: Added type_t::isCost().

2006-03-15 19:10  behrmann

	* [r1647] include/utap/abstractbuilder.h, include/utap/builder.h,
	  include/utap/expression.h, include/utap/expressionbuilder.h,
	  include/utap/system.h, include/utap/systembuilder.h,
	  include/utap/typechecker.h, utap/abstractbuilder.cpp,
	  utap/expression.cpp, utap/expressionbuilder.cpp, utap/system.cpp,
	  utap/systembuilder.cpp, utap/tests/tracer.cpp,
	  utap/tests/tracer.old, utap/typechecker.cpp: Fixes bug 292 and
	  293.
	  
	  Removes the interpreter from UTAP. Thus the tracer utility no
	  longer
	  works, but it should be replaced by a new utility using the
	  Uppaal
	  compiler output.
	  
	  Started work on a fix for bug 279.

2006-03-10 11:49  behrmann

	* [r1630] utap/expressionbuilder.cpp, utap/systembuilder.cpp,
	  trunk/server/tests/validation/reftest/bug106.sum,
	  trunk/server/tests/validation/reftest/bug227.sum,
	  trunk/server/tests/validation/reftest/bug229.sum,
	  trunk/server/tests/validation/ta/bug106.xta,
	  trunk/server/tests/validation/ta/bug227.xta,
	  trunk/server/tests/validation/ta/bug229.xml: Fixes bug 288.
	  
	  Changed semantics of array parameters: ambersand is now required
	  to make it a call-by-reference parameter.

2006-03-09 20:13  behrmann

	* [r1628] utap/systembuilder.cpp: Removed unused code.

2006-03-09 16:40  behrmann

	* [r1626] include/utap/system.h, utap/systembuilder.cpp,
	  utap/typechecker.cpp: Added check to make sure that any free
	  process parameters do not
	  influence the size of any arrays declared in a template.

2006-03-08 20:30  behrmann

	* [r1625] include/utap/typechecker.h, version.sh: Incremented
	  version number to Beta1-pre5.
	  
	  (and forgot to check in typechecker.h in prev. rev.)

2006-03-08 20:18  behrmann

	* [r1624] utap/systembuilder.cpp, utap/typechecker.cpp: Added basic
	  type checking of free parameters of processes. Still no
	  check for when symmetry is broken by template instantiations.

2006-03-08 08:52  behrmann

	* [r1620] utap/systembuilder.cpp: Fixed bug that destroyed info
	  about arrays in records.

2006-03-08 08:52  behrmann

	* [r1619] utap/type.cpp: Fixed assertion.

2006-03-08 08:51  behrmann

	* [r1618] utap/expression.cpp: Fixed toString() for DOT
	  expressions.

2006-03-05 20:59  behrmann

	* [r1616] include/utap/abstractbuilder.h, include/utap/builder.h,
	  include/utap/expressionbuilder.h, include/utap/prettyprinter.h,
	  include/utap/system.h, include/utap/systembuilder.h,
	  include/utap/type.h, include/utap/typechecker.h,
	  old-verifyta/Compiler.cpp, old-verifyta/Symbol.cpp,
	  utap/abstractbuilder.cpp, utap/expressionbuilder.cpp,
	  utap/parser.y, utap/prettyprinter.cpp, utap/system.cpp,
	  utap/systembuilder.cpp, utap/typechecker.cpp,
	  trunk/server/tests/validation/reftest/bug116.sum,
	  trunk/server/tests/validation/reftest/bug116.t0,
	  trunk/server/tests/validation/reftest/bug116.yt0,
	  trunk/server/tests/validation/reftest/bug218.sum,
	  trunk/server/tests/validation/reftest/bug218.t0,
	  trunk/server/tests/validation/reftest/bug218.yt0,
	  trunk/server/tests/validation/ta/bug116.q,
	  trunk/server/tests/validation/ta/bug116.xta,
	  trunk/server/tests/validation/ta/bug117.q,
	  trunk/server/tests/validation/ta/bug117.xta,
	  trunk/server/tests/validation/ta/bug218.q,
	  trunk/server/tests/validation/ta/bug218.xta: Removed template set
	  mechanism.
	  
	  Added partial instantiation of templates (bug 278). Type checking
	  is not
	  finished: We still need to check that only parameters with a
	  'nice' type
	  are unbound.
	  
	  Updated test cases.

2006-03-05 20:20  behrmann

	* [r1615] include/utap/symbols.h, utap/symbols.cpp: Removed
	  call-by-reference parameter for increased clarity of code.

2006-03-05 20:19  behrmann

	* [r1614] include/utap/common.h, include/utap/type.h,
	  utap/type.cpp: Added PROCESSSET type (for partial instantiation
	  of templates).

2006-03-05 20:17  behrmann

	* [r1613] utap/expression.cpp: Changed getSymbol() on function call
	  expressions to return the symbol of
	  the function.

2006-03-04 14:30  behrmann

	* [r1610] utap/tests/tracer.cpp: Updated tracer utility for new
	  process representation.

2006-03-04 13:46  behrmann

	* [r1609] include/utap/abstractbuilder.h, include/utap/builder.h,
	  include/utap/systembuilder.h, utap/abstractbuilder.cpp,
	  utap/parser.y, utap/systembuilder.cpp: Changed syntax for partial
	  instantiation such that a type must be
	  given for each parameter.

2006-03-04 12:41  behrmann

	* [r1608] include/old-verifyta/Symbol.h, include/utap/common.h,
	  include/utap/expressionbuilder.h, include/utap/iointerface.h,
	  include/utap/symbols.h, include/utap/system.h,
	  include/utap/type.h, include/utap/typechecker.h,
	  old-system/error.cpp, old-verifyta/Compiler.cpp,
	  old-verifyta/Symbol.cpp, old-verifyta/SymmetryFilter.cpp,
	  old-verifyta/expression_analyser.cpp, old-verifyta/property.cpp,
	  utap/expression.cpp, utap/expressionbuilder.cpp,
	  utap/iointerface.cpp, utap/symbols.cpp, utap/system.cpp,
	  utap/systembuilder.cpp, utap/type.cpp, utap/typechecker.cpp:
	  Changed representation of types in UTAP: A type is represented as
	  a
	  tree. The interface used to navigate this tree is almost
	  identical to
	  that of expression_t. This removes the need for embedding frame_t
	  objects in types, because, e.g., record fields and function
	  parameters
	  can be expressed directly.
	  
	  This change also makes the interpretation of methods like
	  expression_t::collectPossibleReads() more clear.
	  
	  Also changed representation of templates and processes in UTAP: A
	  template is now its own instance, and a process is simply an
	  instance
	  listed in the system line (will make it easier to add partial
	  instantiation of templates).

2006-03-03 17:39  behrmann

	* [r1607] include/utap/abstractbuilder.h, include/utap/builder.h,
	  include/utap/prettyprinter.h, include/utap/systembuilder.h,
	  utap/abstractbuilder.cpp, utap/parser.y, utap/prettyprinter.cpp,
	  utap/systembuilder.cpp: Extended syntax for partial instantiation
	  of templates.

2006-03-03 10:07  behrmann

	* [r1593] utap/expressionbuilder.cpp: Fixes bug 284.

2006-03-02 20:57  john

	* [r1592] utap/system.cpp: Fixed bug in priorities: thanx Alexandre
	  for finding this.

2006-02-28 16:11  behrmann

	* [r1574] utap/typechecker.cpp: Updated
	  TypeChecker::areInlineIfCompatible for structural equivalence.

2006-02-28 15:51  behrmann

	* [r1573] include/utap/symbols.h, include/utap/typechecker.h,
	  utap/expressionbuilder.cpp, utap/symbols.cpp,
	  utap/typechecker.cpp: Fixed bug in type_t::getSub() (TYPENAME was
	  propagated).
	  
	  Fixed structural equivalence check for == and != operators.
	  
	  Added substitution of process arguments in type of dot
	  expressions
	  (needed for the structural equivalence check).

2006-02-28 12:56  behrmann

	* [r1570] utap/systembuilder.cpp: Fixed crash bug when too few
	  arguments are given during template
	  instantiation.

2006-02-27 13:23  john

	* [r1566] include/old-system/ChannelInfo.h,
	  include/old-verifyta/Compiler.h, include/utap/abstractbuilder.h,
	  include/utap/builder.h, include/utap/system.h,
	  include/utap/systembuilder.h, include/utap/typechecker.h,
	  old-verifyta/Compiler.cpp, utap/abstractbuilder.cpp,
	  utap/parser.y, utap/system.cpp, utap/systembuilder.cpp,
	  utap/typechecker.cpp: - Changed the syntax of ChanElement to be a
	  ChanExpression or T_DEFAULT.
	  - Expressions are type checked to make sure that they indeed
	  resolve to channels or arrays of channels.
	  - Changed the representation in TimedAutomataSystem to provide a
	  list of pairs of priority and an expression
	  evaluating to a channel reference or a reference to an array of
	  channels.
	  - Changed the compiler to retrieve the channel-priority list and
	  evaluate the expressions to figure our which channel or channels
	  this priority applies to.

2006-02-24 16:22  behrmann

	* [r1561] include/utap/common.h, include/utap/expression.h,
	  include/utap/symbols.h, include/utap/system.h,
	  include/utap/typechecker.h, old-verifyta/Symbol.cpp,
	  utap/expression.cpp, utap/symbols.cpp, utap/system.cpp,
	  utap/systembuilder.cpp, utap/typechecker.cpp: Changed
	  infrastructure for template and instance representation in UTAP:
	  
	  - Instances can now be parameterised
	  - The name of the template is now an instance with the same
	  parameters
	  as the template (using the identity to map parameters).
	  - The TEMPLATE type was eliminated.
	  
	  This is part of the work needed for bug 278.

2006-02-23 21:55  behrmann

	* [r1558] utap/systembuilder.cpp, utap/typechecker.cpp: Added type
	  checking for template set specifications. Allowed constant
	  scalars in template set specifications. Fixes bug 264.

2006-02-23 20:12  behrmann

	* [r1557] include/utap/symbols.h, utap/expressionbuilder.cpp,
	  utap/symbols.cpp, utap/typechecker.cpp: Changed type checking
	  rules for scalar set types defined locally in a
	  template: Scalars of such types from different instances of the
	  template
	  no longer have the same type. Fixes bug 265.

2006-02-22 15:02  john

	* [r1552] utap/parser.y: Changed priority syntax to "chan priority"
	  for defining priorities on channels (changed already in rev 1551)

2006-02-22 14:58  john

	* [r1551] utap/expression.cpp, utap/expressionbuilder.cpp,
	  utap/parser.y, utap/symbols.cpp, utap/system.cpp,
	  utap/systembuilder.cpp, utap/typechecker.cpp: Fixed MinGW
	  compilation:
	  Windows headers litters in namespace, stuff like INT, BOOL etc
	  are defined,
	  so I just added prefix, e.g. "Constants::INT"

2006-02-21 22:57  behrmann

	* [r1550] include/utap/abstractbuilder.h, include/utap/builder.h,
	  include/utap/common.h, include/utap/expression.h,
	  include/utap/expressionbuilder.h, include/utap/prettyprinter.h,
	  include/utap/symbols.h, include/utap/systembuilder.h,
	  old-verifyta/Compiler.cpp, old-verifyta/Symbol.cpp,
	  utap/abstractbuilder.cpp, utap/expression.cpp,
	  utap/expressionbuilder.cpp, utap/keywords.gperf, utap/parser.y,
	  utap/prettyprinter.cpp, utap/symbols.cpp, utap/system.cpp,
	  utap/systembuilder.cpp, utap/typechecker.cpp: Changed
	  representation of primitive types: They now have their own
	  'kind' value.
	  
	  Made primitive types like int, bool and clock keywords. Changed
	  builder
	  interface to simplify how primitive types are processed.

2006-02-21 13:16  behrmann

	* [r1547] include/utap/position.h, utap/lexer.l, utap/parser.y,
	  utap/position.cpp: Fixes bug 266.

2006-02-21 12:18  behrmann

	* [r1543] include/utap/builder.h, include/utap/expressionbuilder.h,
	  utap/expressionbuilder.cpp, utap/system.cpp,
	  utap/systembuilder.cpp, utap/tests/check.cpp,
	  utap/typechecker.cpp, utap/typeexception.cpp: Replaced use of C
	  strings with STL strings.
	  
	  Fixed a crash bug caused by syntax errors in records.

2006-02-20 18:36  behrmann

	* [r1541] include/old-system/error.h,
	  include/old-verifyta/Compiler.h, include/old-verifyta/program.h,
	  include/utap/abstractbuilder.h, include/utap/builder.h,
	  include/utap/common.h, include/utap/expression.h,
	  include/utap/expressionbuilder.h, include/utap/position.h,
	  include/utap/prettyprinter.h, include/utap/symbols.h,
	  include/utap/system.h, include/utap/systembuilder.h,
	  include/utap/typechecker.h, old-system/System.cpp,
	  old-system/error.cpp, old-verifyta/Compiler.cpp,
	  old-verifyta/StateSet.cpp, old-verifyta/SuccessorFilter.cpp,
	  old-verifyta/Symbol.cpp, old-verifyta/expression_analyser.cpp,
	  old-verifyta/modelchecker.cpp, old-verifyta/program.cpp,
	  old-verifyta/property.cpp, old-verifyta/tests/server.cpp,
	  old-verifyta/tests/services.gperf,
	  old-verifyta/tests/verifyta.cpp, utap/abstractbuilder.cpp,
	  utap/expression.cpp, utap/expressionbuilder.cpp,
	  utap/iointerface.cpp, utap/parser.y, utap/prettyprinter.cpp,
	  utap/statement.cpp, utap/symbols.cpp, utap/system.cpp,
	  utap/systembuilder.cpp, utap/tests/check.cpp,
	  utap/tests/ioiface.cpp, utap/tests/tracer.cpp,
	  utap/typechecker.cpp, utap/typeexception.cpp, utap/xmlreader.cpp:
	  Major restructuring of the type checker:
	  
	  1. Removed the getBase() call from type_t and added a simpler
	  getKind().
	  
	  2. Added position tracking to types (thus types are really part
	  of the AST).
	  
	  3. Move part of the type checking previously done in
	  SystemBuilder to
	  TypeChecker (possible because of the new position tracking in
	  type_t).
	  
	  4. Removed the 'prefix-flags' of type_t. The new notion of a
	  prefix is
	  no different from any other constructed type. The previous system
	  was
	  broken, because it was impossible to set a prefix without copying
	  the
	  type (thus detroying name-equivalence).
	  
	  5. Removed checks from TypeChecker that it could not do reliably
	  (like
	  checking the bounds on integers). The Compiler class does this
	  now.
	  Added infrastructure for ModelChecker, verifyta and server to
	  deal with
	  the fact that compilation can create errors.
	  
	  6. Removed the checkSyntax primitive from the server interface.
	  Since
	  some problems can only be detected by the compiler, there is no
	  reason
	  to have a checkSyntax call, that does not compile the model.
	  
	  7. Added handling of models with ill-defined initial states.
	  
	  8. All uses of the interpreter in UTAP - with the exception of
	  the
	  new priority code - are gone. The interpreter is still used in
	  the
	  tracer utility, but it is not used in UTAP or Uppaal. This is a
	  good
	  thing because it is broken.
	  
	  9. Changed semantics for records: assignment and comparison now
	  requires
	  that the two expressions are structurally equivalent rather than
	  name-equivalent.
	  
	  10. At least the following bugs are resolved by this problem: bug
	  172,
	  bug 262, bug 268. Also bug 186 is partially adressed by these
	  changes,
	  although work is not completed yet.

2006-02-13 09:19  john

	* [r1532] include/old-system/ChannelInfo.h, include/utap/system.h,
	  old-verifyta/Compiler.cpp, utap/keywords.gperf, utap/parser.y,
	  utap/system.cpp, utap/systembuilder.cpp: Changed keyword
	  'chan_priority' to 'priority' and removed #ifdef ENABLE_PRIORITY

2006-02-12 15:22  behrmann

	* [r1531] utap/parser.y: Fixed position tracking for types without
	  a prefix.

2006-02-11 21:04  behrmann

	* [r1526] include/utap/symbols.h, utap/symbols.cpp: Made
	  type_t::toString() constant.

2006-02-11 18:20  behrmann

	* [r1524] include/utap/symbols.h, utap/symbols.cpp: Added less-than
	  operator for type_t.

2006-02-08 11:08  john

	* [r1518] utap/systembuilder.cpp: Priority extension: removed
	  redundant type check which broke template sets.

2006-02-07 15:05  john

	* [r1514] include/old-system/System.h,
	  include/old-verifyta/PriorityFilter.h,
	  include/utap/abstractbuilder.h, include/utap/builder.h,
	  include/utap/system.h, include/utap/systembuilder.h,
	  old-verifyta/Compiler.cpp, old-verifyta/PriorityFilter.cpp,
	  utap/abstractbuilder.cpp, utap/keywords.gperf, utap/parser.y,
	  utap/system.cpp, utap/systembuilder.cpp: - 'default' keyword
	  added, used for specifying a default priority level for channels
	  (including tau).
	  - 'proc_priority' keyword removed, process priorities are now
	  specified on system line.
	  - Declaration of channel priorities (using keyword
	  'chan_priority') is now specified among other declarations.
	  - Added support for priorities on channel arrays.
	  - New priority order (PriorityFilter.cpp)

2006-02-05 18:50  behrmann

	* [r1511] utap/xmlreader.cpp: Fixes bug 256.

2006-02-05 18:24  behrmann

	* [r1510] utap/xmlreader.cpp: Fixes bug 253.

2006-01-19 12:00  behrmann

	* [r1463] utap/position.cpp, utap/system.cpp: Fixed name space
	  problem.

2006-01-17 15:23  behrmann

	* [r1456] include/utap/abstractbuilder.h, include/utap/builder.h,
	  include/utap/expressionbuilder.h, include/utap/prettyprinter.h,
	  include/utap/systembuilder.h, utap/abstractbuilder.cpp,
	  utap/expressionbuilder.cpp, utap/parser.y,
	  utap/prettyprinter.cpp, utap/systembuilder.cpp,
	  utap/xmlreader.cpp: Changed syntax of template sets: Rather than
	  the syntax suggested in bug
	  117, I use a variation of the call-by-reference syntax. See bug
	  117 for
	  further details on the new syntax.
	  
	  I also extended the syntax of the instantiation and system fields
	  in the
	  XML files: they can now contain variable declarations and the
	  system
	  field can contain process instantiations.
	  
	  Finally, I made small adjustments in the ParserBuilder interface:
	  A
	  number of constant variables have been replaced by an enum type.

2006-01-17 14:46  behrmann

	* [r1454] utap/systembuilder.cpp: Fixes bug 241.

2006-01-17 14:26  behrmann

	* [r1451] include/utap/statement.h, utap/statement.cpp,
	  utap/systembuilder.cpp: Fixes bug 233.

2006-01-11 15:40  behrmann

	* [r1450] utap/typechecker.cpp: Fixes bug 248.

2006-01-09 17:24  behrmann

	* [r1443] include/old-system/error.h,
	  include/old-verifyta/Compiler.h, include/old-verifyta/program.h,
	  include/utap/system.h, old-system/error.cpp,
	  old-verifyta/Compiler.cpp, old-verifyta/modelchecker.cpp,
	  old-verifyta/program.cpp: Changed position tracking in virtual
	  machine. Fixes bug 90.

2006-01-08 18:22  behrmann

	* [r1441] utap/parser.y: Removed unneeded error handling rules.

2006-01-08 16:01  behrmann

	* [r1440] include/old-verifyta/Compiler.h,
	  include/old-verifyta/modelchecker.h,
	  include/old-verifyta/property.h, include/utap/abstractbuilder.h,
	  include/utap/builder.h, include/utap/common.h,
	  include/utap/expression.h, include/utap/expressionbuilder.h,
	  include/utap/position.h, include/utap/prettyprinter.h,
	  include/utap/symbols.h, include/utap/system.h,
	  include/utap/typechecker.h, include/utap/utap.h,
	  old-verifyta/Compiler.cpp, old-verifyta/modelchecker.cpp,
	  old-verifyta/property.cpp, old-verifyta/tests/server.cpp,
	  old-verifyta/tests/verifyta.cpp, utap/abstractbuilder.cpp,
	  utap/error.cpp, utap/expressionbuilder.cpp, utap/iointerface.cpp,
	  utap/keywords.gperf, utap/lexer.l, utap/libparser.h,
	  utap/parser.y, utap/position.cpp, utap/prettyprinter.cpp,
	  utap/system.cpp, utap/systembuilder.cpp, utap/tests/check.cpp,
	  utap/tests/ioiface.cpp, utap/tests/pretty.cpp,
	  utap/tests/tracer.cpp, utap/typechecker.cpp, utap/xmlreader.cpp:
	  Reimplemented position tracking in UTAP. Positions are now stored
	  statically in the Positions class. A positions are integers that
	  map
	  into locations in the input. Locations contain a path to the XML
	  element, eliminating the need for the ContextVisitor class to
	  construct
	  the path.
	  
	  Eventually, these changes will make it easier to associate types
	  and
	  statements with positions (at the moment only expressions have
	  position
	  information), which in turn will make it easier to generate good
	  error
	  messages.
	  
	  It will also make it easier to fix bug 90.

2006-01-03 10:10  behrmann

	* [r1418] utap/tests/tracer.cpp: Fixed comment.

2005-12-18 01:22  behrmann

	* [r1386] include/old-utap, include/old-verifyta/Compiler.h,
	  include/old-verifyta/Symbol.h,
	  include/old-verifyta/expression_analyser.h,
	  include/old-verifyta/modelchecker.h,
	  include/old-verifyta/property.h,
	  include/old-verifyta/variable_table.h, include/utap,
	  include/utap/builder.h, include/utap/expression.h,
	  include/utap/iointerface.h, include/utap/prettyprinter.h,
	  include/utap/statement.h, include/utap/system.h,
	  include/utap/systembuilder.h, include/utap/typechecker.h,
	  include/utap/utap.h, old-utap, old-verifyta/tests/lib.dep,
	  old-verifyta/tests/server.cpp, utap, utap/abstractbuilder.cpp,
	  utap/error.cpp, utap/expression.cpp, utap/expressionbuilder.cpp,
	  utap/iointerface.cpp, utap/libparser.h, utap/prettyprinter.cpp,
	  utap/statement.cpp, utap/symbols.cpp, utap/system.cpp,
	  utap/systembuilder.cpp, utap/tests/check.cpp,
	  utap/tests/ioiface.cpp, utap/tests/lib.dep,
	  utap/tests/pretty.cpp, utap/tests/tracer.cpp,
	  utap/typechecker.cpp, utap/typeexception.cpp: Renamed old-utap to
	  utap.

2005-12-09 20:10  behrmann

	* [r1349] old-utap/parser.y, old-utap/system.cpp: Moved priority
	  declaration of system declaration line: Otherwise
	  it is not possible to refer to the processes by name (they are
	  not
	  represented as processes in the parser until the process line has
	  been reached).

2005-12-07 17:27  behrmann

	* [r1335] old-utap/typechecker.cpp: Updated error message. Fixes
	  bug 238.

2005-12-07 13:40  behrmann

	* [r1334] old-utap/typechecker.cpp: Fixes bug 237.

2005-12-05 20:41  behrmann

	* [r1331] include/old-utap/expression.h, old-utap/expression.cpp:
	  Replaced implementations of isReferenceTo, changes and dependsOn
	  to
	  use collectPossibleWrites, collectPossibleReads and a new
	  getSymbols
	  method. collectPossibleWrites now uses getSymbols, which fixes
	  bug 235.
	  
	  For now, the old implementations are still in the file, but
	  commented
	  out.

2005-12-02 19:22  behrmann

	* [r1324] old-utap/systembuilder.cpp: And check to prohibit
	  declarations of function local channels and
	  function local cost variables. Fixes bug 228.

2005-12-02 17:09  behrmann

	* [r1322] old-utap/typechecker.cpp: Changed error message on type
	  errors in guards and invariants. Fixes
	  bug 134.
	  
	  Changed type checking of invariants to fix bug 232.

2005-12-02 17:03  behrmann

	* [r1321] old-utap/expressionbuilder.cpp: Removed type check from
	  exprId(). It should be done in the type
	  checker.

2005-12-02 09:07  behrmann

	* [r1319] old-utap/symbols.cpp: Extended type_t::toString() to also
	  handle processes, functions,
	  locations and ranges.

2005-12-02 09:06  behrmann

	* [r1318] old-utap/statement.cpp: Fixed
	  AbstractStatementVisitor::visitIfStatement() for the case where
	  the if statement has no else-branch (it caused a segfault).

2005-12-01 21:34  behrmann

	* [r1316] old-utap/symbols.cpp: Added support for locations,
	  processes, templates and functions in
	  type_t::toString().

2005-11-23 12:40  behrmann

	* [r1299] old-utap/systembuilder.cpp, old-utap/typechecker.cpp:
	  Fixed a bug in type checking return statements (thanks to John
	  for
	  finding this problem).

2005-11-22 19:06  behrmann

	* [r1297] trunk/server/documentation/FAQ,
	  include/old-utap/typechecker.h, old-utap/parser.y,
	  old-utap/systembuilder.cpp, old-utap/typechecker.cpp: Fixed bug
	  226.

2005-11-20 12:20  behrmann

	* [r1283] include/old-utap/abstractbuilder.h,
	  include/old-utap/builder.h, include/old-utap/common.h,
	  include/old-utap/expressionbuilder.h,
	  include/old-utap/prettyprinter.h, old-utap/abstractbuilder.cpp,
	  old-utap/expression.cpp, old-utap/expressionbuilder.cpp,
	  old-utap/keywords.gperf, old-utap/parser.y,
	  old-utap/prettyprinter.cpp, old-utap/typechecker.cpp: Added
	  support for parsing exists expressions (dual of forall). There is
	  no support for such expressions in the engine yet. See bug 218
	  for
	  details.

2005-11-20 12:04  behrmann

	* [r1282] old-utap/parser.y, old-utap/systembuilder.cpp: Added
	  error message for missing return statements in user declared
	  functions. Fixes bug 171.

2005-11-20 11:38  behrmann

	* [r1281] old-utap/expressionbuilder.cpp: Changed type of 'true'
	  and 'false' literals from integer to boolean.
	  Fixes bug 188.

2005-11-19 19:47  behrmann

	* [r1276] old-utap/parser.y, old-verifyta/Compiler.cpp: Reenabled
	  function local typedefs and fixed the actual cause of bug 225.

2005-11-19 19:19  behrmann

	* [r1275] old-utap/parser.y: Disallowed typedef from function local
	  declarations. Fixes bug 225.

2005-11-19 19:02  behrmann

	* [r1274] old-utap/parser.y: Fixed bug 220.

2005-11-10 11:42  behrmann

	* [r1266] old-utap/expressionbuilder.cpp,
	  old-utap/systembuilder.cpp, old-utap/typechecker.cpp: Added
	  support for variables of type COST.

2005-11-10 11:40  behrmann

	* [r1265] include/old-utap/system.h: Added field for storing the
	  cost rate of a location.

2005-11-10 11:39  behrmann

	* [r1264] include/old-utap/symbols.h, old-utap/symbols.cpp: Added
	  three new base types for CORA.

2005-11-10 11:38  behrmann

	* [r1263] old-utap/system.cpp: Fixed typo if ifdef.

2005-11-09 08:29  behrmann

	* [r1261] include/old-utap/symbols.h,
	  include/old-verifyta/Symbol.h, old-utap/expression.cpp,
	  old-utap/symbols.cpp, old-utap/system.cpp,
	  old-utap/systembuilder.cpp, old-utap/tests/tracer.cpp,
	  old-utap/typechecker.cpp, old-verifyta/Compiler.cpp,
	  old-verifyta/Symbol.cpp, old-verifyta/expression_analyser.cpp:
	  Changed definition of an array: An array is now a type with a
	  subtype
	  and an index type providing the size of the array. The index type
	  is
	  either an integer or scalar type - often with a range from 0 to
	  the
	  largest index, but it should be possible to define arrays that
	  are not
	  zero-indexed.
	  
	  Test cases bug116 and bug117 now succeed.

2005-11-08 08:51  behrmann

	* [r1259] include/old-utap/symbols.h,
	  include/old-utap/typechecker.h, old-utap/expressionbuilder.cpp,
	  old-utap/symbols.cpp, old-utap/system.cpp,
	  old-utap/systembuilder.cpp, old-utap/typechecker.cpp,
	  old-verifyta/Compiler.cpp: More work on implementing scalar sets.
	  Internally, there is not much
	  difference between scalars and integers now: Both have a range
	  specified
	  by a pair of expressions. In case of scalars it simply happens to
	  start
	  at 0. One could consider also making the syntax for scalars and
	  integers
	  symmetric in the sense that scalar[0,5] or int[4] (equivalent to
	  int[0,3]) would be allowed.
	  
	  Test case bug118 now succeeds. bug116 and bug117 still fail
	  (because
	  template sets are still broken).

2005-11-07 20:04  behrmann

	* [r1256] old-utap/expressionbuilder.cpp, old-utap/system.cpp,
	  old-utap/systembuilder.cpp, old-utap/typechecker.cpp,
	  old-verifyta/Compiler.cpp, old-verifyta/Symbol.cpp: Added more
	  support for scalar sets. The test cases for bug 116, 117 and
	  118 fail, as I have disabled support for templatesets and
	  iterators
	  over anything but scalarsets.
	  
	  However a crucial scalarset feature is missing: Defining arrays
	  over
	  scalarsets. Without this scalarsets are rather useless.

2005-10-18 18:15  behrmann

	* [r1217] old-utap/typechecker.cpp: Fixed minor bug in
	  TypeChecker::checkInitiliaser when checking record
	  types.

2005-10-14 09:57  fleury

	* [r1203] games/tests/forward.cpp, games/tests/verifytga.cpp,
	  old-utap/xmlreader.cpp: Fixing a bug in the XML parser

2005-10-05 17:41  behrmann

	* [r1179] include/old-utap/collectchangesvisitor.h,
	  include/old-utap/expression.h, include/old-utap/statement.h,
	  include/old-utap/system.h, old-utap/collectchangesvisitor.cpp,
	  old-utap/expression.cpp, old-utap/statement.cpp,
	  old-utap/typechecker.cpp: Fixes bug 191.

2005-10-05 13:09  behrmann

	* [r1178] old-utap/system.cpp, old-verifyta/Compiler.cpp: Fixes a
	  bug related to bug 191. A SystemVisitor did not visit elements
	  of a model in declaration order, which caused some problems with
	  the
	  type checker.

2005-10-04 14:36  behrmann

	* [r1177] old-utap/expressionbuilder.cpp,
	  old-utap/systembuilder.cpp, old-verifyta/Compiler.cpp: Fixed bug
	  205. Whenever the input contains the non-const type 'int'
	  without an explicit range, then the default range is used.
	  Previously
	  this was handled at several places, but this has now been
	  centraliced
	  in ExpressionBuilder.
	  
	  Notice that the test case for bug 205 still has a problem:
	  Although it
	  no longer crashes, the range on the return type of the function
	  is
	  not respected. This is a different bug, though.

2005-10-03 13:04  behrmann

	* [r1167] old-utap/expression.cpp: Fixes bug 203.

2005-10-02 11:40  behrmann

	* [r1162] old-utap/tests/check.cpp: Fixed segfault when invalid
	  filename is given.

2005-09-26 12:50  fleury

	* [r1142] old-utap/parser.y: Fixing some issue on the order of
	  flags declaration

2005-09-14 17:04  fleury

	* [r1113] games/tests/compiler.cpp, games/tests/compiler.h,
	  games/tests/makefile.def, games/tests/timed_games.cpp,
	  games/tests/timed_games.h, games/tests/verifytga.cpp,
	  old-utap/xmlreader.cpp: Starting the real stuff now.
	  o Added a veriftga.cpp file to build my own executable
	  o I changed my way of doing from a "code functions first"
	  to a "make it work first" scheme. So, I added the parsing
	  of the file and I will add the translation to the Locations,
	  the Transitions, the Processes, and so on, one after one.
	  o Thanks to Gerd, I fixed a bug in the xmlreader.cpp that
	  I have added when I did insert my code.
	  o Probably tons of other stuff I am forgetting. Read the diff.

2005-09-08 09:51  fleury

	* [r1110] trunk/GUI/src/com/uppaal/resource/uppaal-tiga.dtd,
	  include/old-utap/abstractbuilder.h, include/old-utap/builder.h,
	  include/old-utap/prettyprinter.h, include/old-utap/symbols.h,
	  include/old-utap/systembuilder.h, old-utap/abstractbuilder.cpp,
	  old-utap/keywords.gperf, old-utap/parser.y,
	  old-utap/prettyprinter.cpp, old-utap/systembuilder.cpp,
	  old-utap/tags.gperf, old-utap/xmlreader.cpp,
	  trunk/server/scripts/configure.ac.in: Added support for
	  winning/losing states in UTAP.

2005-09-04 11:16  behrmann

	* [r1100] include/old-utap/system.h,
	  include/old-utap/typechecker.h, old-utap/libparser.h,
	  old-utap/system.cpp, old-utap/systembuilder.cpp,
	  old-utap/typechecker.cpp: Added type checking for progress
	  measures.

2005-09-03 18:54  behrmann

	* [r1098] include/old-utap/symbols.h,
	  include/old-utap/typechecker.h, old-utap/expressionbuilder.cpp,
	  old-utap/symbols.cpp, old-utap/system.cpp,
	  old-utap/systembuilder.cpp, old-utap/typechecker.cpp: Added
	  initial UTAP support for scalar sets (see bug 195):
	  
	  - The type has been added (scalar).
	  - Type definitions with scalar sets work.
	  - Declaration of scalar variables work.
	  - Equallity, inequallity and assignment are allowed.
	  
	  Initialisers of scalar variables are not yet supported.
	  
	  The compiler does not yet understand scalar sets.

2005-09-03 16:34  behrmann

	* [r1097] old-utap/expression.cpp,
	  old-verifyta/expression_analyser.cpp: Added FORALL support to
	  expression analyser.

2005-09-03 15:26  behrmann

	* [r1096] old-utap/expressionbuilder.cpp, old-utap/typechecker.cpp:
	  Added type checking of FORALL expressions.

2005-09-03 15:26  behrmann

	* [r1095] old-utap/expression.cpp: Implemented to string conversion
	  of FORALL statements.

2005-09-03 15:24  behrmann

	* [r1094] old-utap/prettyprinter.cpp: Fixed minor bug in
	  declFieldInit.

2005-09-03 14:47  behrmann

	* [r1092] include/old-utap/abstractbuilder.h,
	  include/old-utap/builder.h, include/old-utap/common.h,
	  include/old-utap/expressionbuilder.h,
	  include/old-utap/prettyprinter.h, include/old-utap/system.h,
	  include/old-utap/systembuilder.h, old-utap/abstractbuilder.cpp,
	  old-utap/expression.cpp, old-utap/expressionbuilder.cpp,
	  old-utap/keywords.gperf, old-utap/parser.y,
	  old-utap/prettyprinter.cpp, old-utap/systembuilder.cpp,
	  old-utap/typechecker.cpp, old-verifyta/Compiler.cpp,
	  old-verifyta/expression_analyser.cpp: Added forall quantifier to
	  expression language (bug 116). The exist
	  operator is still missing. Also a type check ensuring that the
	  type provided to the forall quantifier is actually an integer.

2005-08-30 15:31  fleury

	* [r1087] trunk/GUI/src/com/uppaal/resource/uppaal-tiga.dtd,
	  include/old-utap/abstractbuilder.h, include/old-utap/builder.h,
	  include/old-utap/prettyprinter.h, include/old-utap/system.h,
	  include/old-utap/systembuilder.h, old-utap/abstractbuilder.cpp,
	  old-utap/lexer.l, old-utap/parser.y, old-utap/prettyprinter.cpp,
	  old-utap/system.cpp, old-utap/systembuilder.cpp,
	  old-utap/xmlreader.cpp, trunk/server/scripts/cflags.txt: o Add an
	  "uncontrollable" transition to the lexer/parser (utap)
	  o Add a bool "controllable" to the transition data-structures
	  o Add a flag ENABLE_GAMES in the building system
	  
	  * Note: The ASCII syntax of the uncontrollable transition is
	  -u->.
	  To change this, the files to be modified are:
	  - server/modules/old-utap/lexer.l
	  - server/modules/old-utap/prettyprinter.cpp

2005-08-25 13:49  behrmann

	* [r1076] include/old-utap/abstractbuilder.h,
	  include/old-utap/builder.h, include/old-utap/prettyprinter.h,
	  include/old-utap/system.h, include/old-utap/systembuilder.h,
	  include/old-verifyta/Compiler.h, include/old-verifyta/Edge.h,
	  include/old-verifyta/system.h, old-utap/abstractbuilder.cpp,
	  old-utap/parser.y, old-utap/prettyprinter.cpp,
	  old-utap/system.cpp, old-utap/systembuilder.cpp,
	  old-utap/typechecker.cpp, old-utap/xmlreader.cpp,
	  old-verifyta/Compiler.cpp, old-verifyta/Edge.cpp,
	  old-verifyta/Symbol.cpp, old-verifyta/system.cpp: Added support
	  for template sets (see bug 117).

2005-08-21 17:13  behrmann

	* [r1065] include/old-utap/abstractbuilder.h,
	  include/old-utap/builder.h, include/old-utap/expressionbuilder.h,
	  include/old-utap/prettyprinter.h,
	  include/old-utap/systembuilder.h, old-utap/abstractbuilder.cpp,
	  old-utap/expression.cpp, old-utap/expressionbuilder.cpp,
	  old-utap/parser.y, old-utap/prettyprinter.cpp,
	  old-utap/systembuilder.cpp, old-utap/typechecker.cpp,
	  old-verifyta/modelchecker.cpp, old-verifyta/property.cpp: Fixed
	  bug 185. This required changing the ParserBuilder interface.
	  
	  Fixed bug in pretty printer that caused problems with function
	  declarations.
	  
	  Fixed a bug in TypeChecker::visitProperty() that was masked by
	  another bug in PropertyBuilder::property().

2005-08-21 15:28  behrmann

	* [r1064] old-utap/xmlreader.cpp: Fixes bug 183.

2005-08-21 13:47  behrmann

	* [r1062] include/old-utap/rangechecker.h,
	  include/old-verifyta/Compiler.h, include/old-verifyta/Symbol.h,
	  include/old-verifyta/common_builder.h,
	  include/old-verifyta/compiler.h,
	  include/old-verifyta/expression_analyser.h,
	  include/old-verifyta/modelchecker.h,
	  include/old-verifyta/program.h, include/old-verifyta/property.h,
	  include/old-verifyta/tctlexpr.h,
	  include/old-verifyta/variable_table.h, old-utap/rangechecker.cpp,
	  old-verifyta/Compiler.cpp, old-verifyta/Symbol.cpp,
	  old-verifyta/common_builder.cpp, old-verifyta/compiler.cpp,
	  old-verifyta/expression_analyser.cpp,
	  old-verifyta/modelchecker.cpp, old-verifyta/normalisation.cpp,
	  old-verifyta/program.cpp, old-verifyta/property.cpp,
	  old-verifyta/tctlexpr.cpp, old-verifyta/tests/verifyta.cpp,
	  old-verifyta/variable_table.cpp: Major restructuring of the
	  compiler:
	  
	  - RangeChecker was removed from UTAP and integrated into
	  ExpressionAnalyser.
	  
	  - The Compiler class and the CommonBuilder class were merged into
	  one class called Compiler (which now is in Compiler.cpp).
	  
	  - VariableTable was simplified: It is now actually a flat table
	  rather
	  than a tree.
	  
	  - A tree of symbol tables was added (based on the Symbol class)
	  which
	  now contains the information previously provided by the
	  VariableTable.
	  This information is used during compilation and delete
	  afterwards.
	  This tree mirrors the tree of symbol_t and frame_t objects of
	  UTAP,
	  but
	  it does so for instances of templates rather than just the
	  templates.
	  It also contains a lot more information needed for compilation
	  and
	  static analysis (fixes bug 139).
	  
	  - The compiler no longer relies on the interpreter provided by
	  UTAP -
	  instead the compiler can now evaluate expressions by compiling
	  them
	  to byte code, executing the it and deleting it afterwards. Thus
	  we
	  can now compile-time evaluate expressions involving function
	  calls
	  (fixes
	  bug 184).
	  
	  - A few instructions of the virtual machine were changed:
	  
	  - array now takes the array dimension and element size as
	  arguments and performs bounds checking.
	  
	  - assignN now takes the size of the variable (previously it
	  would extract this information from the variable table).
	  
	  - loadvarN was added. It loads variables of size N onto the
	  stack.
	  
	  - call now expects to find the address of a variable containing
	  the entry point rather than the entry point itself. This saves
	  one instruction for each function call.
	  
	  - Added a hidden option to verifyta (-P) which will dump the
	  generated
	  byte code to the screen.

2005-08-21 13:10  behrmann

	* [r1057] include/old-utap/symbols.h, old-utap/symbols.cpp: Added a
	  few extra operators to range_t.

2005-08-09 18:18  marius

	* [r1044] include/old-utap/iointerface.h, old-utap/iointerface.cpp,
	  old-utap/tests/ioiface.cpp: I/O interface (data-flow) analysis
	  for UPPAAL TA systems.

2005-08-09 17:45  marius

	* [r1043] include/old-utap/symbols.h, old-utap/symbols.cpp: added
	  'const' modifier needed by const system/expression visitor which
	  only extracts info.

2005-07-12 13:00  behrmann

	* [r965] old-utap/parser.y: Removed a number of dangerous error
	  recovery rules.

2005-07-12 12:47  behrmann

	* [r964] old-utap/parser.y: Fixes bug 163.

2005-07-09 18:37  adavid

	* [r956] trunk/server/compilers/Makefile.tests, ., .cvsignore,
	  acinclude.m4, autogen.sh, base, base/.cvsignore, base/tests,
	  base/tests/.cvsignore, base/tests/lib.dep, dbm, dbm/.cvsignore,
	  dbm/tests, dbm/tests/.cvsignore, debug, debug/.cvsignore,
	  debug/tests, debug/tests/.cvsignore, debug/tests/lib.dep, games,
	  games/.cvsignore, games/tests, games/tests/.cvsignore,
	  games/tests/makefile.rules, hash, hash/.cvsignore, hash/tests,
	  hash/tests/.cvsignore, hash/tests/lib.dep, include,
	  include/.cvsignore, io, io/.cvsignore, io/tests,
	  io/tests/.cvsignore, makefile, model, model/.cvsignore,
	  model/tests, model/tests/.cvsignore, old-cdd, old-cdd/.cvsignore,
	  old-cdd/tests, old-cdd/tests/.cvsignore, old-utap,
	  old-utap/.cvsignore, old-utap/tests, old-utap/tests/.cvsignore,
	  old-verifyta, old-verifyta/.cvsignore, old-verifyta/tests,
	  old-verifyta/tests/.cvsignore, pipeline, pipeline/.cvsignore,
	  pipeline/tests, pipeline/tests/.cvsignore,
	  pipeline/tests/lib.dep, pwlist, pwlist/.cvsignore, pwlist/tests,
	  pwlist/tests/.cvsignore, setup.sh, state, state/.cvsignore,
	  state/tests, state/tests/.cvsignore, storage, storage/.cvsignore,
	  storage/tests, storage/tests/.cvsignore, version.sh,
	  trunk/server/scripts/Makefile.module.in,
	  trunk/server/scripts/Makefile.tests.in,
	  trunk/server/scripts/config.guess,
	  trunk/server/scripts/config.in, trunk/server/scripts/config.sub,
	  trunk/server/scripts/configure.ac.in,
	  trunk/server/scripts/getmodules.sh,
	  trunk/server/scripts/gsoap-config,
	  trunk/server/scripts/install-sh,
	  trunk/server/scripts/makefile.in,
	  trunk/server/scripts/openssl-config,
	  trunk/server/scripts/setup.sh, trunk/server/scripts/uname.sh:
	  Attempt to update the build system -- hopefully not everything
	  will
	  explode at once. :)

2005-07-04 13:53  behrmann

	* [r949] include/old-utap/utap.h, old-utap/typechecker.cpp,
	  old-utap/xmlreader.cpp, old-verifyta/tests/verifyta.cpp: Fixes
	  bug 165.

2005-06-17 14:22  behrmann

	* [r893] old-utap/xmlreader.cpp: The xml reader now throws proper
	  exceptions in error cases (fixes bug
	  160).

2005-06-17 13:16  behrmann

	* [r892] old-utap/xmlreader.cpp: Fixes bug 158.

2005-06-03 19:57  behrmann

	* [r865] include/old-utap/expressionbuilder.h,
	  old-utap/expressionbuilder.cpp, old-utap/parser.y,
	  old-utap/systembuilder.cpp: Fixed bug 155.

2005-06-03 10:56  behrmann

	* [r861] old-utap/typechecker.cpp: Fixes bug 157.

2005-05-28 19:47  behrmann

	* [r839] old-utap/typechecker.cpp: Added support for invariants of
	  the form 'int imply invariant'.

2005-05-02 16:40  behrmann

	* [r814] old-utap/makefile.def: Added a flag to gperf to resolve a
	  collision.

2005-04-27 20:12  behrmann

	* [r786] old-utap/xmlreader.cpp: Moved classes defined in
	  xmlreader.cpp to the UTAP name space.

2005-04-16 13:44  behrmann

	* [r748] include/old-utap/abstractbuilder.h,
	  include/old-utap/builder.h, include/old-utap/common.h,
	  include/old-utap/expression.h, include/old-utap/prettyprinter.h,
	  include/old-utap/statement.h, include/old-utap/system.h,
	  include/old-utap/systembuilder.h,
	  include/old-verifyta/common_builder.h,
	  old-utap/abstractbuilder.cpp, old-utap/expression.cpp,
	  old-utap/keywords.gperf, old-utap/parser.y,
	  old-utap/prettyprinter.cpp, old-utap/statement.cpp,
	  old-utap/system.cpp, old-utap/systembuilder.cpp,
	  old-utap/typechecker.cpp, old-utap/xmlreader.cpp,
	  old-verifyta/common_builder.cpp: Added select field for edges
	  (see bug 119).

2005-04-16 13:24  behrmann

	* [r747] include/old-utap/typechecker.h, old-utap/typechecker.cpp:
	  Added missing type check for template parameters.

2005-04-16 12:01  behrmann

	* [r744] include/old-utap/abstractbuilder.h: Completed
	  implementation of NotSupportedException.

2005-04-01 13:44  behrmann

	* [r735] old-utap/typechecker.cpp: Added some time checking for
	  iteration statements.

2005-03-30 15:29  behrmann

	* [r729] old-utap/parser.y: Fixes bug 135.

2005-02-11 20:09  behrmann

	* [r678] include/old-verifyta/Edge.h,
	  include/old-verifyta/ctrlstat.h, include/old-verifyta/deadlock.h,
	  include/old-verifyta/interface.h,
	  include/old-verifyta/tctlexpr.h, old-utap/typechecker.cpp,
	  old-verifyta/Edge.cpp, old-verifyta/ctrlstat.cpp,
	  old-verifyta/deadlock.cpp, old-verifyta/liveness.cpp,
	  old-verifyta/tctlexpr.cpp: Extended type system with the rule
	  (int or guard) -> guard, since the
	  result of such an expression is still convex.
	  
	  Also changed the liveness checker such that it will use a much
	  simpler
	  delay filter implementation if the property to check is convex.

2005-02-01 16:53  behrmann

	* [r647] old-utap/systembuilder.cpp, old-utap/typechecker.cpp:
	  Moved code for collecting changed variables from functions to the
	  type checker.

2005-02-01 16:52  behrmann

	* [r646] old-utap/keywords.gperf: Removed switch, case, default,
	  break and continue keywords since they
	  are currently not supported anyway.

2005-02-01 16:51  behrmann

	* [r645] old-utap/parser.y: Removed unused constant.

2005-02-01 15:51  behrmann

	* [r644] old-utap/systembuilder.cpp: Fixed trivial bug in type
	  construction for records.

2005-02-01 15:50  behrmann

	* [r643] include/old-utap/symbols.h, old-utap/symbols.cpp: Added
	  type_t::toString().

2005-01-31 17:15  behrmann

	* [r635] old-utap/systembuilder.cpp: Fixed reference counting bug
	  in SystemBuilder.

2005-01-31 17:15  behrmann

	* [r634] old-utap/typechecker.cpp: Removed debug output.

2005-01-31 14:44  behrmann

	* [r633] include/old-utap/systembuilder.h,
	  old-utap/systembuilder.cpp: From Martijn Hendriks (bug 118):
	  Added implementation of instantionBegin()
	  and instantiationEnd() in SystemBuilder.

2005-01-31 11:26  behrmann

	* [r632] include/old-utap/collectchangesvisitor.h,
	  include/old-utap/statement.h, include/old-utap/typechecker.h,
	  include/old-verifyta/compiler.h,
	  old-utap/collectchangesvisitor.cpp, old-utap/statement.cpp,
	  old-utap/typechecker.cpp, old-verifyta/compiler.cpp: From Martijn
	  Hendriks:
	  
	  - Added IterationStatement class.

2005-01-31 11:01  behrmann

	* [r631] include/old-utap/abstractbuilder.h,
	  include/old-utap/builder.h, include/old-utap/prettyprinter.h,
	  old-utap/abstractbuilder.cpp, old-utap/parser.y,
	  old-utap/prettyprinter.cpp: Changes from Martijn Hendriks.
	  
	  Bug fixes:
	  
	  - Added missing semicolon terminator to parser.y
	  - Fixed issues with zero-terminated strings in prettyprinter.cpp
	  for if-statements without an else.
	  - Fixed bug with integer ranges in PrettyPrinter::typeName().
	  
	  Other changes:
	  
	  - Changed semantics of ParserBuilder::forBegin() such that it is
	  not called by the parser until the three expressions have been
	  pushed to the stack (needed for adding iterators to the
	  language).
	  
	  - Added ParserBuilder::iterationBegin() and
	  ParserBuilder::iterationEnd(), including abstract implementations
	  and an implementation in PrettyPrinter.
	  
	  - Extended the parser with the new for-iterator loop construct
	  (see
	  bug 118).

2005-01-20 15:16  behrmann

	* [r619] old-utap/rangechecker.cpp: Improved precision of range
	  computation for modulo operator.

2005-01-15 14:34  behrmann

	* [r618] old-utap/system.cpp, old-utap/typechecker.cpp: Fixed bug
	  in error reporting for functions.

2005-01-15 12:30  behrmann

	* [r617] old-utap/parser.y: Fixed crash bug caused by missing open
	  curly braces in function
	  declarations.

2004-11-18 10:34  behrmann

	* [r560] include/old-utap/abstractbuilder.h,
	  include/old-utap/builder.h, include/old-utap/system.h,
	  include/old-utap/systembuilder.h, old-utap/abstractbuilder.cpp,
	  old-utap/expressionbuilder.cpp, old-utap/keywords.gperf,
	  old-utap/parser.y, old-utap/system.cpp,
	  old-utap/systembuilder.cpp: Added syntactic extensions for
	  progress measures (needed for the
	  sweep line method, see bug 114).

2004-11-17 16:59  didier

	* [r556] old-utap/parser.y: Added some default action "{}"

2004-10-20 14:37  behrmann

	* [r531] old-utap/lexer.l, old-utap/parser.y: Enabled := and = in
	  both the old and the new syntax to ease the transition.
	  
	  Removed =< and => from the new syntax.

2004-10-19 21:27  behrmann

	* [r530] include/old-utap/typechecker.h, old-utap/parser.y,
	  old-utap/systembuilder.cpp, old-utap/typechecker.cpp: Implemented
	  a number of changes making the parser more robust.
	  
	  It now aborts after the first phase if errors were generated.
	  
	  The type checker now keeps track of whether sub-expressions
	  have generated type errors, and if so avoids type checking
	  expressions
	  containing those sub-expressions.
	  
	  Removed a number of recovery points and added a few in parser.y.

2004-07-28 11:06  behrmann

	* [r476] dbm/debug.cpp, old-cdd/cddop.c, old-utap/lexer.l,
	  old-verifyta/pw.cpp, trunk/version.sh: Fixed compilation problems
	  detected under Windows.

2004-06-27 12:00  behrmann

	* [r467] old-utap/xmlreader.cpp: Fixed small bug in xpath
	  generation.

2004-06-26 19:59  behrmann

	* [r466] include/old-utap/common.h, old-utap/expression.cpp,
	  old-utap/parser.y, old-utap/prettyprinter.cpp,
	  old-utap/typechecker.cpp, old-verifyta/expression_analyser.cpp:
	  Merged rate expressions from priced version (rates are used for
	  LPTA
	  and for stopwatch automata).

2004-06-26 19:37  behrmann

	* [r465] include/old-utap/rangechecker.h,
	  include/old-utap/system.h, include/old-utap/typechecker.h,
	  old-utap/rangechecker.cpp, old-utap/system.cpp,
	  old-utap/systembuilder.cpp, old-utap/tests/tracer.cpp,
	  old-utap/typechecker.cpp, old-verifyta/common_builder.cpp: Code
	  cleaning.

2004-06-26 19:26  behrmann

	* [r464] include/old-utap/abstractbuilder.h,
	  include/old-utap/builder.h, include/old-utap/prettyprinter.h,
	  include/old-utap/systembuilder.h, old-utap/abstractbuilder.cpp,
	  old-utap/parser.y, old-utap/prettyprinter.cpp,
	  old-utap/systembuilder.cpp, old-utap/xmlreader.cpp: Code
	  cleaning.

2004-06-26 19:18  behrmann

	* [r463] old-utap/abstractbuilder.cpp,
	  old-utap/collectchangesvisitor.cpp, old-utap/error.cpp,
	  old-utap/expression.cpp, old-utap/rangechecker.cpp,
	  old-utap/systembuilder.cpp: Code cleaning.

2004-06-25 16:37  behrmann

	* [r462] include/old-utap/prettyprinter.h, old-utap/expression.cpp,
	  old-utap/prettyprinter.cpp, old-utap/tests/check.cpp,
	  old-utap/tests/pretty.cpp: Moved pretty printer class from tests
	  to module. Refactored
	  pretty.cpp into pretty printer (in pretty.cpp) and type checker
	  (check.cpp).

2004-06-25 15:38  behrmann

	* [r461] old-utap/tests/pretty.cpp: Added pretty printing of global
	  updates.

2004-06-25 11:41  behrmann

	* [r459] include/old-verifyta/clock.h,
	  include/old-verifyta/globstat.h, old-utap/keywords.gperf,
	  old-utap/parser.y, old-verifyta/clock.cpp,
	  old-verifyta/globstat.cpp, old-verifyta/pw.cpp: More merges from
	  the priced version:
	  - PricedZone only contains half of the priced zone
	  implementation; the
	  other half is in GlobalState.
	  - Wrapped call to dbm_readFromMinDBM in UnpackedRegion rather
	  than
	  calling it directly from the PWList (hence the PricedZone call
	  can
	  store extra information when packing the zone).

2004-06-25 11:07  behrmann

	* [r457] include/old-utap/builder.h, include/old-utap/symbols.h,
	  include/old-utap/system.h, include/old-utap/typechecker.h,
	  old-utap/keywords.gperf, old-utap/parser.y, old-utap/system.cpp,
	  old-utap/systembuilder.cpp, old-utap/typechecker.cpp,
	  old-verifyta/common_builder.cpp: Merged support for META
	  variables and global assignments from priced
	  version.

2004-06-25 10:28  behrmann

	* [r456] include/old-utap/common.h, include/old-utap/expression.h,
	  include/old-utap/symbols.h, include/old-utap/system.h,
	  include/old-verifyta/compiler.h,
	  include/old-verifyta/variable_table.h, old-utap/error.cpp,
	  old-utap/expression.cpp, old-utap/expressionbuilder.cpp,
	  old-utap/symbols.cpp, old-utap/system.cpp,
	  old-utap/typechecker.cpp, old-utap/xmlreader.cpp,
	  old-verifyta/common_builder.cpp, old-verifyta/compiler.cpp,
	  old-verifyta/tests/server.cpp, old-verifyta/variable_table.cpp:
	  Converted many C strings to ANSI C++ strings in UTAP.

2004-06-25 08:12  behrmann

	* [r455] include/old-utap/systembuilder.h,
	  old-utap/systembuilder.cpp, old-verifyta/common_builder.cpp,
	  old-verifyta/compiler.cpp: Added support for constant reference
	  parameters (in templates and
	  functions).

2004-06-20 19:46  behrmann

	* [r452] include/old-utap/statement.h,
	  include/old-verifyta/common_builder.h,
	  include/old-verifyta/compiler.h, include/old-verifyta/context.h,
	  include/old-verifyta/expression_analyser.h,
	  include/old-verifyta/variable_table.h, old-utap/statement.cpp,
	  old-utap/typechecker.cpp, old-verifyta/common_builder.cpp,
	  old-verifyta/compiler.cpp, old-verifyta/context.cpp,
	  old-verifyta/expression_analyser.cpp, old-verifyta/program.cpp,
	  old-verifyta/variable_table.cpp: Integrated the Context class
	  into the Variable/VariableTable classes.
	  
	  Updated ExpressionAnalyser to produce sets of variable pointers
	  rather
	  than indices.
	  
	  With the integration of the Context class into the
	  Variable/VariableTable,
	  the interpreter has now access to more information about the
	  variables.
	  Changed the semantics of opArray operation to use this
	  information to
	  do the lookup indexing. The same for opAssignN. Thus the compiler
	  does
	  not need to produce this information (which it had no access to
	  in case
	  of reference parameters).
	  
	  The above changes simplifies the compiler, which now does not
	  need to
	  return the Context anymore (which was the main problem when
	  dealing
	  with reference parameters).
	  
	  Extended the compiler to also deal with reference parameters and
	  with
	  non-simple function arguments (records).
	  
	  Missing: Constant reference parameters with non-left-value
	  arguments
	  do not work yet - also struct return types will not work. We
	  could also
	  use a peephole optimizer for our virtual machine :-)

2004-06-16 17:38  behrmann

	* [r450] old-utap/typechecker.cpp: Allowed void expressions in
	  expression statements.

2004-06-14 11:13  behrmann

	* [r448] include/old-utap/typechecker.h, old-utap/typechecker.cpp,
	  old-verifyta/compiler.cpp: Added support for void operands for
	  comma operator. Added support
	  for void expressions in assignment statement of edges.
	  Added support for void functions in Compiler.

2004-06-14 09:56  behrmann

	* [r444] old-utap/parser.y, old-utap/typechecker.cpp: Added type
	  checking of types used for function local variables.
	  
	  Disallowed empty expressions in for statements (it simplifies
	  things).

2004-06-11 22:16  behrmann

	* [r438] include/old-utap/system.h, old-utap/system.cpp,
	  old-utap/systembuilder.cpp, old-verifyta/compiler.cpp: Parser can
	  now handle function local variables. Compiler has limitted
	  support for it: It doesn't handle missing initialisers (it should
	  generate
	  a default initialiser) and can not handle initialisers on
	  non-simple
	  types.

2004-06-10 06:11  behrmann

	* [r435] old-utap/system.cpp, old-utap/tests/pretty.cpp: Added
	  "void" type name.

2004-06-06 14:24  behrmann

	* [r433] include/old-verifyta/common_builder.h,
	  include/old-verifyta/compiler.h,
	  include/old-verifyta/expression_analyser.h,
	  include/old-verifyta/internal_builder.h,
	  include/old-verifyta/program.h,
	  include/old-verifyta/variable_table.h, old-utap/expression.cpp,
	  old-verifyta/common_builder.cpp, old-verifyta/compiler.cpp,
	  old-verifyta/expression_analyser.cpp,
	  old-verifyta/internal_builder.cpp, old-verifyta/modelchecker.cpp,
	  old-verifyta/program.cpp, old-verifyta/property.cpp,
	  old-verifyta/variable_table.cpp: Moved interpreter into new
	  Program class. Extended it with some new
	  instructions so that it can also handle functions.
	  
	  Moved compiler into new Compiler class. Modified it to use new
	  Program
	  class and only generate one program (with many code fragments)
	  instead
	  of many programs.
	  
	  Integrated the remaining code from InternalBuilder into
	  CommonBuilder
	  and removed InternalBuilder.
	  
	  Added a location entry for VariableTable, thus eliminating the
	  need
	  for a opLocation instruction in the interpreter.
	  
	  The interpreter now uses the VariableTable to reset clocks.

2004-06-06 14:20  behrmann

	* [r432] old-utap/systembuilder.cpp: Removed bad assertion.

2004-06-01 19:27  behrmann

	* [r428] include/old-utap/expressionbuilder.h,
	  include/old-utap/systembuilder.h, old-utap/expressionbuilder.cpp,
	  old-utap/systembuilder.cpp, old-utap/xmlreader.cpp: Moved check
	  for missing initial location from SystemBuilder to xmlreader
	  (this matches the TA/XTA case where missing locations are
	  reported by
	  the parser). This fixes a problem of binding the error message to
	  the
	  right XML element.
	  
	  Removed exptectedArguments stack and identifier stack. They were
	  used
	  by the function call and instantiation handling in
	  ExpressionBuilder and
	  SystemBuilder, but not really essential and easy to remove.

2004-06-01 17:25  behrmann

	* [r426] include/old-utap/systembuilder.h,
	  include/old-verifyta/property.h, old-utap/systembuilder.cpp,
	  old-verifyta/property.cpp: Removed property handling code from
	  SystemBuilder and moved it to
	  PropertyBuilder. As a consequence, PropertyBuilder can now be
	  made
	  a direct derivative of ExpressionBuilder.

2004-06-01 12:40  behrmann

	* [r423] old-utap/parser.y, old-utap/xmlreader.cpp: Fixed parser
	  problem with constants in parameters.
	  
	  Fixed error reporting problem in the xmlreader.

2004-06-01 06:52  behrmann

	* [r420] old-utap/expression.cpp, old-utap/tests/pretty.cpp,
	  old-utap/tests/tracer.cpp: Fixed some compilation issues.

2004-05-31 14:39  behrmann

	* [r419] include/old-utap/expression.h,
	  include/old-utap/rangechecker.h, include/old-utap/system.h,
	  include/old-utap/typechecker.h, include/old-verifyta/clock.h,
	  include/old-verifyta/common_builder.h,
	  include/old-verifyta/expression_analyser.h,
	  include/old-verifyta/expressions.h,
	  include/old-verifyta/interface.h,
	  include/old-verifyta/internal_builder.h,
	  include/old-verifyta/modelchecker.h,
	  include/old-verifyta/tctlexpr.h, include/old-verifyta/trans.h,
	  include/old-verifyta/variable_table.h,
	  include/old-verifyta/visitors.h, old-utap/expression.cpp,
	  old-utap/expressionbuilder.cpp, old-utap/rangechecker.cpp,
	  old-utap/symbols.cpp, old-utap/system.cpp,
	  old-utap/systembuilder.cpp, old-utap/typechecker.cpp,
	  old-verifyta/clock.cpp, old-verifyta/common_builder.cpp,
	  old-verifyta/expression_analyser.cpp,
	  old-verifyta/expressions.cpp, old-verifyta/internal_builder.cpp,
	  old-verifyta/modelchecker.cpp, old-verifyta/normalisation.cpp,
	  old-verifyta/proc.cpp, old-verifyta/property.cpp,
	  old-verifyta/tctlexpr.cpp, old-verifyta/trans.cpp,
	  old-verifyta/variable_table.cpp, old-verifyta/visitors.cpp: Added
	  the VariableTable class. This is a catalog of all variables in
	  the model, no matter its type. Very useful when having records
	  with
	  members of mixed data types.
	  
	  The layout in the VariableTable matches the layout in the frames
	  provided by UTAP. CommonBuilder has been updated to add
	  variables,
	  processes, etc. by iterating over a frame. For this, UTAP was
	  changed
	  slightly to maintain the order of processes as they appear in the
	  system declaration also in the frame.
	  
	  Changed ExpressionInterpreter to use VariableTable as an
	  indirection
	  table when accessing and updating variables.
	  
	  Added ExpressionAnalyzer class. This class can analyse various
	  aspects
	  of an expression, such as which variables are read or updated
	  (part of
	  the code was previously in the CommonBuilder). This is now used
	  to:
	  
	  - determine active clocks
	  - possible synchronisations of a synchronisation expression
	  - detect non-zero clock updates
	  - etc.
	  
	  Therefore, the getRange() of an Expression implementation is no
	  longer
	  needed and has been removed.
	  
	  Made the UTAP::Interpreter class more robust, thus fixing a
	  number of
	  crash bugs when loading models with syntax errors.
	  
	  Moved some more of the type checking from UTAP::SystemBuilder to
	  UTAP::TypeChecker. As a consequence, the constant valuation is
	  not
	  needed at all by SystemBuilder, hence making it more robust
	  towards
	  some nasty cases of type errors in initialisers.
	  
	  Fixed a number of bugs in the type checker and added some extra
	  checks
	  of ranges (e.g. when doing array lookups).
	  
	  Finally, completed implementation of records (aka. structs). They
	  are
	  limited to normal variables at the moment, but the infrastructure
	  for
	  also dealing with clocks and channels is there.

2004-05-19 10:58  behrmann

	* [r417] trunk/GUI/README,
	  trunk/GUI/src/com/uppaal/engine/RequestQuery.java,
	  trunk/GUI/src/com/uppaal/gui/Main.java.in,
	  trunk/GUI/src/com/uppaal/gui/SystemInspector.java,
	  trunk/GUI/src/com/uppaal/gui/canvas/AbstractLabelViewHandler.java,
	  trunk/GUI/src/com/uppaal/gui/editor/DomTextArea.java,
	  trunk/GUI/src/com/uppaal/gui/editor/PTEditorControl.java,
	  trunk/GUI/src/com/uppaal/gui/editor/PTEditorTrimmer.java,
	  trunk/GUI/src/com/uppaal/gui/simulator/JMSCLog.java,
	  trunk/GUI/src/com/uppaal/gui/simulator/PTDisplayPanel.java,
	  trunk/GUI/src/com/uppaal/gui/simulator/Simulator.java,
	  trunk/GUI/src/com/uppaal/gui/simulator/SystemStatePanel.java,
	  trunk/GUI/src/com/uppaal/gui/verifier/VerificationTask.java,
	  trunk/GUI/src/com/uppaal/gui/verifier/Verifier.java,
	  trunk/GUI/src/com/uppaal/model/io/LocationInfo.java,
	  trunk/GUI/src/com/uppaal/model/io/UgiJavaCCParser.jj,
	  trunk/GUI/src/com/uppaal/model/io/XTAParserConfiguration.java,
	  trunk/GUI/src/com/uppaal/model/io/XtaJavaCCParser.jj,
	  trunk/GUI/src/com/uppaal/model/io/XtaParser.java,
	  trunk/GUI/src/com/uppaal/model/system/Polyhedron.java,
	  trunk/GUI/src/com/uppaal/resource/help/Requirements.html,
	  trunk/GUI/src/com/uppaal/resource/help/Simulator/Introduction.html,
	  trunk/GUI/src/com/uppaal/resource/help/Simulator/Variables_Window.html,
	  trunk/GUI/src/com/uppaal/util/MultiChooser.java,
	  trunk/GUI/src/com/uppaal/util/MultiChooser2.java,
	  trunk/GUI/src/com/uppaal/util/files/FileHandle.java,
	  include/old-cdd/kernel.h, include/old-utap/expressionbuilder.h,
	  include/old-utap/systembuilder.h, include/old-utap/typechecker.h,
	  include/old-verifyta/deadlock.h, old-cdd/kernel.c,
	  old-utap/expressionbuilder.cpp, old-utap/lexer.l,
	  old-utap/parser.y, old-utap/systembuilder.cpp,
	  old-utap/tests/pretty.cpp, old-utap/tests/tracer.cpp,
	  old-utap/typechecker.cpp, old-verifyta/deadlock.cpp,
	  old-verifyta/globstat.cpp, old-verifyta/internal_builder.cpp,
	  old-verifyta/normalisation.cpp, old-verifyta/sfilter.cpp,
	  old-verifyta/system.cpp, old-verifyta/tests/server.cpp,
	  old-verifyta/tests/verifyta.cpp, old-verifyta/trans.cpp: Merges
	  from the 3.4 branch.

2004-03-13 13:52  john

	* [r360] include/old-utap/abstractbuilder.h,
	  include/old-utap/builder.h, include/old-utap/system.h,
	  include/old-utap/systembuilder.h,
	  include/old-verifyta/action_transition.h,
	  include/old-verifyta/chan.h, include/old-verifyta/proc.h,
	  include/old-verifyta/system.h,
	  include/old-verifyta/unpacked_region_list.h,
	  old-utap/abstractbuilder.cpp, old-utap/keywords.gperf,
	  old-utap/parser.y, old-utap/system.cpp,
	  old-utap/systembuilder.cpp, old-verifyta/action_transition.cpp,
	  old-verifyta/chan.cpp, old-verifyta/common_builder.cpp,
	  old-verifyta/proc.cpp, old-verifyta/sfilter.cpp,
	  old-verifyta/system.cpp: Added priorities

2004-03-04 12:16  behrmann

	* [r332] include/old-utap/common.h, include/old-verifyta/alloc.h,
	  include/old-verifyta/clock.h,
	  include/old-verifyta/common_builder.h,
	  include/old-verifyta/ctrlstat.h, include/old-verifyta/deadlock.h,
	  include/old-verifyta/expressions.h,
	  include/old-verifyta/filterconfiguration.h,
	  include/old-verifyta/integer.h, include/old-verifyta/interface.h,
	  include/old-verifyta/internal_builder.h,
	  include/old-verifyta/modelchecker.h,
	  include/old-verifyta/normalisation.h,
	  include/old-verifyta/pointer.h, include/old-verifyta/proc.h,
	  include/old-verifyta/property.h, include/old-verifyta/pw.h,
	  include/old-verifyta/system.h, include/old-verifyta/tctlexpr.h,
	  include/old-verifyta/trace.h, include/old-verifyta/trans.h,
	  include/old-verifyta/visitors.h, old-verifyta/clock.cpp,
	  old-verifyta/common_builder.cpp, old-verifyta/ctrlstat.cpp,
	  old-verifyta/deadlock.cpp, old-verifyta/expressions.cpp,
	  old-verifyta/integer.cpp, old-verifyta/internal_builder.cpp,
	  old-verifyta/liveness.cpp, old-verifyta/modelchecker.cpp,
	  old-verifyta/normalisation.cpp, old-verifyta/proc.cpp,
	  old-verifyta/property.cpp, old-verifyta/pw.cpp,
	  old-verifyta/reachability.cpp, old-verifyta/sfilter.cpp,
	  old-verifyta/system.cpp, old-verifyta/tctlexpr.cpp,
	  old-verifyta/tests/server.cpp, old-verifyta/tests/verifyta.cpp,
	  old-verifyta/trace.cpp, old-verifyta/trans.cpp,
	  old-verifyta/visitors.cpp: Replaced old-verifyta/pointer.h with
	  the Object/Pointer classes from
	  the base module.

2004-03-01 16:10  adavid

	* [r313] include/base/inttypes.h, old-utap/symbols.cpp,
	  old-utap/xmlreader.cpp, old-verifyta/normalisation.cpp,
	  old-verifyta/sfilter.cpp, old-verifyta/tests/server.cpp,
	  state/tests/testlocvector.cpp: - added missing std:: and include
	  - fixed a mismatched type: the declaration was incomplete
	  - added a hack to work around icc limitation w.r.t. POD types
	  (plain old data) -- it is used only with icc
	  - UPPAAL with SSE2 is available! icc can give speed boosts
	  (3.45s to 3.19s for dacapo_sim, 16.06s to 15.18s for BC)
	  depending on the options.
	  - Found issue with g++: brp gives different results if compiled
	  with
	  or without optimization options.
	  - There is much work to do to take into account remarks from icc.

2004-03-01 11:41  behrmann

	* [r308] old-utap/xmlreader.cpp: Added test that names are valid
	  symbols.
	  
	  Simplified path handling.

2004-02-29 22:15  behrmann

	* [r307] old-utap/xmlreader.cpp: Reimplemented xmlreader. Now uses
	  the xmlReader API of libxml2 instead of
	  the SAX API. A libxml2 version 2.6.0 or newer is required for
	  this.

2004-02-09 17:11  adavid

	* [r229] old-utap/makefile.def, old-utap/makefile.rules,
	  old-verifyta/tests/makefile.def,
	  old-verifyta/tests/makefile.rules: Cleaning makefiles:
	  - removed 2x makefile.rules because they did not contain
	  rules but only definitions
	  - moved the definitions to the makefile.def

2003-12-22 16:11  behrmann

	* [r166] include/old-utap/typechecker.h, include/old-utap/utap.h,
	  old-utap/typechecker.cpp: Added parseExpression() needed by soap
	  server.

2003-12-22 15:48  behrmann

	* [r165] include/old-utap/builder.h, include/old-utap/common.h,
	  old-utap/libparser.h, old-utap/parser.y: Refactored the parser
	  invocation functions.

2003-12-22 15:06  behrmann

	* [r164] old-utap/lexer.l: Changed check on syntax flag from
	  equality to bit test.

2003-12-17 18:41  behrmann

	* [r150] old-utap/systembuilder.cpp,
	  old-verifyta/common_builder.cpp, old-verifyta/modelchecker.cpp,
	  old-verifyta/property.cpp: Final merges from 3.5 code.

2003-12-17 16:34  behrmann

	* [r149] include/old-utap/symbols.h, include/old-utap/system.h,
	  old-utap/symbols.cpp, old-utap/system.cpp: More merges from 3.5.

2003-12-17 16:25  behrmann

	* [r148] include/old-utap/statement.h, old-utap/statement.cpp,
	  old-utap/systembuilder.cpp: More merges from 3.5.

2003-12-17 16:15  behrmann

	* [r147] include/old-utap/rangechecker.h,
	  old-utap/rangechecker.cpp: Merges from old 3.5 code.

2003-12-17 16:10  behrmann

	* [r146] old-utap/tests/pretty.cpp: Merges from old 3.5.

2003-12-17 16:09  behrmann

	* [r145] include/old-utap/expression.h, old-utap/expression.cpp,
	  old-utap/parser.y: Merges from old 3.5 code.

2003-12-17 11:02  adavid

	* [r140] old-utap/makefile.rules: - removed redundant rules
	  - keywords.gperf was mistakenly touched but not modified, it
	  shouldn't be there

2003-12-13 13:49  adavid

	* [r102] dbm/tests/testdbm.c, include/dbm/dbm.h,
	  include/dbm/mingraph.h, makefile, old-utap/xmlreader.cpp,
	  old-verifyta/sfilter.cpp, trunk/server/scripts/Doxyfile.in,
	  trunk/server/scripts/compiler.sh, trunk/server/scripts/export.sh,
	  trunk/server/scripts/gendoc.sh,
	  trunk/server/scripts/index.html.in, trunk/version.sh: - updated
	  comments in mingraph.h
	  - added assertion in testdbm.c
	  - made visible a function in dbm.h
	  - changed #include "libxml/.." to #include <libxml/..> in
	  xmlreader.cpp
	  - added documentation generation by doxygen
	  - added export of modules

2003-12-09 20:08  adavid

	* [r84] trunk/server/compilers/Makefile.module,
	  trunk/server/compilers/Makefile.tests,
	  trunk/server/compilers/cl/debug.opt,
	  trunk/server/compilers/cl/optimized.opt,
	  trunk/server/documentation/FAQ, base/platform.c, dbm/dbm.c,
	  dbm/debug.c, dbm/ext.c, dbm/mingraph.c, dbm/tests/testdbm.c,
	  dbm/tests/testextrapolation.c, debug/utils.c,
	  include/base/inttypes.h, include/dbm/dbm.h, include/dbm/debug.h,
	  include/dbm/ext.h, include/dbm/mingraph.h,
	  include/debug/macros.h, include/old-verifyta/deadlock.h,
	  include/old-verifyta/filterconfiguration.h,
	  include/old-verifyta/modelchecker.h,
	  include/old-verifyta/normalisation.h, include/old-verifyta/pw.h,
	  include/old-verifyta/verify.h, old-cdd/cddop.c,
	  old-utap/makefile.def, trunk/server/scripts/compiler.sh: -
	  hopefully restored my lost modifications (due to unsync cvs
	  after the crash)
	  - fixed isUnbounded
	  - simplified API of constrainN
	  - added work in progress (=untested) on an API to access
	  minimal graph reduction with advanced internal representations :)
	  - ext.h and ext.c are empty for now, these are for extensions

2003-11-18 14:59  behrmann

	* [r31] old-utap/makefile.def, old-utap/parser.y: Removed unused
	  constants and removed -Wno-unused flag from compilation.

2003-11-18 10:47  ulrik

	* [r24] include/old-utap/abstractbuilder.h,
	  include/old-utap/builder.h, include/old-utap/expressionbuilder.h,
	  include/old-utap/systembuilder.h, old-utap/abstractbuilder.cpp,
	  old-utap/expressionbuilder.cpp, old-utap/parser.y,
	  old-utap/systembuilder.cpp, old-utap/tests/pretty.cpp: Patch from
	  Gerd. This patch split the SystemBuilder class in the old-utap
	  module into AbstractBuilder, ExpressionBuilderm, and
	  SystemBuilder.
	  
	  AbstractBuilder implements the ParserBuilder interfaces with
	  default
	  implementation. In most methods an exception is thrown. Is among
	  other
	  things used as the basis for PrettyPrinter.
	  
	  ExpressionBuilder implements the construction of expression_t,
	  i.e. it
	  implements all the exprXXX methods, plus some extra things. It
	  implements
	  the handling og expression fragments. Will later be used for the
	  parsing of
	  expressions and as the basis for PropertyBuilder.
	  
	  SystemBuilder handles the rest.
	  
	  Other changes.
	  - exprArg's argument is now indexed from 0 (previously from 1)
	  - typeName's third argumnet changed from bool to int. The int
	  gives the
	  number of arguments between [] in a range expression. (In the
	  future this
	  gives the possibility of using [] to indicate e.g. the rate of a
	  clock.)

2003-11-14 19:39  adavid

	* [r9] trunk/server/compilers/Makefile.module,
	  trunk/server/compilers/Makefile.tests,
	  trunk/server/documentation/FAQ, base/platform.c,
	  base/tests/testtimer.cpp, makefile, old-utap/makefile.def,
	  old-utap/makefile.rules, old-utap/tests/makefile.def,
	  old-verifyta/makefile.def, old-verifyta/tests/makefile.def,
	  old-verifyta/tests/makefile.rules,
	  trunk/server/scripts/acinclude.m4,
	  trunk/server/scripts/compiler.sh,
	  trunk/server/scripts/configure.ac.in,
	  trunk/server/scripts/download.sh, trunk/server/scripts/uname.sh:
	  - cleanup
	  - windows compilation
	  - more flexible customization for the build system
	  - FAQ update for windows

2003-11-14 11:13  adavid

	* [r8] trunk/server/compilers/Makefile.module,
	  trunk/server/compilers/Makefile.tests, base/Timer.cpp,
	  base/platform.c, base/tests/testtimer.cpp, include/base/Timer.h,
	  include/base/bitstring.h, include/base/inttypes.h,
	  include/base/platform.h, include/dbm/constraints.h,
	  old-utap/makefile.rules, old-verifyta/tests/makefile.rules,
	  trunk/server/scripts/download.sh: - code reviewed by Ulrik
	  - marked file versions that were reviewed.
	  - added the script to download, compile, and install libxml2
	  (sun+cygwin)
	  need to fix mingw install
	  - override of tools with the makefiles: you can use make
	  BISON=mybison
	  - fixed no strip when compiling debug code
	  - added API for bit manipulation

2003-11-12 16:35  adavid

	* [r4] trunk/GUI, trunk/GUI/Makefile, trunk/GUI/Makefile.in,
	  trunk/GUI/README, trunk/GUI/build.xml, trunk/GUI/dist,
	  trunk/GUI/dist/License-ASF, trunk/GUI/dist/README,
	  trunk/GUI/dist/readme.txt, trunk/GUI/dist/uppaal2k,
	  trunk/GUI/manifest, trunk/GUI/manual.tex, trunk/GUI/src,
	  trunk/GUI/src/com, trunk/GUI/src/com/uppaal,
	  trunk/GUI/src/com/uppaal/debug,
	  trunk/GUI/src/com/uppaal/debug/MemoryMonitor.java,
	  trunk/GUI/src/com/uppaal/debug/UTron.java,
	  trunk/GUI/src/com/uppaal/engine,
	  trunk/GUI/src/com/uppaal/engine/AbstractEngineRequest.java,
	  trunk/GUI/src/com/uppaal/engine/ConnectionListener.java,
	  trunk/GUI/src/com/uppaal/engine/Engine.java,
	  trunk/GUI/src/com/uppaal/engine/EngineException.java,
	  trunk/GUI/src/com/uppaal/engine/EngineRequest.java,
	  trunk/GUI/src/com/uppaal/engine/ErrorListener.java,
	  trunk/GUI/src/com/uppaal/engine/LexicalAnalyser.java,
	  trunk/GUI/src/com/uppaal/engine/Problem.java,
	  trunk/GUI/src/com/uppaal/engine/ProtocolException.java,
	  trunk/GUI/src/com/uppaal/engine/RequestEnabledTransitions.java,
	  trunk/GUI/src/com/uppaal/engine/RequestHandshake.java,
	  trunk/GUI/src/com/uppaal/engine/RequestInitial.java,
	  trunk/GUI/src/com/uppaal/engine/RequestQuery.java,
	  trunk/GUI/src/com/uppaal/engine/RequestQuit.java,
	  trunk/GUI/src/com/uppaal/engine/RequestSetOptions.java,
	  trunk/GUI/src/com/uppaal/engine/RequestSuccessor.java,
	  trunk/GUI/src/com/uppaal/engine/RequestSyntaxCheck.java,
	  trunk/GUI/src/com/uppaal/engine/RequestUpload2.java,
	  trunk/GUI/src/com/uppaal/gui,
	  trunk/GUI/src/com/uppaal/gui/GUIAction.java,
	  trunk/GUI/src/com/uppaal/gui/Main.java.in,
	  trunk/GUI/src/com/uppaal/gui/ModePanel.java,
	  trunk/GUI/src/com/uppaal/gui/PsOptions.java,
	  trunk/GUI/src/com/uppaal/gui/SplashScreen.java,
	  trunk/GUI/src/com/uppaal/gui/SystemInspector.java,
	  trunk/GUI/src/com/uppaal/gui/TemplateMenuManager.java,
	  trunk/GUI/src/com/uppaal/gui/ToggleAction.java,
	  trunk/GUI/src/com/uppaal/gui/UToggleButton.java,
	  trunk/GUI/src/com/uppaal/gui/UppaalOptions.java,
	  trunk/GUI/src/com/uppaal/gui/canvas,
	  trunk/GUI/src/com/uppaal/gui/canvas/AbstractLabelViewHandler.java,
	  trunk/GUI/src/com/uppaal/gui/canvas/AbstractNailViewHandler.java,
	  trunk/GUI/src/com/uppaal/gui/canvas/AbstractViewHandler.java,
	  trunk/GUI/src/com/uppaal/gui/canvas/EndNailViewHandler.java,
	  trunk/GUI/src/com/uppaal/gui/canvas/GraphicsContext.java,
	  trunk/GUI/src/com/uppaal/gui/canvas/GraphicsDataListener.java,
	  trunk/GUI/src/com/uppaal/gui/canvas/GraphicsElement.java,
	  trunk/GUI/src/com/uppaal/gui/canvas/GraphicsElementModel.java,
	  trunk/GUI/src/com/uppaal/gui/canvas/LocationViewHandler.java,
	  trunk/GUI/src/com/uppaal/gui/canvas/NailViewHandler.java,
	  trunk/GUI/src/com/uppaal/gui/canvas/ParameterViewHandler.java,
	  trunk/GUI/src/com/uppaal/gui/canvas/PartialTransitionPointEnumeration.java,
	  trunk/GUI/src/com/uppaal/gui/canvas/PartialTransitionViewHandler.java,
	  trunk/GUI/src/com/uppaal/gui/canvas/SimulationLabelViewHandler.java,
	  trunk/GUI/src/com/uppaal/gui/canvas/SimulationLocationViewHandler.java,
	  trunk/GUI/src/com/uppaal/gui/canvas/SimulationTransitionViewHandler.java,
	  trunk/GUI/src/com/uppaal/gui/canvas/StartNailViewHandler.java,
	  trunk/GUI/src/com/uppaal/gui/canvas/StateNameViewHandler.java,
	  trunk/GUI/src/com/uppaal/gui/canvas/TemplateNameViewHandler.java,
	  trunk/GUI/src/com/uppaal/gui/canvas/TemplateView.java,
	  trunk/GUI/src/com/uppaal/gui/canvas/TemplateViewHandler.java,
	  trunk/GUI/src/com/uppaal/gui/canvas/TemplateViewRegistry.java,
	  trunk/GUI/src/com/uppaal/gui/canvas/TransitionPointEnumeration.java,
	  trunk/GUI/src/com/uppaal/gui/canvas/TransitionViewHandler.java,
	  trunk/GUI/src/com/uppaal/gui/canvas/TypeDisplayCanvas.java,
	  trunk/GUI/src/com/uppaal/gui/canvas/UniversalLabelViewHandler.java,
	  trunk/GUI/src/com/uppaal/gui/editor,
	  trunk/GUI/src/com/uppaal/gui/editor/ControlMode.java,
	  trunk/GUI/src/com/uppaal/gui/editor/DomTextArea.java,
	  trunk/GUI/src/com/uppaal/gui/editor/DomTextField.java,
	  trunk/GUI/src/com/uppaal/gui/editor/EditorBase.java,
	  trunk/GUI/src/com/uppaal/gui/editor/LineEditor.java,
	  trunk/GUI/src/com/uppaal/gui/editor/LocationEditor.java,
	  trunk/GUI/src/com/uppaal/gui/editor/LocationPopupMenu.java,
	  trunk/GUI/src/com/uppaal/gui/editor/MultiLineEditor.java,
	  trunk/GUI/src/com/uppaal/gui/editor/PTEditorControl.java,
	  trunk/GUI/src/com/uppaal/gui/editor/PTEditorTrimmer.java,
	  trunk/GUI/src/com/uppaal/gui/editor/PopupMenuBase.java,
	  trunk/GUI/src/com/uppaal/gui/editor/SnapVisitor.java,
	  trunk/GUI/src/com/uppaal/gui/editor/SystemSpecBuilderException.java,
	  trunk/GUI/src/com/uppaal/gui/editor/TransitionEditor.java,
	  trunk/GUI/src/com/uppaal/gui/simulator,
	  trunk/GUI/src/com/uppaal/gui/simulator/ChoiceModel.java,
	  trunk/GUI/src/com/uppaal/gui/simulator/GridFlowLayout.java,
	  trunk/GUI/src/com/uppaal/gui/simulator/JMSCLog.java,
	  trunk/GUI/src/com/uppaal/gui/simulator/JMSCLogHeader.java,
	  trunk/GUI/src/com/uppaal/gui/simulator/JMSCLogTimeLine.java,
	  trunk/GUI/src/com/uppaal/gui/simulator/JMSCLogView.java,
	  trunk/GUI/src/com/uppaal/gui/simulator/LineFlowLayout.java,
	  trunk/GUI/src/com/uppaal/gui/simulator/Message.java,
	  trunk/GUI/src/com/uppaal/gui/simulator/PTDisplayPanel.java,
	  trunk/GUI/src/com/uppaal/gui/simulator/PeriodicCaller.java,
	  trunk/GUI/src/com/uppaal/gui/simulator/Simulator.java,
	  trunk/GUI/src/com/uppaal/gui/simulator/SystemStatePanel.java,
	  trunk/GUI/src/com/uppaal/gui/simulator/Trace.java,
	  trunk/GUI/src/com/uppaal/gui/simulator/TraceModel.java,
	  trunk/GUI/src/com/uppaal/gui/tree,
	  trunk/GUI/src/com/uppaal/gui/tree/AdapterNode.java,
	  trunk/GUI/src/com/uppaal/gui/tree/DomToTreeModelAdapter.java,
	  trunk/GUI/src/com/uppaal/gui/tree/DomTree.java,
	  trunk/GUI/src/com/uppaal/gui/tree/RootAdapterNode.java,
	  trunk/GUI/src/com/uppaal/gui/verifier,
	  trunk/GUI/src/com/uppaal/gui/verifier/Options.java,
	  trunk/GUI/src/com/uppaal/gui/verifier/OptionsChangedEvent.java,
	  trunk/GUI/src/com/uppaal/gui/verifier/OptionsChangedListener.java,
	  trunk/GUI/src/com/uppaal/gui/verifier/Property.java,
	  trunk/GUI/src/com/uppaal/gui/verifier/QueryFileParser.jj,
	  trunk/GUI/src/com/uppaal/gui/verifier/VerificationDialog.java,
	  trunk/GUI/src/com/uppaal/gui/verifier/VerificationListener.java,
	  trunk/GUI/src/com/uppaal/gui/verifier/VerificationTask.java,
	  trunk/GUI/src/com/uppaal/gui/verifier/Verifier.java,
	  trunk/GUI/src/com/uppaal/model,
	  trunk/GUI/src/com/uppaal/model/CompleteDomVisitor.java,
	  trunk/GUI/src/com/uppaal/model/LayoutVisitor.java,
	  trunk/GUI/src/com/uppaal/model/ReferenceChecker.java,
	  trunk/GUI/src/com/uppaal/model/core,
	  trunk/GUI/src/com/uppaal/model/core/ElementCommitted.java,
	  trunk/GUI/src/com/uppaal/model/core/ElementDeclaration.java,
	  trunk/GUI/src/com/uppaal/model/core/ElementImports.java,
	  trunk/GUI/src/com/uppaal/model/core/ElementInit.java,
	  trunk/GUI/src/com/uppaal/model/core/ElementInstantiation.java,
	  trunk/GUI/src/com/uppaal/model/core/ElementLabel.java,
	  trunk/GUI/src/com/uppaal/model/core/ElementLocation.java,
	  trunk/GUI/src/com/uppaal/model/core/ElementNail.java,
	  trunk/GUI/src/com/uppaal/model/core/ElementName.java,
	  trunk/GUI/src/com/uppaal/model/core/ElementNta.java,
	  trunk/GUI/src/com/uppaal/model/core/ElementParameter.java,
	  trunk/GUI/src/com/uppaal/model/core/ElementSource.java,
	  trunk/GUI/src/com/uppaal/model/core/ElementSystem.java,
	  trunk/GUI/src/com/uppaal/model/core/ElementTarget.java,
	  trunk/GUI/src/com/uppaal/model/core/ElementTemplate.java,
	  trunk/GUI/src/com/uppaal/model/core/ElementTransition.java,
	  trunk/GUI/src/com/uppaal/model/core/ElementUrgent.java,
	  trunk/GUI/src/com/uppaal/model/core/IdentifierCollector.java,
	  trunk/GUI/src/com/uppaal/model/core/LabelElement.java,
	  trunk/GUI/src/com/uppaal/model/core/PropertyConstants.java,
	  trunk/GUI/src/com/uppaal/model/core/UppaalDocument.java,
	  trunk/GUI/src/com/uppaal/model/core/UppaalElement.java,
	  trunk/GUI/src/com/uppaal/model/core/Visitable.java,
	  trunk/GUI/src/com/uppaal/model/core/Visitor.java,
	  trunk/GUI/src/com/uppaal/model/core/VisitorSafe.java,
	  trunk/GUI/src/com/uppaal/model/core/XMLConstants.java,
	  trunk/GUI/src/com/uppaal/model/io,
	  trunk/GUI/src/com/uppaal/model/io/IdAttributeConstants.java,
	  trunk/GUI/src/com/uppaal/model/io/LocationInfo.java,
	  trunk/GUI/src/com/uppaal/model/io/PostScriptGenerator.java,
	  trunk/GUI/src/com/uppaal/model/io/RelToAbsVisitor.java,
	  trunk/GUI/src/com/uppaal/model/io/TaWriter.java,
	  trunk/GUI/src/com/uppaal/model/io/TransitionId.java,
	  trunk/GUI/src/com/uppaal/model/io/UgiJavaCCParser.jj,
	  trunk/GUI/src/com/uppaal/model/io/UgiWriter.java,
	  trunk/GUI/src/com/uppaal/model/io/XTAParserConfiguration.java,
	  trunk/GUI/src/com/uppaal/model/io/XtaJavaCCParser.jj,
	  trunk/GUI/src/com/uppaal/model/io/XtaParser.java,
	  trunk/GUI/src/com/uppaal/model/io/XtaWriter.java,
	  trunk/GUI/src/com/uppaal/model/system,
	  trunk/GUI/src/com/uppaal/model/system/EmptyTranslator.java,
	  trunk/GUI/src/com/uppaal/model/system/IdentifierTranslator.java,
	  trunk/GUI/src/com/uppaal/model/system/IntegerPair.java,
	  trunk/GUI/src/com/uppaal/model/system/LocationVector.java,
	  trunk/GUI/src/com/uppaal/model/system/Polyhedron.java,
	  trunk/GUI/src/com/uppaal/model/system/Pts.java,
	  trunk/GUI/src/com/uppaal/model/system/SystemState.java,
	  trunk/GUI/src/com/uppaal/model/system/SystemTransition.java,
	  trunk/GUI/src/com/uppaal/model/system/Translator.java,
	  trunk/GUI/src/com/uppaal/model/system/UnFoldVisitor.java,
	  trunk/GUI/src/com/uppaal/model/system/UnFolder.java,
	  trunk/GUI/src/com/uppaal/model/system/UppaalSystem.java,
	  trunk/GUI/src/com/uppaal/resource,
	  trunk/GUI/src/com/uppaal/resource/default.xml,
	  trunk/GUI/src/com/uppaal/resource/help,
	  trunk/GUI/src/com/uppaal/resource/help/CL_Options.html,
	  trunk/GUI/src/com/uppaal/resource/help/Introduction.html,
	  trunk/GUI/src/com/uppaal/resource/help/Menu_Bar,
	  trunk/GUI/src/com/uppaal/resource/help/Menu_Bar/File.html,
	  trunk/GUI/src/com/uppaal/resource/help/Menu_Bar/Help.html,
	  trunk/GUI/src/com/uppaal/resource/help/Menu_Bar/Introduction.html,
	  trunk/GUI/src/com/uppaal/resource/help/Menu_Bar/Options.html,
	  trunk/GUI/src/com/uppaal/resource/help/Menu_Bar/Queries.html,
	  trunk/GUI/src/com/uppaal/resource/help/Menu_Bar/Templates.html,
	  trunk/GUI/src/com/uppaal/resource/help/Menu_Bar/View.html,
	  trunk/GUI/src/com/uppaal/resource/help/RSL-Semantics.html,
	  trunk/GUI/src/com/uppaal/resource/help/Requirements.html,
	  trunk/GUI/src/com/uppaal/resource/help/Simulator,
	  trunk/GUI/src/com/uppaal/resource/help/Simulator/Introduction.html,
	  trunk/GUI/src/com/uppaal/resource/help/Simulator/MSC_Window.html,
	  trunk/GUI/src/com/uppaal/resource/help/Simulator/Process_Window.html,
	  trunk/GUI/src/com/uppaal/resource/help/Simulator/Simulation_Control.html,
	  trunk/GUI/src/com/uppaal/resource/help/Simulator/Variables_Window.html,
	  trunk/GUI/src/com/uppaal/resource/help/System_Descriptions,
	  trunk/GUI/src/com/uppaal/resource/help/System_Descriptions/Assignments.html,
	  trunk/GUI/src/com/uppaal/resource/help/System_Descriptions/Declarations.html,
	  trunk/GUI/src/com/uppaal/resource/help/System_Descriptions/Expressions.html,
	  trunk/GUI/src/com/uppaal/resource/help/System_Descriptions/Guards.html,
	  trunk/GUI/src/com/uppaal/resource/help/System_Descriptions/Identifiers.html,
	  trunk/GUI/src/com/uppaal/resource/help/System_Descriptions/Introduction.html,
	  trunk/GUI/src/com/uppaal/resource/help/System_Descriptions/Process_Assignments.html,
	  trunk/GUI/src/com/uppaal/resource/help/System_Descriptions/Reserved_Keywords.html,
	  trunk/GUI/src/com/uppaal/resource/help/System_Descriptions/Scope_Rules.html,
	  trunk/GUI/src/com/uppaal/resource/help/System_Descriptions/Semantics.html,
	  trunk/GUI/src/com/uppaal/resource/help/System_Descriptions/Synchronisations.html,
	  trunk/GUI/src/com/uppaal/resource/help/System_Descriptions/Syntax.html,
	  trunk/GUI/src/com/uppaal/resource/help/System_Descriptions/System_Definition.html,
	  trunk/GUI/src/com/uppaal/resource/help/System_Descriptions/Template_Parameters.html,
	  trunk/GUI/src/com/uppaal/resource/help/System_Editor,
	  trunk/GUI/src/com/uppaal/resource/help/System_Editor/Declaring.html,
	  trunk/GUI/src/com/uppaal/resource/help/System_Editor/Drawing.html,
	  trunk/GUI/src/com/uppaal/resource/help/System_Editor/Introduction.html,
	  trunk/GUI/src/com/uppaal/resource/help/System_Editor/Navigation_Tree.html,
	  trunk/GUI/src/com/uppaal/resource/help/Toolbar,
	  trunk/GUI/src/com/uppaal/resource/help/Toolbar/Introduction.html,
	  trunk/GUI/src/com/uppaal/resource/help/Verifier,
	  trunk/GUI/src/com/uppaal/resource/help/Verifier/Introduction.html,
	  trunk/GUI/src/com/uppaal/resource/help/Verifier/Specifying.html,
	  trunk/GUI/src/com/uppaal/resource/help/Verifier/Verifying.html,
	  trunk/GUI/src/com/uppaal/resource/help/Whats_New.html,
	  trunk/GUI/src/com/uppaal/resource/help/fatal_help.html,
	  trunk/GUI/src/com/uppaal/resource/help/help.hs,
	  trunk/GUI/src/com/uppaal/resource/help/index.xml,
	  trunk/GUI/src/com/uppaal/resource/help/map.xml,
	  trunk/GUI/src/com/uppaal/resource/help/toc.xml,
	  trunk/GUI/src/com/uppaal/resource/help/url_error.html,
	  trunk/GUI/src/com/uppaal/resource/images,
	  trunk/GUI/src/com/uppaal/resource/images/location.gif,
	  trunk/GUI/src/com/uppaal/resource/images/location.png,
	  trunk/GUI/src/com/uppaal/resource/images/location.xcf,
	  trunk/GUI/src/com/uppaal/resource/images/nail.gif,
	  trunk/GUI/src/com/uppaal/resource/images/nail.png,
	  trunk/GUI/src/com/uppaal/resource/images/nail.xcf,
	  trunk/GUI/src/com/uppaal/resource/images/queryNotOkay.gif,
	  trunk/GUI/src/com/uppaal/resource/images/queryOkay.gif,
	  trunk/GUI/src/com/uppaal/resource/images/queryUnknown.gif,
	  trunk/GUI/src/com/uppaal/resource/images/select.gif,
	  trunk/GUI/src/com/uppaal/resource/images/select2.gif,
	  trunk/GUI/src/com/uppaal/resource/images/select3.gif,
	  trunk/GUI/src/com/uppaal/resource/images/select3.png,
	  trunk/GUI/src/com/uppaal/resource/images/select3.xcf,
	  trunk/GUI/src/com/uppaal/resource/images/selectedQuery.gif,
	  trunk/GUI/src/com/uppaal/resource/images/show.gif,
	  trunk/GUI/src/com/uppaal/resource/images/simulate.gif,
	  trunk/GUI/src/com/uppaal/resource/images/splash2.xcf,
	  trunk/GUI/src/com/uppaal/resource/images/splash3.png,
	  trunk/GUI/src/com/uppaal/resource/images/splash3.xcf,
	  trunk/GUI/src/com/uppaal/resource/images/splash4.png,
	  trunk/GUI/src/com/uppaal/resource/images/state.gif,
	  trunk/GUI/src/com/uppaal/resource/images/state2.gif,
	  trunk/GUI/src/com/uppaal/resource/images/templateicon.gif,
	  trunk/GUI/src/com/uppaal/resource/images/transition.gif,
	  trunk/GUI/src/com/uppaal/resource/images/transition2.gif,
	  trunk/GUI/src/com/uppaal/resource/images/transition3.gif,
	  trunk/GUI/src/com/uppaal/resource/images/transition3.png,
	  trunk/GUI/src/com/uppaal/resource/images/transition3.xcf,
	  trunk/GUI/src/com/uppaal/resource/images/undo.gif,
	  trunk/GUI/src/com/uppaal/resource/images/uppaal.big.gif,
	  trunk/GUI/src/com/uppaal/resource/images/uppaal.gif,
	  trunk/GUI/src/com/uppaal/resource/images/uppaal.gif-red,
	  trunk/GUI/src/com/uppaal/resource/images/uppaal.normal.gif,
	  trunk/GUI/src/com/uppaal/resource/images/verify.gif,
	  trunk/GUI/src/com/uppaal/resource/options.xml,
	  trunk/GUI/src/com/uppaal/resource/uppaal.dtd,
	  trunk/GUI/src/com/uppaal/resource/uppaal.properties,
	  trunk/GUI/src/com/uppaal/syntax,
	  trunk/GUI/src/com/uppaal/syntax/core,
	  trunk/GUI/src/com/uppaal/syntax/core/ParseError.java,
	  trunk/GUI/src/com/uppaal/util,
	  trunk/GUI/src/com/uppaal/util/ArrayUtils.java,
	  trunk/GUI/src/com/uppaal/util/DomUtils.java,
	  trunk/GUI/src/com/uppaal/util/FloatPoint.java,
	  trunk/GUI/src/com/uppaal/util/IntPoint.java,
	  trunk/GUI/src/com/uppaal/util/IntRect.java,
	  trunk/GUI/src/com/uppaal/util/MultiChooser.java,
	  trunk/GUI/src/com/uppaal/util/ObjectPair.java,
	  trunk/GUI/src/com/uppaal/util/ObservablePointer.java,
	  trunk/GUI/src/com/uppaal/util/StringUtils.java,
	  trunk/GUI/src/com/uppaal/util/error,
	  trunk/GUI/src/com/uppaal/util/error/AbstractError.java,
	  trunk/GUI/src/com/uppaal/util/error/ChoiceError.java,
	  trunk/GUI/src/com/uppaal/util/error/InfoError.java,
	  trunk/GUI/src/com/uppaal/util/files,
	  trunk/GUI/src/com/uppaal/util/files/FileHandle.java,
	  trunk/GUI/src/com/uppaal/util/files/GUIFileFilter.java,
	  trunk/GUI/todo.txt, trunk/GUI/uppaal.cdp, trunk/misc,
	  trunk/misc/algorithms, trunk/misc/algorithms/copy.cpp,
	  trunk/misc/algorithms/equal.cpp,
	  trunk/misc/algorithms/initdbm.cpp,
	  trunk/misc/algorithms/reset.cpp, trunk/misc/scripts,
	  trunk/misc/scripts/resetmodes.sh, trunk/misc/scripts/wc.sh,
	  trunk/misc/utils, trunk/misc/utils/cstat.c, trunk/server,
	  trunk/server/compilers, trunk/server/compilers/Makefile.module,
	  trunk/server/compilers/Makefile.tests, trunk/server/compilers/cl,
	  trunk/server/compilers/cl/debug.opt,
	  trunk/server/compilers/cl/optimized.opt,
	  trunk/server/compilers/g++,
	  trunk/server/compilers/g++/athlon.opt,
	  trunk/server/compilers/g++/debug.opt,
	  trunk/server/compilers/g++/optimized.opt,
	  trunk/server/compilers/g++/ppro.opt,
	  trunk/server/compilers/g++/profiling.opt,
	  trunk/server/compilers/icc, trunk/server/compilers/icc/debug.opt,
	  trunk/server/compilers/icc/p2-ip.opt,
	  trunk/server/compilers/icc/p2.opt,
	  trunk/server/compilers/icc/p3-ip.opt,
	  trunk/server/compilers/icc/p3.opt,
	  trunk/server/compilers/icc/p4-ip.opt,
	  trunk/server/compilers/icc/p4.opt,
	  trunk/server/compilers/icc/pentium-ip.opt,
	  trunk/server/compilers/icc/pentium.opt,
	  trunk/server/compilers/icc/ppro-ip.opt,
	  trunk/server/compilers/icc/ppro.opt, trunk/server/documentation,
	  trunk/server/documentation/FAQ,
	  trunk/server/documentation/emacsheader,
	  trunk/server/documentation/test.cpp, ., include, include/old-cdd,
	  include/old-cdd/cdd.h, include/old-cdd/kernel.h, include/old-dbm,
	  include/old-dbm/bound.h, include/old-dbm/dbm.h,
	  include/old-dbm/hash.h, include/old-dbm/kernel.h,
	  include/old-dbm/util.h, include/old-utap,
	  include/old-utap/builder.h,
	  include/old-utap/collectchangesvisitor.h,
	  include/old-utap/common.h, include/old-utap/expression.h,
	  include/old-utap/rangechecker.h, include/old-utap/statement.h,
	  include/old-utap/symbols.h, include/old-utap/system.h,
	  include/old-utap/systembuilder.h, include/old-utap/typechecker.h,
	  include/old-utap/utap.h, include/old-verifyta,
	  include/old-verifyta/alloc.h, include/old-verifyta/alloc.icc,
	  include/old-verifyta/chan.h, include/old-verifyta/clock.h,
	  include/old-verifyta/common_builder.h,
	  include/old-verifyta/cost.h, include/old-verifyta/ctrlstat.h,
	  include/old-verifyta/deadlock.h, include/old-verifyta/error.h,
	  include/old-verifyta/expressions.h,
	  include/old-verifyta/filterconfiguration.h,
	  include/old-verifyta/globstat.h, include/old-verifyta/integer.h,
	  include/old-verifyta/interface.h,
	  include/old-verifyta/modelchecker.h,
	  include/old-verifyta/normalisation.h,
	  include/old-verifyta/pipe.h, include/old-verifyta/pointer.h,
	  include/old-verifyta/proc.h, include/old-verifyta/property.h,
	  include/old-verifyta/public.h, include/old-verifyta/pw.h,
	  include/old-verifyta/successor.h, include/old-verifyta/system.h,
	  include/old-verifyta/tctlexpr.h, include/old-verifyta/trace.h,
	  include/old-verifyta/trans.h, include/old-verifyta/types.h,
	  include/old-verifyta/util.h, include/old-verifyta/util.icc,
	  include/old-verifyta/verify.h, include/old-verifyta/visitors.h,
	  include/old-verifyta/zone_interface.h,
	  include/old-verifyta/zone_interface.icc, makefile, old-cdd,
	  old-cdd/cache.c, old-cdd/cache.h, old-cdd/cddop.c,
	  old-cdd/cppext.cpp, old-cdd/kernel.c, old-cdd/makefile.def,
	  old-cdd/relax.c, old-cdd/relax.h, old-dbm, old-dbm/dbm.c,
	  old-dbm/hash.c, old-dbm/kernel.c, old-dbm/makefile.def,
	  old-dbm/port.c, old-utap, old-utap/collectchangesvisitor.cpp,
	  old-utap/error.cpp, old-utap/expression.cpp,
	  old-utap/keywords.gperf, old-utap/lexer.l, old-utap/libparser.h,
	  old-utap/makefile.def, old-utap/makefile.rules,
	  old-utap/parser.y, old-utap/rangechecker.cpp,
	  old-utap/statement.cpp, old-utap/symbols.cpp,
	  old-utap/system.cpp, old-utap/systembuilder.cpp,
	  old-utap/tags.gperf, old-utap/tests, old-utap/tests/lib.dep,
	  old-utap/tests/makefile.def, old-utap/tests/pretty.cpp,
	  old-utap/typechecker.cpp, old-utap/typeexception.cpp,
	  old-utap/xmlreader.cpp, old-verifyta, old-verifyta/align.h,
	  old-verifyta/alloc.cpp, old-verifyta/chan.cpp,
	  old-verifyta/classic_dbm.cpp, old-verifyta/classic_dbm.h,
	  old-verifyta/classic_dbm.icc, old-verifyta/clock.cpp,
	  old-verifyta/common_builder.cpp, old-verifyta/cost.cpp,
	  old-verifyta/ctrlstat.cpp, old-verifyta/deadlock.cpp,
	  old-verifyta/error.cpp, old-verifyta/expressions.cpp,
	  old-verifyta/extra_clock.cpp, old-verifyta/extra_clock.h,
	  old-verifyta/filter.cpp, old-verifyta/filter.h,
	  old-verifyta/filterconfiguration.cpp, old-verifyta/globstat.cpp,
	  old-verifyta/guiding.cpp, old-verifyta/guiding.h,
	  old-verifyta/integer.cpp, old-verifyta/internal_builder.cpp,
	  old-verifyta/internal_builder.h, old-verifyta/leadsto.cpp,
	  old-verifyta/leadsto.h, old-verifyta/liveness.cpp,
	  old-verifyta/liveness.h, old-verifyta/makefile.def,
	  old-verifyta/max_const.h, old-verifyta/max_const.icc,
	  old-verifyta/modelchecker.cpp, old-verifyta/normalisation.cpp,
	  old-verifyta/pipe.cpp, old-verifyta/proc.cpp,
	  old-verifyta/property.cpp, old-verifyta/pw.cpp,
	  old-verifyta/reachability.cpp, old-verifyta/reachability.h,
	  old-verifyta/sfilter.cpp, old-verifyta/sfilter.h,
	  old-verifyta/state.h, old-verifyta/state.icc,
	  old-verifyta/successor.cpp, old-verifyta/system.cpp,
	  old-verifyta/tctlexpr.cpp, old-verifyta/tests,
	  old-verifyta/tests/lib.dep, old-verifyta/tests/makefile.def,
	  old-verifyta/tests/makefile.rules,
	  old-verifyta/tests/options.gperf, old-verifyta/tests/server.cpp,
	  old-verifyta/tests/services.gperf,
	  old-verifyta/tests/verifyta.cpp, old-verifyta/thread.h,
	  old-verifyta/trace.cpp, old-verifyta/trans.cpp,
	  old-verifyta/util.cpp, old-verifyta/visitors.cpp,
	  old-verifyta/zone_interface.cpp, trunk/server/scripts,
	  trunk/server/scripts/acinclude.m4,
	  trunk/server/scripts/compiler.sh,
	  trunk/server/scripts/configure.ac.in,
	  trunk/server/scripts/getmodules.sh,
	  trunk/server/scripts/readconfig.sh, trunk/version.sh: ** Moved
	  UPPAAL-3.4 to a new fresh repository **
	  
	  - new build system based on make for compilation, and on
	  configure
	  to generate the config.h file.
	  - tested under linux and solaris, not yet windows.
	  - look at the server/documentation/FAQ to get started or just try
	  make setup
	  in the server/modules directory.
	  - the gui is copied verbatim.
	  - the server has all its files relocated.
	  
	  The plan now is to make sure it works properly under all
	  platforms,
	  then branch this to 3.4 and tag the main trunk to 3.5 and restart
	  3.5.
	  People have been complaining a lot about 3.5 and we all
	  developpers seem
	  happy to abandon the current 3.5.
	  Comments are welcome.

