[Javabdd-checkins] JavaBDD project.properties,1.11,1.12 project.xml,1.16,1.17
Brought to you by:
joewhaley
Menu
▾
▴
[Javabdd-checkins] JavaBDD project.properties,1.11,1.12 project.xml,1.16,1.17
|
From: John W. <joe...@us...> - 2005-01-02 08:00:54
|
Update of /cvsroot/javabdd/JavaBDD In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv20070 Modified Files: project.properties project.xml Log Message: Update Maven stuff. Index: project.properties =================================================================== RCS file: /cvsroot/javabdd/JavaBDD/project.properties,v retrieving revision 1.11 retrieving revision 1.12 diff -C2 -d -r1.11 -r1.12 *** project.properties 17 Nov 2004 05:55:28 -0000 1.11 --- project.properties 2 Jan 2005 08:00:41 -0000 1.12 *************** *** 4,7 **** --- 4,8 ---- maven.compile.source = 1.3 + maven.compile.target = 1.3 # The string to look for in TODO tags, used by tasklist plugin. Index: project.xml =================================================================== RCS file: /cvsroot/javabdd/JavaBDD/project.xml,v retrieving revision 1.16 retrieving revision 1.17 diff -C2 -d -r1.16 -r1.17 *** project.xml 17 Nov 2004 05:54:22 -0000 1.16 --- project.xml 2 Jan 2005 08:00:42 -0000 1.17 *************** *** 1,9 **** ! <?xml version="1.0"?> <project> <pomVersion>3</pomVersion> <name>JavaBDD</name> <id>javabdd</id> <currentVersion>1.0b1</currentVersion> ! <logo>/images/logo2_mid.jpg</logo> <organization> <name>John Whaley</name> --- 1,11 ---- ! <?xml version="1.0" encoding="UTF-8"?> <project> <pomVersion>3</pomVersion> + <artifactId>javabdd</artifactId> <name>JavaBDD</name> + <groupId>javabdd</groupId> <id>javabdd</id> <currentVersion>1.0b1</currentVersion> ! <logo>/images/logo2_mid.jpg</logo> <organization> <name>John Whaley</name> *************** *** 13,68 **** <inceptionYear>2003</inceptionYear> <package>net.sf.javabdd</package> - <shortDescription>Java Binary Decision Diagram library</shortDescription> - <description> ! <![CDATA[ ! <p>JavaBDD is a Java library for manipulating BDDs (Binary Decision Diagrams). Binary decision diagrams are widely used in model checking, formal verification, optimizing circuit diagrams, etc. For an excellent overview of ! the BDD data structure, see this set of <a href="http://www.itu.dk/people/hra/notes-index.html"> ! lecture notes</a> by Henrik Reif Andersen.</p> ! <p>The JavaBDD API is based on that of the popular <a href="http://www.itu.dk/research/buddy/"> ! BuDDy</a> package, a BDD package written in C by Jørn Lind-Nielsen. However, JavaBDD's API is designed to be object-oriented. The ugly C function interface and reference counting schemes have been hidden underneath a uniform, ! object-oriented interface.</p> ! <p>JavaBDD includes a 100% Java implementation. It can also interface with the ! <a href="http://javaddlib.sourceforge.net/jdd/">JDD</a> library, or with three ! popular BDD libraries written in C via a JNI interface: <a href="http://www.itu.dk/research/buddy/"> ! BuDDy</a>, <a href="http://vlsi.colorado.edu/~fabio/CUDD/cuddIntro.html">CUDD</a>, ! and <a href="http://www-cad.eecs.berkeley.edu/Research/cal_bdd/">CAL</a>. JavaBDD provides a uniform interface to all of these libraries, so you can easily switch between ! them without having to make changes to your application.</p> ! <p>JavaBDD is designed for high performance applications, so it also exposes many of the lower level options of the BDD library, like cache sizes and advanced ! variable reordering.</p> ! ]]> </description> - <url>http://javabdd.sourceforge.net/</url> ! <issueTrackingUrl> ! http://sourceforge.net/tracker/?group_id=72725 ! </issueTrackingUrl> <siteAddress>javabdd.sourceforge.net</siteAddress> ! <siteDirectory> ! /home/groups/j/ja/javabdd/htdocs/ ! </siteDirectory> ! <distributionDirectory> ! /home/groups/j/ja/javabdd/ ! </distributionDirectory> ! <repository> ! <connection> ! scm:cvs:pserver:ano...@cv...:/cvsroot/javabdd:JavaBDD ! </connection> ! <developerConnection> ! scm:cvs:ext:joe...@cv...:/cvsroot/javabdd:JavaBDD ! </developerConnection> ! <url> ! http://cvs.sourceforge.net/viewcvs.py/javabdd/ ! </url> </repository> - <versions> <version> --- 15,53 ---- <inceptionYear>2003</inceptionYear> <package>net.sf.javabdd</package> <shortDescription>Java Binary Decision Diagram library</shortDescription> <description> ! ! <p>JavaBDD is a Java library for manipulating BDDs (Binary Decision Diagrams). Binary decision diagrams are widely used in model checking, formal verification, optimizing circuit diagrams, etc. For an excellent overview of ! the BDD data structure, see this set of <a href="http://www.itu.dk/people/hra/notes-index.html"> ! lecture notes</a> by Henrik Reif Andersen.</p> ! <p>The JavaBDD API is based on that of the popular <a href="http://www.itu.dk/research/buddy/"> ! BuDDy</a> package, a BDD package written in C by Jørn Lind-Nielsen. However, JavaBDD's API is designed to be object-oriented. The ugly C function interface and reference counting schemes have been hidden underneath a uniform, ! object-oriented interface.</p> ! <p>JavaBDD includes a 100% Java implementation. It can also interface with the ! <a href="http://javaddlib.sourceforge.net/jdd/">JDD</a> library, or with three ! popular BDD libraries written in C via a JNI interface: <a href="http://www.itu.dk/research/buddy/"> ! BuDDy</a>, <a href="http://vlsi.colorado.edu/~fabio/CUDD/cuddIntro.html">CUDD</a>, ! and <a href="http://www-cad.eecs.berkeley.edu/Research/cal_bdd/">CAL</a>. JavaBDD provides a uniform interface to all of these libraries, so you can easily switch between ! them without having to make changes to your application.</p> ! <p>JavaBDD is designed for high performance applications, so it also exposes many of the lower level options of the BDD library, like cache sizes and advanced ! variable reordering.</p> ! </description> <url>http://javabdd.sourceforge.net/</url> ! <issueTrackingUrl>http://sourceforge.net/tracker/?group_id=72725</issueTrackingUrl> <siteAddress>javabdd.sourceforge.net</siteAddress> ! <siteDirectory>/home/groups/j/ja/javabdd/htdocs/</siteDirectory> ! <distributionDirectory>/home/groups/j/ja/javabdd/</distributionDirectory> <repository> ! <connection>scm:cvs:pserver:ano...@cv...:/cvsroot/javabdd:JavaBDD</connection> ! <developerConnection>scm:cvs:ext:joe...@cv...:/cvsroot/javabdd:JavaBDD</developerConnection> ! <url>http://cvs.sourceforge.net/viewcvs.py/javabdd/</url> </repository> <versions> <version> *************** *** 92,96 **** </version> </versions> - <mailingLists> <mailingList> --- 77,80 ---- *************** *** 131,137 **** </mailingList> </mailingLists> - <developers> - <developer> <name>John Whaley</name> --- 115,119 ---- *************** *** 139,168 **** <email>joe...@us...</email> <organization>Stanford University</organization> - <roles> - <role>Project Manager</role> - </roles> <timezone>-8</timezone> </developer> - </developers> - <dependencies> - <dependency> <groupId>jdd</groupId> <artifactId>jdd</artifactId> <version>1.00</version> ! <jar>jdd.jar</jar> <url>http://javaddlib.sourceforge.net/</url> </dependency> ! ! <dependency> ! <groupId>statcvs</groupId> ! <artifactId>maven-statcvs-plugin</artifactId> ! <version>2.5</version> ! <type>plugin</type> ! </dependency> ! ! <!-- TODO <dependency> <groupId>maven</groupId> --- 121,136 ---- <email>joe...@us...</email> <organization>Stanford University</organization> <timezone>-8</timezone> </developer> </developers> <dependencies> <dependency> <groupId>jdd</groupId> <artifactId>jdd</artifactId> <version>1.00</version> ! <jar>${basedir}/jdd.jar</jar> <url>http://javaddlib.sourceforge.net/</url> </dependency> ! <!-- TODO <dependency> <groupId>maven</groupId> *************** *** 179,195 **** </dependency> --> ! </dependencies> - <build> ! ! <nagEmailAddress> ! joe...@us... ! </nagEmailAddress> ! <sourceDirectory>.</sourceDirectory> <unitTestSourceDirectory>../JavaBDD_tests</unitTestSourceDirectory> - <aspectSourceDirectory/> - <!-- Unit test cases --> <unitTest> --- 147,161 ---- </dependency> --> ! <dependency> ! <groupId>statcvs</groupId> ! <artifactId>maven-statcvs-plugin</artifactId> ! <version>2.5</version> ! <type>plugin</type> ! </dependency> </dependencies> <build> ! <nagEmailAddress>joe...@us...</nagEmailAddress> <sourceDirectory>.</sourceDirectory> <unitTestSourceDirectory>../JavaBDD_tests</unitTestSourceDirectory> <!-- Unit test cases --> <unitTest> *************** *** 199,203 **** <include>regression/*.java</include> </includes> ! <!-- Not currently used. <excludes> <exclude>**/RepositoryTest.java</exclude> --- 165,169 ---- <include>regression/*.java</include> </includes> ! <!-- Not currently used. <excludes> <exclude>**/RepositoryTest.java</exclude> *************** *** 205,237 **** --> </unitTest> - <!-- J A R R E S O U R C E S --> <!-- Resources that are packaged up inside the JAR file --> - <resources> - - <!-- TODO - <resource> - <directory>${basedir}/src/resources/misc</directory> - <includes> - <include>*.xsd</include> - </includes> - </resource> - <resource> - <directory>${basedir}/src/resources/logging</directory> - <includes> - <include>log4j.properties</include> - </includes> - </resource> - --> - - </resources> - <!-- Integration unit test cases --> ! <integrationUnitTest/> ! ! <jars> ! </jars> </build> - <reports> <report> --- 171,188 ---- --> </unitTest> <!-- J A R R E S O U R C E S --> <!-- Resources that are packaged up inside the JAR file --> <!-- Integration unit test cases --> ! <sourceModifications> ! <sourceModification> ! <className>fakeClass</className> ! <excludes> ! <exclude>target/**</exclude> ! </excludes> ! </sourceModification> ! </sourceModifications> ! <integrationUnitTest /> ! <jars /> </build> <reports> <report> *************** *** 268,272 **** maven-changes-plugin </report> ! <!-- TOO EXPENSIVE <report> maven-checkstyle-plugin --- 219,223 ---- maven-changes-plugin </report> ! <!-- TOO EXPENSIVE <report> maven-checkstyle-plugin *************** *** 280,283 **** --> </reports> - </project> --- 231,234 ---- --> </reports> </project> + |
