| Login: joewhaley Fullname: joewhaley Revisions: 776 Lines of Code: 46433 Added Lines of Code: 83615 Lines of Code per Change: 59.8 |
| Date | Author | File/Message |
|---|---|---|
| 5/20/06 11:01 PM | joewhaley | Naughty sourceforge changed the CVS root.
(1 Files changed,
3 Lines changed) project.xml 1.19
(+3
-3)
|
| 10/12/05 10:59 PM | joewhaley | Added parameterized waiting factors.
(1 Files changed,
7 Lines changed) net/sf/javabdd/FindBestOrder.java 1.2
(+7
-3)
|
| 10/12/05 10:37 PM | joewhaley | Added parameterized waiting factors.
(1 Files changed,
7 Lines changed) net/sf/javabdd/TryVarOrder.java 1.3
(+7
-5)
|
| 10/12/05 3:27 AM | joewhaley | Added support in makeVarOrdering for when some variables are not in BDDDomains.
(1 Files changed,
9 Lines changed) net/sf/javabdd/BDDFactory.java 1.18
(+9
-6)
|
| 9/27/05 3:56 PM | joewhaley | Added support for variable translation during load.
(2 Files changed,
29 Lines changed) net/sf/javabdd/JFactory.java 1.28
(+9
-7)
net/sf/javabdd/BDDFactory.java 1.17
(+20
-4)
|
| 7/22/05 12:43 PM | joewhaley | Fix stupid warning.
(1 Files changed,
1 Lines changed) cudd_jni.c 1.16
(+1
-1)
|
| 7/22/05 12:36 PM | joewhaley | Added more fixes, error checking to setVarNum().
(1 Files changed,
23 Lines changed) cudd_jni.c 1.15
(+23
-14)
|
| 7/22/05 12:11 PM | joewhaley | Fixes to CUDD to correctly get and set number of variables.
(1 Files changed,
9 Lines changed) cudd_jni.c 1.14
(+9
-3)
|
| 6/29/05 1:00 AM | joewhaley | Fixed implementation of CUDD pairing.
Also added getCacheSize()
(1 Files changed,
135 Lines changed) cudd_jni.c 1.13
(+135
-74)
|
| 6/29/05 12:54 AM | joewhaley | Removed stale import.
(1 Files changed,
2 Lines changed) net/sf/javabdd/MicroFactory.java 1.12
(+2
-3)
|
