Menu
▾
▴
buddy-developers
|
From: Haim C. <hai...@us...> - 2004-07-23 10:45:31
|
Update of /cvsroot/buddy/buddy In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv15458 Modified Files: ChangeLog Log Message: |
|
From: Haim C. <hai...@us...> - 2004-07-25 19:26:07
|
Update of /cvsroot/buddy/buddy In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv2349 Modified Files: ChangeLog Log Message: |
|
From: Haim C. <hai...@us...> - 2004-07-29 18:08:32
|
Update of /cvsroot/buddy/buddy/src In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv23925/src Modified Files: bddop.c Log Message: Applying a patch submitted by Alexandre Duret-Lutz: This fix two things in bdd_support() 1) A memory leak, which I believe is clear enough. 2) The return value when bdd_support() is called on bddtrue or bddfalse. Since variable sets are conjunctions (i.e., the union of variables sets is &), the empty set should be TRUE, not FALSE. For instance we should have bdd_support(formula1 | formula2) == bdd_support(formula1) & bdd_support(formula2) In BuDDy 2.4 this fails if any of the two formulae is a constant. |
|
From: Haim C. <hai...@us...> - 2004-07-29 18:57:16
|
Update of /cvsroot/buddy/buddy/examples/bddsupportbug In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv1635/bddsupportbug Log Message: Directory /cvsroot/buddy/buddy/examples/bddsupportbug added to the repository |
|
From: Haim C. <hai...@us...> - 2004-07-29 19:13:05
|
Update of /cvsroot/buddy/buddy/examples/cmilner In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv4133/examples/cmilner Modified Files: .cvsignore Log Message: Adding obvious files which should not be in CVS |
|
From: Haim C. <hai...@us...> - 2004-07-29 19:13:05
|
Update of /cvsroot/buddy/buddy/examples/fdd In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv4133/examples/fdd Modified Files: .cvsignore Log Message: Adding obvious files which should not be in CVS |
|
From: Haim C. <hai...@us...> - 2004-07-29 19:16:52
|
Update of /cvsroot/buddy/buddy In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv4624 Modified Files: configure.ac Log Message: Adding a regression test to verify the bug fix of the bug in the returned value of bdd_support when argument is constant bdd |
|
From: Haim C. <hai...@us...> - 2004-07-29 19:16:52
|
Update of /cvsroot/buddy/buddy/examples In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv4624/examples Modified Files: Makefile.am Log Message: Adding a regression test to verify the bug fix of the bug in the returned value of bdd_support when argument is constant bdd |
|
From: Haim C. <hai...@us...> - 2004-07-29 19:16:53
|
Update of /cvsroot/buddy/buddy/examples/bddsupportbug In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv4624/examples/bddsupportbug Added Files: .cvsignore Makefile.am bddsupportbug.cxx expected runtest Log Message: Adding a regression test to verify the bug fix of the bug in the returned value of bdd_support when argument is constant bdd |
|
From: Haim C. <hai...@us...> - 2004-07-29 19:19:30
|
Update of /cvsroot/buddy/buddy In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv5524 Modified Files: ChangeLog Log Message: Updating after committing files |
|
From: John W. <joe...@us...> - 2004-07-30 10:04:55
|
Update of /cvsroot/buddy/buddy/src In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv7684 Modified Files: bddop.c Log Message: Fixed the bug with satcount(). The misccache should be cleared after changing the number of variables, because satcount() results in the misccache depend on the number of BDD variables. |
|
From: John W. <joe...@us...> - 2004-07-30 10:05:48
|
Update of /cvsroot/buddy/buddy/examples/bddsatcountbug In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv7912/bddsatcountbug Log Message: Directory /cvsroot/buddy/buddy/examples/bddsatcountbug added to the repository |
|
From: John W. <joe...@us...> - 2004-07-30 10:07:10
|
Update of /cvsroot/buddy/buddy/examples/bddsatcountbug In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv8077/bddsatcountbug Added Files: .cvsignore Makefile.am bddsatcountbug.c expected runtest Log Message: Added a regression test case for the satcount() bug. |
|
From: John W. <joe...@us...> - 2004-07-30 10:07:56
|
Update of /cvsroot/buddy/buddy In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv8187 Modified Files: configure.ac Log Message: Added a regression test case for the satcount() bug. |
|
From: John W. <joe...@us...> - 2004-07-30 10:07:56
|
Update of /cvsroot/buddy/buddy/examples In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv8187/examples Modified Files: Makefile.am Log Message: Added a regression test case for the satcount() bug. |
|
From: Haim C. <hai...@us...> - 2004-07-30 10:44:19
|
Update of /cvsroot/buddy/buddy In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv12795 Modified Files: AUTHORS Log Message: Update authors list |
|
From: Haim C. <hai...@us...> - 2004-07-31 09:50:06
|
Update of /cvsroot/buddy/buddy/src In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv26561 Modified Files: bddop.c Log Message: Fixing documentation typos. Patch was submitted by Alexandre |
|
From: Haim C. <hai...@us...> - 2004-07-31 13:48:30
|
Update of /cvsroot/buddy/buddy/src In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv24914 Modified Files: kernel.c Log Message: Improvement by Alexandre Duret-Lutz: This changes the default handler to abort(). This is much more useful because since that will preserve the context in a coredump, and from their you can narrow the bug in your application. |
|
From: Haim C. <hai...@us...> - 2004-08-03 16:40:29
|
Update of /cvsroot/buddy/buddy/examples/bddtest In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv23741/examples/bddtest Modified Files: bddtest.cxx expected Log Message: Fixing 'bug' [ 1002675 ] bddtest test fails on solaris. Since the test uses rand() which seems to have different implemetnations, it was replaced by lrand48() which man pages say it has a well defined formula. |
|
From: Haim C. <hai...@us...> - 2004-08-03 16:50:01
|
Update of /cvsroot/buddy/buddy/src In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv25286/src Modified Files: kernel.c kernel.h prime.c reorder.c Log Message: rand() was replaced by lrand48() because: 1. rand() seems to have different implementations on different platforms. 2. rand man pages explain it might have not-so-random LSBs, so it is not goot to use it with % to randomize numbers to to limit. Since lrand48() does not have default seed, ( like rand() has ) the pseudo random generator of lrand48 is seeded with arbitrary seed in bdd_init(). |
|
From: Haim C. <hai...@us...> - 2004-08-20 13:08:12
|
Update of /cvsroot/buddy/buddy In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv30893 Modified Files: ChangeLog Log Message: Updating after committing files |
|
From: John W. <joe...@us...> - 2004-09-24 02:56:47
|
Update of /cvsroot/buddy/buddy/src In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv16714 Modified Files: bddop.c kernel.c Log Message: Allow buddy to be reinitialized after calling "done()" without core-dumping. Some fields were not reset to NULL, so the second time you called bdd_done() it would lead to a core dump. |
|
From: John W. <joe...@us...> - 2005-01-28 03:30:51
|
Update of /cvsroot/buddy/buddy/src In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv13558/src Modified Files: reorder.c Log Message: Probable fix for Bug#1111195: bug in mark_roots causes BDD corruption |
|
From: John W. <joe...@us...> - 2005-01-28 04:06:14
|
Update of /cvsroot/buddy/buddy/src In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv21226/src Modified Files: reorder.c Log Message: Oops, reversed the test condition. |
|
From: John W. <joe...@us...> - 2005-05-04 22:43:25
|
Update of /cvsroot/buddy/buddy/src In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv11176 Modified Files: reorder.c Log Message: 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. |
Thanks for helping keep SourceForge clean.
X