| Date | Author | File/Message |
|---|---|---|
| 1/31/05 2:02 AM | joewhaley | Updates to buddy to support small (4 word) BDD nodes.
(6 Files changed,
344 Lines changed) buddy/src/kernel.c 1.6
(+44
-49)
buddy/src/bddop.c 1.9
(+1
-1)
buddy/src/kernel.h 1.4
(+230
-54)
buddy/src/bddio.c 1.4
(+1
-1)
buddy/src/cppext.cxx 1.2
(+1
-1)
buddy/src/reorder.c 1.7
(+67
-73)
|
| 1/30/05 4:08 PM | joewhaley | Fix getVersion().
Get BDD factories to test from system properties.
(1 Files changed,
7 Lines changed) net/sf/javabdd/TestBDDFactory.java 1.5
(+7
-5)
|
| 1/30/05 4:07 PM | joewhaley | Bug fixes to make it actually work.
(1 Files changed,
160 Lines changed) net/sf/javabdd/MicroFactory.java 1.2
(+160
-64)
|
| 1/30/05 4:05 PM | joewhaley | Turn on cache flush on gc.
Also fix bug in cloneFactory().
(1 Files changed,
15 Lines changed) net/sf/javabdd/JFactory.java 1.13
(+15
-9)
|
| 1/30/05 6:43 AM | joewhaley | Added comment.
(1 Files changed,
1 Lines changed) buddy/src/pairs.c 1.3
(+1
-0)
|
| 1/30/05 6:42 AM | joewhaley | Update.
(1 Files changed,
0 Lines changed) javabdd.jardesc 1.6
(+0
-0)
|
| 1/30/05 6:42 AM | joewhaley | Added new microBDD factory: each BDD node is only 4 words.
(3 Files changed,
6315 Lines changed) net/sf/javabdd/BDDFactory.java 1.6
(+6
-4)
net/sf/javabdd/JFactory.java 1.12
(+73
-4)
net/sf/javabdd/MicroFactory.java 1.1 added 6236 |
| 1/29/05 3:38 AM | joewhaley | Can't use JAVA_CLASSFILES as a make dependency because it uses *.
(1 Files changed,
1 Lines changed) Makefile 1.39
(+1
-1)
|
| 1/29/05 3:37 AM | joewhaley | Added complete support for callbacks, including passing stats objects, etc.
(4 Files changed,
271 Lines changed) net/sf/javabdd/JFactory.java 1.11
(+28
-76)
net/sf/javabdd/BuDDyFactory.java 1.7
(+5
-5)
buddy_jni.c 1.25
(+51
-4)
net/sf/javabdd/BDDFactory.java 1.5
(+187
-14)
|
| 1/29/05 3:33 AM | joewhaley | Call the reorder handler on every reorder, not just automatic reorders.
(1 Files changed,
27 Lines changed) buddy/src/reorder.c 1.6
(+27
-24)
|
| 1/28/05 5:10 PM | joewhaley | Fixed unique() and applyUni()
(1 Files changed,
137 Lines changed) net/sf/javabdd/JFactory.java 1.10
(+137
-10)
|
| 1/27/05 8:07 PM | joewhaley | *** empty log message ***
(1 Files changed,
1 Lines changed) buddy/src/reorder.c 1.5
(+1
-1)
|
| 1/27/05 7:24 PM | joewhaley | Fix for buddy bug #1111195:
BDD corruption with GC and reordering
(2 Files changed,
8 Lines changed) net/sf/javabdd/JFactory.java 1.9
(+7
-3)
buddy/src/reorder.c 1.4
(+1
-1)
|
| 1/26/05 7:48 PM | joewhaley | Added validate routine.
(1 Files changed,
38 Lines changed) net/sf/javabdd/JFactory.java 1.8
(+38
-2)
|
| 1/26/05 6:06 PM | joewhaley | Added dependency.
(1 Files changed,
1 Lines changed) Makefile 1.38
(+1
-1)
|
| 1/26/05 3:46 PM | joewhaley | Duh.
(1 Files changed,
4 Lines changed) net/sf/javabdd/BDD.java 1.5
(+4
-4)
|
| 1/26/05 3:40 PM | joewhaley | More debugging info.
(1 Files changed,
12 Lines changed) net/sf/javabdd/BDD.java 1.4
(+12
-4)
|
| 1/20/05 12:02 AM | joewhaley | URL for sourceforge download has changed.
(1 Files changed,
5 Lines changed) xdocs/navigation.xml 1.6
(+5
-3)
|
| 1/19/05 11:50 PM | joewhaley | Added more pages to the maven-generated web site.
(2 Files changed,
157 Lines changed) xdocs/changes.xml 1.1 added 108 xdocs/links.xml 1.1 added 49 |
| 1/19/05 3:50 PM | joewhaley | Better error message.
(1 Files changed,
13 Lines changed) net/sf/javabdd/BDD.java 1.3
(+13
-4)
|