hash testing simplification in test suite

The main purpose of this release is to address testing problems with boost 1.81.0 (issue #53 ). The tests in question are matching hashes to values that may change with new versions of boost.
To future proof the testing, we removed tests for specific value and only compare hash results we know should be identical or different.

1.2.11

This maintenance release focuses on the following points:

• remove unary_function and binary_function which are deprecated in c++11 and removed in c++17.
• update m4 macros for c++ detection and boost_base
• maintenance on configure.ac

Remove cudd unbundling

This release removes the cudd unbundling as it is not ready for release.

Maintenance release

This is a new maintenance release of the 1.2 branch of BRiAL. The following issues are addressed

• Clarify the license as it has always been GPL2+
• Updating of boost detection macros for issue #49
• Include some package information in config.h for issue #46
• Include some work on using external CUDD - unfortunately only CUDD 2.5.x is supported at this stage. Further PR allowing CUDD 3+ would be welcome

maintenance release

This is a new maintenance release of BRiAl 1.2. It includes the following

• inclusion of an old debian patch relevant to ia64 and alpha architecture #45
• Fix the configuration script to not error in some cases that should be allowed 5ddb536
• Fix deprecation warnings in the test suite for boost 1.71.0 and over 5ddb536

Macro clean up

This release focuses on clean up of old macros that are either redundant or not used. It also tighten the initial config.h.in and minor fixes on the sage python component.

1.2.6

Minor python 3.8 fixes.
No change to libraries.

brial-1.2.5

Minor fixes:

• compliance with C++ standard in inline headers revealed by gcc-9.1
• parallel building issues in the testsuite

BRiAl-1.2.4

Python3 fixes only - no changes to the libraries.

brial-1.2.3

Better fix for the test suite by improving the initialisation of vectors. Thanks Julian Rüth for his work.