• Back to project

All releases 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.

• 
• 0.1.8

• 
•  18 Mar 2003 14:34
• 

• Minor feature enhancements

Release Notes: There is a new 'booldnf' command and an example Perl script that shows how to call it from a bidirectional pipe.

• 
• 0.1.7

• 
•  11 Mar 2003 18:35
• 

• Minor bugfixes

Release Notes: The getTreeVariables() method is now wrapped in the C API. A bug in the C API testing code has been fixed.

• 
• 0.1.6

• 
•  14 Dec 2002 00:24
• 

• Major feature enhancements

Release Notes: The DNF is now automatically simplified to eliminate useless (always false) terms. One can also obtain the roots of the terms of the DNF, and the variables involved in those terms. The example program has been updated to illustrate these functionalities.

• 
• 0.1.3

• 
•  13 Nov 2002 02:57
• 

• Code cleanup

Release Notes: Some makefile ugliness was cleaned up.

• 
• 0.1.2

• 
•  09 Nov 2002 14:44
• 

• Minor bugfixes

Release Notes: Compilation and linking fixes were made for g++ 3.0.4 and 3.2.