CHANGES

Trunk:
  Breaking changes:
  - The 'Debug' configuration of the WALi project now uses the /MDd
    compiler setting (as is default with Visual Studio builds) instead
    of /MD. This setting has to match across projects (i.e. clients
    of WALi); failure to match can cause linker errors (hopefully) about
    _DEBUG_ITERATOR_LEVEL. If it gets by the linker (this *shouldn't*
    happen but I can't promise anything of course), you'll get hard-to-
    track-down runtime bugs. (Of course, the same is true if you expected
    /MDd before.) The old behavior, with the /MD flag and _DEBUG not
    defined, is now preserved in the 'DebugMD' configuration of the core
    WALi project.

  Visual Studio project changes
  - Upgraded some projects to VS2010. (The solution and existing project
    were already, but there were a couple that got lost.)
  - Renamed the VS solution file
  - New configurations "Debug/Release Wali only" build only the core
    WALi/OpenNWA library and not the stuff from AddOns.


WALi/OpenNWA 4.1:
  General bug fixes:
  - Improved detection of Boost filesystem library


WALi/OpenNWA 4.1 RC1:
  General features
  - Added 'scons CXX=...' to choose compiler and strong_warnings=0 to disable
    extra warning flags

  General bug fixes
  - Fixed building with broader range of compilers

  WALi features:
  - Added postorder visit functions to the witness visitor
  - Significant API changes to the BinRel domain, and addition of a feature
    to output diagrams
  - Added a new callback class, DotAttributePrinter, which allows someone
    calling WFA::print_dot to output extra attributes for either nodes
    or edges.
  - Added printStatistics() functions to WFA and WPDS

  OpenNWA features:
  - Added NWA statistics functions num{Call,Entry,Exit,Return}Sites in
    opennwa::query (opennwa/query/automaton.hpp)

  WALi bug fixes:
  - Fixed a rather bad efficiency problem with path_summary; on large examples
    this can run almost an order of magnitude faster.
  - Use the cached theZero object in WPDS::post instead of creating a new
    zero; this is important if you have a class (like Witness) that doesn't
    cache its own zeroes.
  - There is an optional setting to make Witness cache its zeros and ones.

  OpenNWA bug fixes:
  - Updated license and author information
  - Fixed a bad performance problem with the NWA to WPDS conversion. Our code
    didn't match our tech report. Our tech report created a number of PDS
    states that was linear in the number of return points. Our code created a
    number that was cubic. Oops.


WALi/OpenNWA 4.0 RC1:
  Change key2str() result of key pairs
    o they now are printed without spaces around the () and ,

  Probably some other things. Records below may not be as complete

WALi Release 3.4 (2009-08-18)
  Minor bug fixes in HashMap.
  Add replace_weight methods to (E)WPDS.


WALi Release 3.3 (2009-6-16)
  Add accessor methods to IntSource and StringSource.
  Make value fields of IntSource and StringSource const.


WALi Release 3.2 (2009-05-28)
  Update the Parse addon to be compatible with Xerces 3.0.1.
    o "unsigned int" --> "XMLSize_t" in API for DefaultHandler


WALi Release 3.1 (2009-05-22) 
  Update the WALi.vcproj to the character set that is compatible with TSL.


WALi Release ? (2008-05-21)
  Add support for "long long" and "unsigned long long" to wali::hm_hash.


WALi Release 2.3 (2008-05-21) 
  Add SConstruct.NOALIAS to be used with SCons v > 0.96.
   o scons -f SConstruct.NOALIAS
   o or for more info, scons -f SConstruct.NOALIAS -h

(2008-05-21) 
  Fix bugs in adding items to the SCons built variable