Code (Git) Log


Commit Date  
[2e187c] (HEADmaster) by Nikos Nikos

Bug fix for a bug reported by Nuno Lopes in PUSHREF.

Basically if the argument to PUSHREF is evaluated always before the computation of the lvalue in the macro, all is fine. But this order of evaluation seems to be undefined by the standard, and apparently differs depending on the compiler.

The fix is turning the macro into a static inline function.

2014-04-02 13:36:55 Tree
[fff9a0] by Nikos Gorogiannis Nikos Gorogiannis

Fixed several rare but actual memory leaks found by cppcheck.

2014-02-07 16:19:39 Tree
[fd0f76] by Nikos Gorogiannis Nikos Gorogiannis

Compiler warnings fix for the bddcalc test.

2014-02-07 14:58:05 Tree
[ce57f7] by Nikos Gorogiannis Nikos Gorogiannis

Test suite now runs with 'make check', not just compiles.

2014-02-07 14:41:08 Tree
[d669e6] by Nikos Gorogiannis Nikos Gorogiannis

Fixed regression test that was failing spuriously.

2014-02-07 11:12:02 Tree
[38ff8d] by Nikos Gorogiannis Nikos Gorogiannis

Deleted empty CHANGES file, which is no longer required by autotools.

2014-02-07 10:56:08 Tree
[4e05ba] by Nikos Nikos

Updated autotools files to work with current versions. Fixed other build issues.

2014-02-06 21:12:21 Tree
[73f83e] by Nikos Gorogiannis Nikos Gorogiannis

Coverted .cvsignore files to .gitignore

2014-02-06 16:12:48 Tree
[4fa6ab] by Haim Cohen Haim Cohen

adding .libs

2007-08-02 02:31:42 Tree
[868188] by Haim Cohen Haim Cohen

Updating this unit test to print '\n' at the end of the file so it gets
flushed. Seems to fail on Mac.

2007-08-01 23:04:13 Tree
[5ffbd3] by Haim Cohen Haim Cohen

Adding Nikos

2007-08-01 22:58:36 Tree
[1f95fc] by Nikos Gorogiannis Nikos Gorogiannis

Fixed regression test so that it works properly with --enable-cache-stats.

2007-08-01 22:51:11 Tree
[002079] by Nikos Gorogiannis Nikos Gorogiannis

Again, fixing .libs

2007-08-01 22:18:32 Tree
[537cd5] by Nikos Gorogiannis Nikos Gorogiannis

Fix missing .cvsignore entry for .libs

2007-08-01 22:12:54 Tree
[fe5496] by Nikos Gorogiannis Nikos Gorogiannis

Added an #include "config.h" in files referencing the macro CACHESTATS so that --enable-cache-stats works properly.

2007-07-27 16:58:26 Tree
[7bcdfc] by Nikos Gorogiannis Nikos Gorogiannis

More documentation fixes.
'make dist' now builds and includes a copy of the Doxygen docs in doc/html.
'make maintainer-clean' will remove doc/html if present.

2007-07-23 12:33:29 Tree
[70af42] by Nikos Gorogiannis Nikos Gorogiannis

Moved docs in the user-accessible .h files (bdd.h, bvec.h fdd,h). Documented undocumented functions/data types. Various typo fixes. Tweaked again the doxygen conf file.

2007-07-16 13:51:57 Tree
[e83504] by Nikos Gorogiannis Nikos Gorogiannis

Multiple documentation fixes for doxygen docs.

2007-07-15 20:43:57 Tree
[ea2858] by Nikos Gorogiannis Nikos Gorogiannis

Documentation conversion to doxygen

2007-07-13 09:39:35 Tree
2006-11-20 04:50:40 Tree
[c39e6a] by Haim Cohen Haim Cohen

adding the fig files

2006-11-20 02:01:22 Tree
[98a05d] by Haim Cohen Haim Cohen

more files required by the documentation

2006-11-20 00:55:14 Tree
[8b7ad8] by Haim Cohen Haim Cohen

adding tex files I got from Jorn

2006-11-18 23:45:56 Tree
[5197ad] by Haim Cohen Haim Cohen

Fixing bug [ 1345805 ] BuDDy2.4: bug in fdd.c .
I also updated the fdd example / test to reflect the fix.

2006-04-28 03:00:54 Tree
[6c82e2] by John Whaley John Whaley

Fixed a stupid bug where someone forgot a () to make bdd_reorder_ready
into a procedure call. As it was, it was succeeding every time.

2005-05-04 22:43:19 Tree
Older >