Release History

Get the RSS feed of the last changes

Release 1.0b2 - 2005-05-05

Type	Changes	By
	Better error handling in BDDIterator.	joewhaley
	More small performance improvements for the Java version.	joewhaley
	Added ability to register callbacks for various events.	joewhaley
	Added support for dynamically growing domains.	joewhaley
	Added support for running JavaBDD under restricted permissions; e.g. as an applet.	joewhaley
	Fixed a bug involving finalizers.	joewhaley
	Fixed a bug involving reset() and done().	joewhaley
	Fixed a bug involving reordering in the Java implementation.	joewhaley

Release 1.0b1 - 2004-10-17

Type	Changes	By
	Many, many new features and enhancements.	joewhaley
	Performance for the Java version has been greatly improved, by 2x or so.	joewhaley
	Many new performance improvements for the native BuDDy library. Even if you are not using JavaBDD but are just using the BuDDy library with C or C++, you can use the included libbuddy.so to take advantage of these performance improvements.	joewhaley

Release 0.6 - 2003-10-31

Type	Changes	By
	Fixed security problems by adding better null and type checking. It should no longer be possible to crash the VM by passing in unexpected values.	joewhaley
	Updated API: applyWith(), etc. methods return the 'this' pointer, for easier nested operations.	joewhaley
	Addition of typed BDD factory, for type checking of BDD code.	joewhaley
	Code cleanups. JNI interface was made a few percent faster by moving object allocations into Java code.	joewhaley

Release 0.5 - 2003-8-4

Type	Changes	By
	Major update. Added a 100% Java implementation of the BDD factory, so the native library is no longer necessary.	joewhaley
	Java implementation of variable domains. Domains can be up to 2^64 in size!	joewhaley
	Java implementation of bit vectors, along with the associated operations (add, subtract, multiply, divide, etc.)	joewhaley
	Fixes and extensions to the CUDD interface. Now CUDD can run all of the test cases correctly.	joewhaley
	More small refinements to the API.	joewhaley

Release 0.4 - 2003-6-18

Type	Changes	By
	Added an interface to the CUDD library. Only basic operations have been implemented and tested. Many features (like variable domains) have not been implemented/ported yet.	joewhaley
	Improved the support for printing of BDDs. Now you can specify an interface that will convert the domain indices/members into meaningful strings.	joewhaley
	Some small updates to the API. Notably, scanSet() now takes a BDDDomain object, rather than a domain number.	joewhaley

Release 0.3 - 2003-2-21

Type	Changes	By
	Many bugs fixed.	joewhaley
	Most functionality has been tested, so this version should be moreorless stable and useable.	joewhaley

Release 0.2 - 2003-2-1

Type	Changes	By
	Still largely untested. Proceed at your own risk.	joewhaley
	Added support for variable domains.	joewhaley
	Added support for variable pairings.	joewhaley
	Added support for defining variable orderings.	joewhaley
	Fixed some LinkageError exceptions.	joewhaley

Release 0.1 - 2003-1-30

Type	Changes	By
	Initial release. Largely untested.	joewhaley