Bug fix for a bug reported by Nuno Lopes in PUS...
Compiler warnings fix for the bddcalc test.
Fixed several rare but actual memory leaks foun...
Test suite now runs with 'make check', not just...
Fixed regression test that was failing spuriously.
Deleted empty CHANGES file, which is no longer ...
Updated autotools files to work with current ve...
Coverted .cvsignore files to .gitignore