| Author | Revisions | Lines of Code | Added Lines of Code | Lines of Code per Change |
|---|---|---|---|---|
| joewhaley | 115 (95.0%) | 611 (99.8%) | 869 (99.0%) | 5.31 |
| cs343 | 5 (4.1%) | 1 (0.2%) | 9 (1.0%) | 0.20 |
| jzhuang | 1 (0.8%) | 0 (0.0%) | 0 (0.0%) | 0.00 |
| Date | Author | File/Message |
|---|---|---|
| 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.
(1 Files changed,
0 Lines changed) javabdd-1.0b2.jar 1.6
(+0
-0)
|
| 10/12/05 3:28 AM | joewhaley | Newer version.
(1 Files changed,
0 Lines changed) jwutil-1.0.jar 1.9
(+0
-0)
|
| 9/27/05 3:57 PM | joewhaley | New JavaBDD library.
(1 Files changed,
0 Lines changed) javabdd-1.0b2.jar 1.5
(+0
-0)
|
| 9/2/05 1:02 AM | joewhaley | Add CUDD library to cvsignore.
(1 Files changed,
2 Lines changed) .cvsignore 1.10
(+2
-0)
|
| 8/30/05 4:08 AM | joewhaley | New version with better union-find.
(1 Files changed,
0 Lines changed) jwutil-1.0.jar 1.8
(+0
-0)
|
| 6/27/05 3:18 PM | joewhaley | Added proguard.jar
(1 Files changed,
1 Lines changed) .cvsignore 1.9
(+1
-0)
|
| 6/27/05 3:13 PM | joewhaley | Fix Eclipse classpath, project files.
(2 Files changed,
8 Lines changed) .classpath 1.14
(+8
-32)
.project 1.5
(+0
-2)
|
| 5/31/05 1:47 AM | joewhaley | Changed to new jar file name.
(1 Files changed,
3 Lines changed) bddbddb.pro 1.4
(+3
-3)
|
| 5/23/05 5:48 PM | joewhaley | Updated versions of library.
(2 Files changed,
0 Lines changed) jwutil-1.0.jar 1.7
(+0
-0)
javabdd-1.0b2.jar 1.4
(+0
-0)
|
| 5/21/05 11:07 AM | joewhaley | Updated JavaBDD library
(1 Files changed,
0 Lines changed) javabdd-1.0b2.jar 1.3
(+0
-0)
|
| 5/18/05 1:49 AM | joewhaley | Updated to JavaBDD 1.0b2
(1 Files changed,
1 Lines changed) classworlds.conf 1.2
(+1
-2)
|
| 5/10/05 6:46 PM | joewhaley | Updated JavaBDD.
(1 Files changed,
0 Lines changed) javabdd-1.0b2.jar 1.2
(+0
-0)
|
| 5/8/05 6:35 PM | joewhaley | Changed to JavaBDD 1.0b2
(1 Files changed,
0 Lines changed) Makefile 1.10
(+0
-0)
|
| 5/5/05 6:59 PM | joewhaley | Update to JavaBDD 1.0b2
(3 Files changed,
32 Lines changed) javabdd.jar 1.15 removed .classpath 1.13
(+32
-7)
javabdd-1.0b2.jar 1.1 added |
| 5/5/05 2:58 PM | joewhaley | Update to JavaBDD 1.0b2
(2 Files changed,
3 Lines changed) project.xml 1.18
(+2
-2)
project.properties 1.10
(+1
-1)
|
| 5/5/05 1:59 PM | joewhaley | Update to match sourceforge server change.
(1 Files changed,
1 Lines changed) project.xml 1.17
(+1
-1)
|
| 4/28/05 11:24 PM | joewhaley | *** empty log message ***
(1 Files changed,
1 Lines changed) .cvsignore 1.8
(+1
-0)
|
| 4/28/05 11:22 PM | joewhaley | Remove path names.
(1 Files changed,
5 Lines changed) bddbddb.pro 1.3
(+5
-4)
|
| 4/28/05 7:34 PM | joewhaley | Many updates to support applet version.
(6 Files changed,
15 Lines changed) Makefile 1.9
(+0
-0)
javabdd.jar 1.14
(+0
-0)
bddbddb.jardesc 1.7
(+4
-3)
jwutil-1.0.jar 1.6
(+0
-0)
bddbddb.pro 1.2
(+2
-2)
applet.html 1.1 added 9 |
