| Login: cunkel Fullname: cunkel Revisions: 2 Lines of Code: 5 Added Lines of Code: 16 Lines of Code per Change: 2.5 |
| Date | Author | File/Message |
|---|---|---|
| 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)
|
