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

 
 

task #8555: Submission of Biddy BDD Package

Submitter:  Robert Meolic <meolic>
Submitted:  Mon 25 Aug 2008 08:56:48 AM UTC
   
 
Should Start On:  Mon 25 Aug 2008 12:00:00 AM UTC Should be Finished on:  Thu 04 Sep 2008 12:00:00 AM UTC
Category:  Project Approval Priority:  * 5 - Normal
Status:  Done Privacy:  Public
Assigned to:  alexshulgin Open/Closed:  Closed
* Mandatory Fields

Add a New Comment Rich Markup
   

Wed 05 Nov 2008 08:58:00 PM UTC, comment #5: 

I've approved your project--welcome on board! :-)

You'll receive a mail notification with further instructions shortly.

--
Happy hacking!

Alexander Shulgin <alexshulgin>
Wed 05 Nov 2008 02:36:04 PM UTC, comment #4: 

I understand and agree with the GNU ideas ...
I checked my documentation again and indeed I found
a few mistakes. Thank you. Now, everywhere where appropriate
should be written GNU/Linux.

New tarbal is here:
http://lms.uni-mb.si/biddy/biddy-1.0-new.tar.gz

  Robert

Robert Meolic <meolic>
Wed 22 Oct 2008 07:02:55 PM UTC, comment #3: 

Hi,

The licensing of your project seems to be OK.

However, would you mind changing places in documentation where you refer to `Linux' in a sense of the operating system (not mere kernel) to more appropriate `GNU/Linux'.  This way you'll give people behind the system proper credit.  You may find this page helpful: http://www.gnu.org/gnu/linux-and-gnu.html

--
Regards,
Alex

Alexander Shulgin <alexshulgin>
Tue 21 Oct 2008 08:29:10 AM UTC, comment #2: 

Hello,

Yes, I am still waiting for the approval. I am not using other repositories. IMHO, Savanahh is best suited for my project.

Please, tell me, if I can help with something.

  Best regards,
  Robert

Robert Meolic <meolic>
Mon 20 Oct 2008 09:09:53 PM UTC, comment #1: 

Hi,

Sorry for delay.

Are you still planning to use Savannah?  If not, please tell us--this will make us gain some time to review other projects.

--
Regards,
Alex

Alexander Shulgin <alexshulgin>
Mon 25 Aug 2008 08:56:48 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 Boolean functions. 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 in fact a library of functions with API.
It 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 is a library and does not have any dependencies.

To run included 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. bddview (this is our application and we released it into the public domain, it is included in tarball)

Bdd Scout use graphviz package (http://www.graphviz.org/License.php) to prepare graphs for viewing but this is optional and the program will compile, run, and perform all other functions even if the user does not have graphviz installed on his computer.


Other Comments:

This project have been previously submitted to Savannah and canceled due to licence problems with graphviz. Now, Bdd Scout no longer depends on graphviz. The reviewer proposed resubmiting using "resubmit button". I could not find this button and thus I used "Post a Comment". But after 2 months without answer I decided to submit it again using regular form.

Link to previous discussion:
https://savannah.gnu.org/task/?8163



Tarball URL:

http://lms.uni-mb.si/biddy/biddy-1.0.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 alexshulgin (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 4 latest changes.

    Date Changed by Updated Field Previous Value => Replaced by
    2008-11-05 alexshulgin StatusWait reply Done
        Open/ClosedOpen Closed
    2008-10-20 alexshulgin StatusNone Wait reply
        Assigned toNone alexshulgin

    Back to the top

    Powered by Savane 3.13-d3ae.
    Corresponding source code