Authors : Yann Thierry-Mieg (LIP6, Yann.Thierry-Mieg@lip6.fr, 2003-), Jean-Michel Couvreur (LaBRi, 2001), and Denis Poitrenaud (LIP6, 2001)

Contributors :

• Alexandre Hamez < LIP6 and LRDE (EPITA), Alexandre.Hamez@lip6.fr > (2006-): maintenance, multi-threading, rewrite rules
• Vincent Beaudenon < LIP6 > (2004-2005) : serialisation, user (not strong) homomorphisms
• François Bréant < LIP6 > (2004) : INST_STL, multi-target build
• Samuel Charron < LRDE (EPITA) > (2005-2006) : tests

version 1.5 : June 2009. Release includes enhanced auto-saturation, selector homomorphisms, and commutative rewrite rules.

• homomorphisms Range added as a simple commutativity criterion
• More rewriting rules implemented to enhance dynamic saturation effect
• Selector predicate introduced, allows use of not, ITE, ... To ease manipulation of atomic properties
• morpion (TicTacToe) tutorial example added to repository
• MT-SAFE version can be built for multi-threaded applications (although efficiency is badly impacted)

version 1.4 : January 2008. Release includes auto-saturation mechanisms and homomorphism rewrite rules.

• homomorphisms Skip predicate added
• rewriting rules implmented to produce dynamic saturation effect
• local apply mechanisms and related rules
• hanoi example added to repository
• INST_STL removed from build (was broken with gcc > 3.3 anyway)

version 1.3 : May 2007. Release includes support for additive Edge valued DDD and SDD

• various cleanups and rewrites for compliance with gcc >= 4.1
• minor updates to allow build on 64 bit architectures
• added tests using uttk
• include a dot export example

Version 1.2 : January 2006. Release includes the fixpoint construction for homomorphisms.

• include serialization and user homomorphisms
• Cleaned up includes
• Added doxygen documentation
• Changed hash functions
• Some efficiency speedup

Version 1.1 : November 2004. First semi-public release of the libDDD. Release includes SDD.

• Uses autotools for build procedure, tested on Mac, linux, cygwin.
• Compiles in three variants :
  • libddd.a, the optimized version,
  • libddd_d.a version with debugging symbols activated,
  • libddd_otfg.a a version with experimental on the fly garbage collection
• Optionally, using gcc in versions 3.1, 3.2 or 3.3, it is possible to activate build of INST_STL version, modify src/Makefile.am for this.

Pre 1.0 : 2001-2003. Beta versions of the pure DDD library. Version 0.99 was version number for some time.