[Javabdd-checkins] JavaBDD/xdocs navigation.xml,1.6,1.7 links.xml,1.3,1.4 installing.xml,1.2,1.3 per
Brought to you by:
joewhaley
Menu
▾
▴
[Javabdd-checkins] JavaBDD/xdocs navigation.xml,1.6,1.7 links.xml,1.3,1.4 installing.xml,1.2,1.3 performance.xml,1.7,1.8 changes.xml,1.1,1.2
|
From: John W. <joe...@us...> - 2005-05-05 21:42:06
|
Update of /cvsroot/javabdd/JavaBDD/xdocs In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv24682/xdocs Modified Files: navigation.xml links.xml installing.xml performance.xml changes.xml Log Message: Checkin to prepare for 1.0b2 release. Index: installing.xml =================================================================== RCS file: /cvsroot/javabdd/JavaBDD/xdocs/installing.xml,v retrieving revision 1.2 retrieving revision 1.3 diff -C2 -d -r1.2 -r1.3 *** installing.xml 17 Nov 2004 23:49:12 -0000 1.2 --- installing.xml 5 May 2005 21:41:55 -0000 1.3 *************** *** 24,28 **** queens problem. You can run this example by simply typing: <br/> ! <code>java -jar javabdd.jar <i>N</i></code> <br/> where <code><i>N</i></code> is the size of the board (e.g. <code>8</code>). --- 24,28 ---- queens problem. You can run this example by simply typing: <br/> ! <code>java -jar javabdd-1.0b2.jar <i>N</i></code> <br/> where <code><i>N</i></code> is the size of the board (e.g. <code>8</code>). Index: navigation.xml =================================================================== RCS file: /cvsroot/javabdd/JavaBDD/xdocs/navigation.xml,v retrieving revision 1.6 retrieving revision 1.7 diff -C2 -d -r1.6 -r1.7 *** navigation.xml 20 Jan 2005 08:02:50 -0000 1.6 --- navigation.xml 5 May 2005 21:41:55 -0000 1.7 *************** *** 28,36 **** <menu name="Downloads"> <item name="JavaBDD for Windows" ! href="http://prdownloads.sourceforge.net/javabdd/javabdd_1.0b1.zip"/> <item name="JavaBDD for Linux" ! href="http://prdownloads.sourceforge.net/javabdd/javabdd_1.0b1.tar.gz"/> <item name="JavaBDD Source code" ! href="http://prdownloads.sourceforge.net/javabdd/javabdd_src_1.0b1.tar.gz"/> </menu> </body> --- 28,36 ---- <menu name="Downloads"> <item name="JavaBDD for Windows" ! href="http://prdownloads.sourceforge.net/javabdd/javabdd_1.0b2.zip"/> <item name="JavaBDD for Linux" ! href="http://prdownloads.sourceforge.net/javabdd/javabdd_1.0b2.tar.gz"/> <item name="JavaBDD Source code" ! href="http://prdownloads.sourceforge.net/javabdd/javabdd_src_1.0b2.tar.gz"/> </menu> </body> Index: links.xml =================================================================== RCS file: /cvsroot/javabdd/JavaBDD/xdocs/links.xml,v retrieving revision 1.3 retrieving revision 1.4 diff -C2 -d -r1.3 -r1.4 *** links.xml 5 Feb 2005 00:33:18 -0000 1.3 --- links.xml 5 May 2005 21:41:55 -0000 1.4 *************** *** 10,14 **** <section name="Acknowledgements"> <ul> - <li> <a href="http://www.itu.dk/people/jln">Jørn Lind-Nielsen</a>, the author of --- 10,13 ---- Index: performance.xml =================================================================== RCS file: /cvsroot/javabdd/JavaBDD/xdocs/performance.xml,v retrieving revision 1.7 retrieving revision 1.8 diff -C2 -d -r1.7 -r1.8 *** performance.xml 18 Nov 2004 00:04:14 -0000 1.7 --- performance.xml 5 May 2005 21:41:55 -0000 1.8 *************** *** 17,21 **** was: <br/> ! <code>java -mx512m -Dbdd=<i>package</i> -jar javabdd.jar 12</code> <br/> </p> --- 17,21 ---- was: <br/> ! <code>java -mx512m -Dbdd=<i>package</i> -jar javabdd-1.0b2.jar 12</code> <br/> </p> Index: changes.xml =================================================================== RCS file: /cvsroot/javabdd/JavaBDD/xdocs/changes.xml,v retrieving revision 1.1 retrieving revision 1.2 diff -C2 -d -r1.1 -r1.2 *** changes.xml 20 Jan 2005 07:50:26 -0000 1.1 --- changes.xml 5 May 2005 21:41:55 -0000 1.2 *************** *** 6,9 **** --- 6,36 ---- <body> + <release version="1.0b2" date="2005-05-05"> + <action dev="joewhaley" type="update"> + Better error handling in BDDIterator. + </action> + <action dev="joewhaley" type="update"> + More small performance improvements for the Java version. + </action> + <action dev="joewhaley" type="add"> + Added ability to register callbacks for various events. + </action> + <action dev="joewhaley" type="add"> + Added support for dynamically growing domains. + </action> + <action dev="joewhaley" type="add"> + Added support for running JavaBDD under restricted permissions; e.g. as an applet. + </action> + <action dev="joewhaley" type="fix"> + Fixed a bug involving finalizers. + </action> + <action dev="joewhaley" type="fix"> + Fixed a bug involving reset() and done(). + </action> + <action dev="joewhaley" type="fix"> + Fixed a bug involving reordering in the Java implementation. + </action> + </release> + <release version="1.0b1" date="2004-10-17"> <action dev="joewhaley" type="update"> |
