| Author | Revisions | Lines of Code | Added Lines of Code | Lines of Code per Change |
|---|---|---|---|---|
| joewhaley | 216 (99.5%) | 4696 (100.0%) | 11696 (99.9%) | 21.74 |
| cunkel | 1 (0.5%) | 2 (0.0%) | 12 (0.1%) | 2.00 |
| 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)
|
| 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: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)
|
| 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)
|
| 5/21/05 1:43 AM | joewhaley | Removed old allsat() procedures.
(1 Files changed,
0 Lines changed) buddy_jni.c 1.33
(+0
-45)
|
| 5/9/05 2:29 AM | joewhaley | Added support for Mac OS X.
(2 Files changed,
61 Lines changed) Makefile 1.43
(+51
-28)
buddy_jni.c 1.32
(+10
-4)
|
| 5/9/05 2:28 AM | joewhaley | *** empty log message ***
(1 Files changed,
1 Lines changed) .cvsignore 1.10
(+1
-0)
|
| 5/6/05 12:18 AM | joewhaley | Get rid of undef.
(1 Files changed,
0 Lines changed) buddy_jni.c 1.31
(+0
-2)
|
| 5/5/05 7:05 PM | joewhaley | *** empty log message ***
(1 Files changed,
1 Lines changed) Makefile 1.42
(+1
-0)
|
| 5/5/05 2:44 PM | joewhaley | Eclipse CDT project file.
(1 Files changed,
4 Lines changed) .cdtproject 1.1 added 4 |
| 5/5/05 2:41 PM | joewhaley | Checkin to prepare for 1.0b2 release.
(1 Files changed,
7 Lines changed) project.xml 1.18
(+7
-2)
|
| 5/5/05 2:21 PM | joewhaley | Update to 1.0b2
(1 Files changed,
1 Lines changed) maven.xml 1.4
(+1
-1)
|
| 5/5/05 2:17 PM | joewhaley | Added version number to jar file name.
(2 Files changed,
7 Lines changed) Makefile 1.41
(+7
-5)
javabdd.jardesc 1.7
(+0
-0)
|
| 4/19/05 1:50 AM | joewhaley | Print out cache stats if they are available.
(1 Files changed,
4 Lines changed) NQueens.java 1.17
(+4
-0)
|
| 4/7/05 10:27 PM | joewhaley | Support for dynamic resizing domains.
(1 Files changed,
19 Lines changed) buddy_jni.c 1.30
(+19
-1)
|
| 3/15/05 1:22 AM | joewhaley | Added setIncreaseFactor()
(1 Files changed,
18 Lines changed) buddy_jni.c 1.29
(+18
-0)
|
| 2/2/05 12:03 AM | joewhaley | Automatically find JDK 1.5, as well as 1.4.
(1 Files changed,
1 Lines changed) Makefile 1.40
(+1
-1)
|
| 1/31/05 4:17 AM | joewhaley | A little more robust.
(1 Files changed,
8 Lines changed) buddy_jni.c 1.28
(+8
-2)
|
