taskSavannah Administration - Tasks: task #8163, Submission of Biddy BDD Package

 
 

task #8163: Submission of Biddy BDD Package

Submitter:  Robert Meolic <meolic>
Submitted:  Thu 15 May 2008 11:04:12 AM UTC
   
 
Should Start On:  Thu 15 May 2008 12:00:00 AM UTC Should be Finished on:  Sun 25 May 2008 12:00:00 AM UTC
Category:  Project Approval Priority:  * 5 - Normal
Status:  Cancelled Privacy:  Public
Assigned to:  zeus Open/Closed:  Closed
* Mandatory Fields

Add a New Comment Rich Markup
   

Mon 30 Jun 2008 08:44:14 AM UTC, comment #3: 

Full URL of new tarball:

http://lms.uni-mb.si/biddy/biddy-1.0.tar.gz

  Best regards, Robert

Robert Meolic <meolic>
Mon 30 Jun 2008 08:41:06 AM UTC, comment #2: 


Thank you for your review.

I cannot find resubmit button and thus I will use "Post a Comment".

I have made all changes required by you.

1. README file is included in IFIP/ folder (previously called ISCAS/ folder)

2. Bddscout (demo aplication included in the package) no longer depends on graphviz. Bddscout will still run graphviz in the background to perform some tasks (graph drawing), but the program will compile, run, and perform all other functions (e.g. benchmark tests) even if the user does not have graphviz installed on his computer.

You can find new tarball here;
biddy-1.0.tar.gz

Anonymous
Tue 17 Jun 2008 05:05:34 PM UTC, comment #1: 

Hi Robert Meoli,

I'm evaluating the project you submitted for approval in Savannah.

You have the license notice and copyright missing for all the files
inside of ISCAS/, please fix this issue.

If some of your files cannot carry such notices (e.g. binary files),
then you can add a README file in the same directory containing the
copyright and license notices. Check
http://www.gnu.org/prep/maintain/html_node/Copyright-Notices.html for
further information.

The GPL FAQ explains why these procedures must be followed.  To learn
why a copy of the GPL must be included with every copy of the code,
for example, see
http://www.gnu.org/licenses/gpl-faq.html#WhyMustIInclude.

On the other hand, the license of graphviz isn't compatible with the
GPL, please remove this dependency or make it optional.

Please register your project once more with the changes mentioned
above.

Make sure to apply all changes requested, so you will only need to
re-register once.

The re-registration URL found in our acknowledgment of your earlier
registration will direct you to the proper location where you can
re-register your project.

Regards.

Jonathan Gonzalez V. <zeus>
Thu 15 May 2008 11:04:12 AM UTC, original submission:  

A new project has been registered at Savannah
This project account will remain inactive until a site admin approves or discards the registration.


Registration Administration


While this item will be useful to track the registration process, approving or discarding the registration must be done using the specific Group Administration page, accessible only to site administrators, effectively logged as site administrators (superuser):



Registration Details


  • Name: Biddy BDD Package
  • System Name:  biddy
  • Type: non-GNU software & documentation
  • License: GNU General Public License v2 or later





Description:

Biddy is a multi-platform academic Binary Decision Diagrams package.

Binary Decision Diagrams are popular data structure for representing functions in Boolean algebra. They are extensively used in software for formal verification of systems.

Biddy uses ROBDDs with complement edges as described in "K.S. Brace, R.L. Rudell, R.E. Bryant. Efficient Implementation of a BDD Package. 27. ACM/IEEE DAC, pages 40-45, 1990."

Biddy is oriented towards readable and comprehensible source code in C. It  is primary intended for educational purposes.

There two aditional packages included in Biddy project: bddview and Bdd Scout. bddview is a pure Tcl/Tk script for visualization of BDDs. BDD Scout is a demo application demonstrating the capability of Biddy and bddview.

Biddy is already used in EST, a tool for formal verification of systems.


Other Software Required:

Biddy does not have any dependencies.

To run demo application BDD Scout you need:
1. Tcl/Tk (BSD-style license, http://www.tcl.tk/about/support.html),
2. BWidgets (BSD-style License, http://sourceforge.net/projects/tcllib)
3. graphviz (Common Public License Version 1.0,
http://www.graphviz.org/License.php)
4. bddview (this is our application and we released it into the public domain, it is included)




Other Comments:

Biddy is in fact a library. We included or public domain script bddview and our demo project BDD Scout as a part of distribution to demonstrate the usage. We also included folder ISCAS/ which contains benchmark files.

Local homepage for the project is http://lms.uni-mb.si/biddy/



Tarball URL:

http://lms.uni-mb.si/biddy/biddy.tar.gz


Robert Meolic <meolic>

 

(Note: upload size limit is set to 16384 kB, after insertion of the required escape characters.)

Attach Files:
   
   
Comment:
   

No files currently attached

 

Depends on the following items: None found

Items that depend on this one: None found

 

Carbon-Copy List
  • -email is unavailable- added by zeus (Posted a comment)
  • -email is unavailable- added by meolic (Submitted the item)
  •  

    There are 0 votes so far. Votes easily highlight which items people would like to see resolved in priority, independently of the priority of the item set by tracker managers.

    Only logged-in users can vote.

     

    Follow 3 latest changes.

    Date Changed by Updated Field Previous Value => Replaced by
    2008-06-17 zeus StatusNone Cancelled
        Assigned toNone zeus
        Open/ClosedOpen Closed

    Back to the top

    Powered by Savane 3.13-d3ae.
    Corresponding source code