| Date | Author | File/Message |
|---|---|---|
| 5/21/05 2:54 AM | joewhaley | Added tuple support to iterator.
(1 Files changed,
104 Lines changed) net/sf/javabdd/BDD.java 1.9
(+104
-6)
|
| 5/21/05 1:46 AM | joewhaley | Changed return type of allsat().
(8 Files changed,
18 Lines changed) net/sf/javabdd/TypedBDDFactory.java 1.8
(+4
-5)
net/sf/javabdd/MicroFactory.java 1.11
(+2
-71)
net/sf/javabdd/JFactory.java 1.27
(+2
-68)
net/sf/javabdd/JDDFactory.java 1.6
(+2
-10)
net/sf/javabdd/BuDDyFactory.java 1.12
(+2
-10)
net/sf/javabdd/CALFactory.java 1.7
(+2
-11)
net/sf/javabdd/CUDDFactory.java 1.7
(+2
-11)
net/sf/javabdd/TestBDDFactory.java 1.8
(+2
-21)
|
| 5/21/05 1:44 AM | joewhaley | Much improved iterator() and allsat() iterator.
(1 Files changed,
222 Lines changed) net/sf/javabdd/BDD.java 1.8
(+222
-371)
|
| 5/21/05 1:43 AM | joewhaley | Removed old allsat() procedures.
(1 Files changed,
0 Lines changed) buddy_jni.c 1.33
(+0
-45)
|
| 5/20/05 9:37 PM | joewhaley | Add free() when using iterator()
(1 Files changed,
2 Lines changed) net/sf/javabdd/BDDDomain.java 1.8
(+2
-1)
|
| 5/20/05 7:47 PM | joewhaley | Fixed stupid bug. Now it seems to work OK.
(1 Files changed,
14 Lines changed) net/sf/javabdd/BDD.java 1.7
(+14
-15)
|
| 5/20/05 7:03 PM | joewhaley | New iterator(), still testing.
(1 Files changed,
135 Lines changed) net/sf/javabdd/BDD.java 1.6
(+135
-2)
|
| 5/17/05 12:42 AM | joewhaley | Fixed stupid typo. (0.2 should have been 0.1)
(1 Files changed,
1 Lines changed) xdocs/changes.xml 1.3
(+1
-1)
|
| 5/10/05 6:24 PM | joewhaley | Fixed bug in bdd_default_reohandler causing wrong time to be displayed.
(1 Files changed,
4 Lines changed) net/sf/javabdd/BDDFactory.java 1.14
(+4
-8)
|
| 5/10/05 6:24 PM | joewhaley | Fixed bug in reorder_rehashAll()
(1 Files changed,
6 Lines changed) net/sf/javabdd/JFactory.java 1.26
(+6
-8)
|
| 5/10/05 2:16 PM | joewhaley | Many fixes to dynamic variable reordering.
(1 Files changed,
129 Lines changed) net/sf/javabdd/JFactory.java 1.25
(+129
-46)
|
| 5/9/05 7:56 PM | joewhaley | Added getVarOrder().
(1 Files changed,
19 Lines changed) net/sf/javabdd/BDDFactory.java 1.13
(+19
-5)
|
| 5/9/05 7:54 PM | joewhaley | Temporary checkin.
(1 Files changed,
105 Lines changed) net/sf/javabdd/JFactory.java 1.24
(+105
-30)
|
| 5/9/05 2:31 AM | joewhaley | *** empty log message ***
(1 Files changed,
2 Lines changed) xdocs/navigation.xml 1.8
(+2
-0)
|
| 5/9/05 2:29 AM | joewhaley | Added support for Mac OS X.
(2 Files changed,
61 Lines changed) Makefile 1.43
(+51
-28)
buddy_jni.c 1.32
(+10
-4)
|
| 5/9/05 2:28 AM | joewhaley | *** empty log message ***
(1 Files changed,
1 Lines changed) .cvsignore 1.10
(+1
-0)
|
| 5/8/05 6:43 PM | joewhaley | Fixed bug found by Mayur. Support set size was not being reset correctly.
Also added some (untested) code using variable blocks to reorder BDD domains with interleaving support.
(1 Files changed,
96 Lines changed) net/sf/javabdd/JFactory.java 1.23
(+96
-3)
|
| 5/8/05 6:40 PM | joewhaley | Fixed bug found by Mayur. Support set size was not being reset correctly.
(1 Files changed,
3 Lines changed) buddy/src/bddop.c 1.11
(+3
-1)
|
| 5/6/05 4:54 PM | joewhaley | Change default max node increase to 10M.
(1 Files changed,
3 Lines changed) net/sf/javabdd/JFactory.java 1.22
(+3
-3)
|
| 5/6/05 4:50 PM | joewhaley | Fixed reorder callback.
(1 Files changed,
5 Lines changed) net/sf/javabdd/BDDFactory.java 1.12
(+5
-5)
|