| Comment | Frequency |
|---|---|
| *** empty log message *** | 58 (14.5%) |
| Update to reflect version 0.6. | 3 (0.8%) |
| Unified makefile. | 2 (0.5%) |
| Small updates. | 2 (0.5%) |
| Small cleanups. | 2 (0.5%) |
| 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)
|
| 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 6:34 PM | cunkel | change #if to if() to accomodate cygwin gcc 3.4.4's obnoxious definition of CLOCKS_PER_SEC as "(clock_t) 1000".
(1 Files changed,
12 Lines changed) buddy_jni.c 1.34
(+12
-10)
|
| 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 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)
|
| 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)
|