| Date | Author | File/Message |
|---|---|---|
| 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.
(6 Files changed,
39 Lines changed) xdocs/links.xml 1.4
(+0
-1)
xdocs/navigation.xml 1.7
(+3
-3)
xdocs/changes.xml 1.2
(+27
-0)
xdocs/installing.xml 1.3
(+1
-1)
xdocs/performance.xml 1.8
(+1
-1)
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:18 PM | joewhaley | Added version number to jar file name.
(1 Files changed,
0 Lines changed) javabdd.jardesc 1.7
(+0
-0)
|
| 5/5/05 2:18 PM | joewhaley | Remove old file.
(1 Files changed,
0 Lines changed) net/sf/javabdd/HijackingClassLoader.java 1.2 removed |
| 5/5/05 2:17 PM | joewhaley | Added version number to jar file name.
(1 Files changed,
7 Lines changed) Makefile 1.41
(+7
-5)
|
| 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:34 PM | joewhaley | Delete bogus class files.
(6 Files changed,
0 Lines changed) net/sf/javabdd/CALFactory$1.class 1.4 removed net/sf/javabdd/JDDFactory$1.class 1.4 removed net/sf/javabdd/BuDDyFactory$1.class 1.4 removed net/sf/javabdd/CUDDFactory$1.class 1.4 removed net/sf/javabdd/TestBDDFactory$1.class 1.2 removed net/sf/javabdd/BDDFactory$1.class 1.4 removed |
| 5/4/05 3:31 PM | joewhaley | Don't use finalizer() on bdd factory objects by default.
(8 Files changed,
23 Lines changed) net/sf/javabdd/BDDFactory.java 1.11
(+4
-12)
net/sf/javabdd/BDDFactory$1.class 1.3 added net/sf/javabdd/BuDDyFactory.java 1.11
(+19
-3)
net/sf/javabdd/TestBDDFactory$1.class 1.1 added net/sf/javabdd/CUDDFactory$1.class 1.3 added net/sf/javabdd/CALFactory$1.class 1.3 added net/sf/javabdd/JDDFactory$1.class 1.3 added net/sf/javabdd/BuDDyFactory$1.class 1.3 added |
| 5/4/05 3:23 PM | joewhaley | Don't use finalizer() on bddpairs by default.
(1 Files changed,
25 Lines changed) net/sf/javabdd/BuDDyFactory.java 1.10
(+25
-10)
|
| 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/28/05 11:43 PM | joewhaley | Added UID for serialization.
(3 Files changed,
26 Lines changed) net/sf/javabdd/MicroFactory.java 1.10
(+7
-2)
net/sf/javabdd/JFactory.java 1.21
(+13
-3)
net/sf/javabdd/BDDException.java 1.2
(+6
-1)
|
| 4/28/05 7:25 PM | joewhaley | Many updates to support applet version.
(6 Files changed,
36 Lines changed) net/sf/javabdd/CALFactory.java 1.6
(+4
-4)
net/sf/javabdd/TypedBDDFactory.java 1.7
(+4
-4)
net/sf/javabdd/BuDDyFactory.java 1.9
(+5
-5)
net/sf/javabdd/BDDFactory.java 1.10
(+15
-6)
net/sf/javabdd/CUDDFactory.java 1.6
(+4
-4)
net/sf/javabdd/TestBDDFactory.java 1.7
(+4
-4)
|
| 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/19/05 1:49 AM | joewhaley | Update to latest eclipse version.
(2 Files changed,
227 Lines changed) .settings/org.eclipse.jdt.core.prefs 1.2
(+217
-205)
.settings/org.eclipse.jdt.ui.prefs 1.2
(+10
-9)
|
| 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.
(7 Files changed,
248 Lines changed) buddy/src/kernel.h 1.5
(+2
-0)
net/sf/javabdd/MicroFactory.java 1.9
(+88
-24)
buddy/src/pairs.c 1.4
(+16
-0)
net/sf/javabdd/BDDFactory.java 1.9
(+7
-4)
buddy/src/kernel.c 1.10
(+62
-37)
net/sf/javabdd/JFactory.java 1.20
(+68
-25)
net/sf/javabdd/BDDDomain.java 1.7
(+5
-1)
|
| 4/14/05 4:58 PM | joewhaley | More updates.
(3 Files changed,
20 Lines changed) net/sf/javabdd/BDDDomain.java 1.6
(+4
-3)
net/sf/javabdd/JFactory.java 1.19
(+6
-4)
net/sf/javabdd/BDDFactory.java 1.8
(+10
-4)
|