savannah-register-public
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Savannah-register-public] [task #8163] Submission of Biddy BDD Package


From: anonymous
Subject: [Savannah-register-public] [task #8163] Submission of Biddy BDD Package
Date: Mon, 30 Jun 2008 08:41:07 +0000
User-agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.8.1.14) Gecko/20061201 Firefox/2.0.0.14 (Ubuntu-feisty)

Follow-up Comment #2, task #8163 (project administration):


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


    _______________________________________________________

Reply to this item at:

  <http://savannah.gnu.org/task/?8163>

_______________________________________________
  Message sent via/by Savannah
  http://savannah.gnu.org/





reply via email to

[Prev in Thread] Current Thread [Next in Thread]