• Back to all releases

Version 0.1.13 of BoolStuff

• 
• 0.1.13

• 
•  14 Feb 2010 22:16
• 

Release Notes: The terms of the resulting DNF are now sorted so that duplicate terms can be eliminated. Compilation errors under g++ 4.4 have been fixed.

• 
• 0.1.12

• 
•  14 Oct 2008 05:12
• 

• Major bugfixes

Release Notes: Memory leaks have been fixed. A bug with the expression a&!a has been fixed. The source code now compiles as is with g++ 4.3.0.

• 
• 0.1.11

• 
•  30 Apr 2007 06:28
• 

• Minor bugfixes

Release Notes: This is a maintenance release. Example programs are not installed anymore and do not end up in the RPM packages.

• 
• 0.1.10

• 
•  04 Feb 2006 23:45
• 

• Minor feature enhancements

Release Notes: The DNF algorithm now detects cases where the resulting expression tree would be too large. The maximum number of tree nodes is set to 10000. The booldnf command now returns EXIT_FAILURE if one of the requested conversions fail.

• 
• 0.1.9

• 
•  08 May 2005 22:15
• 

• Minor bugfixes

Release Notes: A bug concerning expressions like !(!(a & m)) was fixed. Quoted variable names are no longer supported to avoid a dependency between the BoolExpr class template and the std::string type.