Author | Revisions | Lines of Code | Added Lines of Code | Lines of Code per Change |
---|---|---|---|---|
joewhaley | 163 (98.8%) | 24785 (99.8%) | 27268 (99.8%) | 152.06 |
cunkel | 1 (0.6%) | 3 (0.0%) | 4 (0.0%) | 3.00 |
cs343 | 1 (0.6%) | 48 (0.2%) | 62 (0.2%) | 48.00 |
Date | Author | File/Message |
---|---|---|
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/11/05 6:35 PM | cunkel | domain resizing doesn't really work. throw an exception when it would be needed.
(1 Files changed,
4 Lines changed) net/sf/javabdd/BDDDomain.java 1.10
(+4
-1)
|
7/11/05 3:48 PM | cs343 | modified save and save_rec to use node hashcode & bitset instead of node object & map, to save memory.
previous implementation kept as save_rec_original.
note: this is incompatible with the CUDD factory, which should use the original implementation instead.
(1 Files changed,
62 Lines changed) net/sf/javabdd/BDDFactory.java 1.16
(+62
-14)
|
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)
|
6/29/05 12:52 AM | joewhaley | Implemented getCacheSize() for reset().
Also fixed implementation of var().
(1 Files changed,
6 Lines changed) net/sf/javabdd/CUDDFactory.java 1.8
(+6
-4)
|
6/29/05 12:49 AM | joewhaley | Added some comments.
(1 Files changed,
5 Lines changed) net/sf/javabdd/BuDDyFactory.java 1.13
(+5
-2)
|
6/3/05 1:20 PM | joewhaley | Fix AllSatIterator on terminal one.
(1 Files changed,
6 Lines changed) net/sf/javabdd/BDD.java 1.13
(+6
-4)
|
5/24/05 11:24 AM | joewhaley | Small cleanups.
(2 Files changed,
12 Lines changed) net/sf/javabdd/BDDFactory.java 1.15
(+6
-4)
net/sf/javabdd/BDD.java 1.12
(+6
-6)
|
5/23/05 5:17 PM | joewhaley | Fixed stupid bug in iterator. It was freeing old returned BDDs.
(1 Files changed,
3 Lines changed) net/sf/javabdd/BDD.java 1.11
(+3
-3)
|
5/21/05 3:15 AM | joewhaley | Use BDDIterator.nextValue().
(1 Files changed,
7 Lines changed) net/sf/javabdd/BDDDomain.java 1.9
(+7
-9)
|
5/21/05 3:14 AM | joewhaley | Added nextValue() to BDDIterator.
(1 Files changed,
27 Lines changed) net/sf/javabdd/BDD.java 1.10
(+27
-2)
|
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/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)
|