| Author | Revisions | Lines of Code | Added Lines of Code | Lines of Code per Change |
|---|---|---|---|---|
| joewhaley | 79 (100.0%) | 15648 (100.0%) | 16525 (100.0%) | 198.08 |
| Date | Author | File/Message |
|---|---|---|
| 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/4/05 3:36 PM | joewhaley | Fixed idiotic bug.
(1 Files changed,
1 Lines changed) buddy/src/reorder.c 1.10
(+1
-1)
|
| 5/4/05 3:14 PM | joewhaley | Set pairs to null when calling bdd_done() so that we can reinitialize safely.
(1 Files changed,
1 Lines changed) buddy/src/pairs.c 1.5
(+1
-0)
|
| 4/18/05 4:10 PM | joewhaley | Changed default max node increment.
(1 Files changed,
1 Lines changed) buddy/src/kernel.h 1.6
(+1
-1)
|
| 4/17/05 3:21 AM | joewhaley | Updates to duplicateVar. Seems to actually work now.
(3 Files changed,
80 Lines changed) buddy/src/kernel.h 1.5
(+2
-0)
buddy/src/pairs.c 1.4
(+16
-0)
buddy/src/kernel.c 1.10
(+62
-37)
|
| 4/7/05 10:28 PM | joewhaley | Support for dynamic resizing domains.
(3 Files changed,
85 Lines changed) buddy/src/bdd.h 1.5
(+2
-0)
buddy/src/kernel.c 1.9
(+83
-2)
buddy/src/reorder.c 1.9
(+0
-1)
|
| 3/15/05 1:22 AM | joewhaley | Added setIncreaseFactor()
(1 Files changed,
30 Lines changed) buddy/src/kernel.c 1.8
(+30
-2)
|
| 1/31/05 4:04 AM | joewhaley | Fix stupid bug.
(1 Files changed,
4 Lines changed) buddy/src/reorder.c 1.8
(+4
-4)
|
| 1/31/05 4:03 AM | joewhaley | Added correct support for unique() and appuni().
(1 Files changed,
129 Lines changed) buddy/src/bddop.c 1.10
(+129
-8)
|
| 1/31/05 2:23 AM | joewhaley | Special optimization in makenode search when using small nodes.
(1 Files changed,
19 Lines changed) buddy/src/kernel.c 1.7
(+19
-0)
|
| 1/31/05 2:02 AM | joewhaley | Updates to buddy to support small (4 word) BDD nodes.
(6 Files changed,
344 Lines changed) buddy/src/kernel.c 1.6
(+44
-49)
buddy/src/bddop.c 1.9
(+1
-1)
buddy/src/kernel.h 1.4
(+230
-54)
buddy/src/bddio.c 1.4
(+1
-1)
buddy/src/cppext.cxx 1.2
(+1
-1)
buddy/src/reorder.c 1.7
(+67
-73)
|
| 1/30/05 6:43 AM | joewhaley | Added comment.
(1 Files changed,
1 Lines changed) buddy/src/pairs.c 1.3
(+1
-0)
|
| 1/29/05 3:33 AM | joewhaley | Call the reorder handler on every reorder, not just automatic reorders.
(1 Files changed,
27 Lines changed) buddy/src/reorder.c 1.6
(+27
-24)
|
| 1/27/05 8:07 PM | joewhaley | *** empty log message ***
(1 Files changed,
1 Lines changed) buddy/src/reorder.c 1.5
(+1
-1)
|
| 1/27/05 7:24 PM | joewhaley | Fix for buddy bug #1111195:
BDD corruption with GC and reordering
(1 Files changed,
1 Lines changed) buddy/src/reorder.c 1.4
(+1
-1)
|
| 11/17/04 3:06 PM | joewhaley | Improvements to the trace generation.
(2 Files changed,
56 Lines changed) buddy/src/trace.c 1.2
(+48
-2)
buddy/src/trace.h 1.2
(+8
-8)
|
| 11/17/04 3:05 PM | joewhaley | Added bdd_setallocnum.
(2 Files changed,
117 Lines changed) buddy/src/bdd.h 1.4
(+1
-1)
buddy/src/kernel.c 1.5
(+116
-102)
|
| 11/17/04 3:03 PM | joewhaley | Make it C compatible.
(1 Files changed,
27 Lines changed) buddy/src/bddop.c 1.8
(+27
-15)
|
| 10/19/04 4:11 AM | joewhaley | Support for more features.
(2 Files changed,
20 Lines changed) buddy/src/bdd.h 1.3
(+1
-0)
buddy/src/kernel.c 1.4
(+19
-7)
|
| 10/17/04 9:37 PM | joewhaley | Added "*.o"
(1 Files changed,
1 Lines changed) buddy/src/.cvsignore 1.2
(+1
-0)
|
