[Javabdd-checkins] JavaBDD/xdocs links.xml,NONE,1.1 changes.xml,NONE,1.1

SourceForge Headquarters 1320 Columbia Street Suite 310 San Diego, CA 92101 +1 (858) 422-6466

Update of /cvsroot/javabdd/JavaBDD/xdocs
In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv20266/xdocs

Added Files:
	links.xml changes.xml 
Log Message:
Added more pages to the maven-generated web site.

--- NEW FILE: changes.xml ---
<document>
  <properties>
    <title>Changes for JavaBDD</title>
    <author email="joe...@us...">John Whaley</author>
  </properties>
  <body>

    <release version="1.0b1" date="2004-10-17">
      <action dev="joewhaley" type="update">
        Many, many new features and enhancements.
      </action>
      <action dev="joewhaley" type="update">
        Performance for the Java version has been greatly improved, by 2x or so.
      </action>
      <action dev="joewhaley" type="update">
        Many new performance improvements for the native BuDDy library.
        Even if you are not using JavaBDD but are just using the BuDDy library
        with C or C++, you can use the included libbuddy.so to take advantage of
        these performance improvements.
      </action>
    </release>
    
    <release version="0.6" date="2003-10-31">
      <action dev="joewhaley" type="fix">
        Fixed security problems by adding better null and type checking.
        It should no longer be possible to crash the VM by passing in unexpected values.
      </action>
      <action dev="joewhaley" type="update">
        Updated API: applyWith(), etc. methods return the 'this' pointer, for easier nested operations.
      </action>
      <action dev="joewhaley" type="add">
        Addition of typed BDD factory, for type checking of BDD code.
      </action>
      <action dev="joewhaley" type="update">
        Code cleanups. JNI interface was made a few percent faster by moving object allocations into Java code.
      </action>
    </release>

    <release version="0.5" date="2003-8-4">
      <action dev="joewhaley" type="add">
        Major update.
        Added a 100% Java implementation of the BDD factory, so the native library is no longer necessary.
      </action>
      <action dev="joewhaley" type="add">
        Java implementation of variable domains. Domains can be up to 2^64 in size!
      </action>
      <action dev="joewhaley" type="add">
        Java implementation of bit vectors, along with the associated operations (add, subtract, multiply, divide, etc.)
      </action>
      <action dev="joewhaley" type="fix">
        Fixes and extensions to the CUDD interface. Now CUDD can run all of the test cases correctly.
      </action>
      <action dev="joewhaley" type="update">
        More small refinements to the API.
      </action>
    </release>
    
    <release version="0.4" date="2003-6-18">
      <action dev="joewhaley" type="add">
        Added an interface to the CUDD library.
        Only basic operations have been implemented and tested.
        Many features (like variable domains) have not been implemented/ported yet.
      </action>
      <action dev="joewhaley" type="update">
        Improved the support for printing of BDDs.
        Now you can specify an interface that will convert the domain indices/members into meaningful strings.
      </action>
      <action dev="joewhaley" type="update">
        Some small updates to the API.
        Notably, scanSet() now takes a BDDDomain object, rather than a domain number.
      </action>
    </release>
    
    <release version="0.3" date="2003-2-21">
      <action dev="joewhaley" type="fix">
        Many bugs fixed.
      </action>
      <action dev="joewhaley" type="update">
        Most functionality has been tested, so this version should be moreorless stable and useable.
      </action>
    </release>

    <release version="0.2" date="2003-2-1">
      <action dev="joewhaley" type="update">
        Still largely untested. Proceed at your own risk.
      </action>
      <action dev="joewhaley" type="add">
        Added support for variable domains.
      </action>
      <action dev="joewhaley" type="add">
        Added support for variable pairings.
      </action>
      <action dev="joewhaley" type="add">
        Added support for defining variable orderings.
      </action>
      <action dev="joewhaley" type="fix">
        Fixed some LinkageError exceptions.
      </action>
    </release>
      
    <release version="0.2" date="2003-1-30">
      <action dev="joewhaley" type="add">
        Initial release. Largely untested.
      </action>
    </release>

  </body>
</document>

--- NEW FILE: links.xml ---
<?xml version="1.0" encoding="UTF-8"?>
<document>

  <properties>
    <title>JavaBDD Links</title>
    <author email="joe...@us...">John Whaley</author> 
  </properties>

  <body>
     <section name="Acknowledgements">
      <ul>
       
       <li>
           <a href="http://www.itu.dk/people/jln">JÃ¸rn Lind-Nielsen</a>, the author of
           <a href="http://buddy.sourceforge.net">BuDDy</a>, for an outstanding package.
       </li>
       <li>
           <a href="http://vlsi.colorado.edu/~fabio/">Fabio Somenzi</a>, the author of
           <a href="http://vlsi.colorado.edu/~fabio/CUDD/cuddIntro.html">CUDD</a>.
       </li>
       <li>
           <a href="http://www.chl.chalmers.se/~vahidi/index.shtml">Arash Vahidi</a>, author of
           <a href="http://javaddlib.sourceforge.net/">JBDD</a>, a precursor to JavaBDD.
       </li>
      </ul>
    </section>
    <section name="Related Links">
     <ul>
      <li>
       <a href="http://javaddlib.sourceforge.net/">JavaDD</a>, a decision diagram library for Java.
      </li>
      <li>
       <a href="http://buddy.sourceforge.net">BuDDy</a>
      </li>
      <li>
       <a href="http://vlsi.colorado.edu/~fabio/CUDD/cuddIntro.html">CUDD</a>
      </li>
      <li>
       <a href="http://www-cad.eecs.berkeley.edu/Research/cal_bdd/">CAL</a>:
       breadth-first-based BDD package
      </li>
      <li>
       <a href="http://www-2.cs.cmu.edu/~bwolen/software/">PPBF</a>:
       parallel BDD package based on partial breadth-first expansion
      </li>
     </ul>
    </section>
  </body>
</document>