| Login: joewhaley Fullname: joewhaley Revisions: 1308 Lines of Code: 19287 Added Lines of Code: 68682 Lines of Code per Change: 14.7 |
| Date | Author | File/Message |
|---|---|---|
| 5/21/06 1:28 AM | joewhaley | Fixed broken link.
(1 Files changed,
1 Lines changed) xdocs/navigation.xml 1.5
(+1
-1)
|
| 5/21/06 1:00 AM | joewhaley | Naughty sourceforge changed the CVS root.
(1 Files changed,
3 Lines changed) project.xml 1.19
(+3
-3)
|
| 1/21/06 8:03 PM | joewhaley | Support for specifying BDDs with _op?.bdd suffix.
(2 Files changed,
15 Lines changed) javabdd-1.0b2.jar 1.6
(+0
-0)
net/sf/bddbddb/TryDomainOrders.java 1.5
(+15
-7)
|
| 10/12/05 11:01 PM | joewhaley | Try initial variable ordering first.
(1 Files changed,
14 Lines changed) net/sf/bddbddb/TryDomainOrders.java 1.4
(+14
-1)
|
| 10/12/05 3:41 AM | joewhaley | Get rid of maxincrease.
(1 Files changed,
1 Lines changed) net/sf/bddbddb/TryDomainOrders.java 1.3
(+1
-1)
|
| 10/12/05 3:29 AM | joewhaley | Make it compile under older JDKs.
(1 Files changed,
1 Lines changed) net/sf/bddbddb/TryDomainOrders.java 1.2
(+1
-1)
|
| 10/12/05 3:28 AM | joewhaley | Newer version.
(1 Files changed,
0 Lines changed) jwutil-1.0.jar 1.9
(+0
-0)
|
| 10/12/05 3:25 AM | joewhaley | New simple test to try all domain orders for an operation.
(1 Files changed,
252 Lines changed) net/sf/bddbddb/TryDomainOrders.java 1.1 added 252 |
| 10/10/05 11:55 PM | joewhaley | Oops. Hope it works now.
(1 Files changed,
7 Lines changed) net/sf/bddbddb/BDDInferenceRule.java 1.40
(+7
-7)
|
| 10/10/05 11:38 PM | joewhaley | Fix dumpslow.
(1 Files changed,
23 Lines changed) net/sf/bddbddb/BDDInferenceRule.java 1.39
(+23
-11)
|
