Experiments Symbolic Scheduling file released: Exps_SS.tar.gz

07:48PM on Jan 18 2005

The Figaro The Figaro 1.0.7 file released: TheFigaro-1.0.7.tar.gz

5.2.2004, Daniel Sawitzki (daniel.sawitzki@gmx.de)

Changed from Version 1.0.6 to 1.0.7
- Fixed some minor bugs.
- Added implicit shortest-path algorithms.

Changes from Version 1.0.5 to 1.0.6
- Fixed some minor bugs.
- All explicit graphs are now ...

12:00AM on Feb 05 2004

Experiments SSSP Algorithms file released: Exps_SSSP.tar.gz

12:00AM on Feb 05 2004

The Figaro The Figaro 1.0.6 file released: TheFigaro-1.0.6.tar.gz

Changes from Version 1.0.5 to 1.0.6
- Fixed some minor bugs.
- All explicit graphs are now handled in the GML format.
- The generator for threshold functions now uses arbitrary
  precision integers to manage threshold values.
- Added some features to the ...

12:00AM on Sep 22 2003

The Figaro The Figaro 1.0.5 file released: TheFigaro-1.0.5.tar.gz

20.8.2003, Daniel Sawitzki (daniel.sawitzki@gmx.de)

Changes from Version 1.0.4 to 1.0.5
- Fixed some minor bugs.

Changes from Version 1.0.3 to 1.0.4
- Fixed some minor bugs.
- Changed some internals of the StatBDD class.
- Added a generator for ...

12:00AM on Aug 20 2003

The Figaro The Figaro 1.0.4 file released: TheFigaro-1.0.4.tar.gz

18.8.2003, Daniel Sawitzki (daniel.sawitzki@gmx.de)

Changed from Version 1.0.3 to 1.0.4
- Fixed some minor bugs.
- Changed some internals of the StatBDD class.
- Added a generator for functions composed of
  threshold functions.
- Added a generator for ...

12:00AM on Aug 19 2003

The Figaro The Figaro 1.0.3 file released: TheFigaro-1.0.3.tar.gz

Changes from Version 1.0.2 to 1.0.3
- Made the BDD visualization more flexible to use an
  arbitrary number of encoding OBDD variables.
- Changed some internals of the StatBDD class.
- Added an alternate quantification method that is
  realized by binary ...

12:00AM on Jan 17 2003

The Figaro The Figaro 1.0.2 file released: TheFigaro-1.0.2.tar.gz

- Fixed some minor bugs in the KDevelop project file.
- Changed time measuring from real time to CPU time.
  The CPU time is calculated as the sum of
  - the time spent executing user instructions.
  - the time spent in operating system code on behalf of ...

12:00AM on Sep 16 2002

The Figaro The Figaro 1.0.1 file released: TheFigaro-1.0.1.tar.gz

Changes in Version 1.0.1

- Bug in plugin ImplicitTestNetworkGenerator fixed.
  When using certain parameters N and M, the calculated
  upper bound for the number of network nodes was too low.
  This resulted in the generation of too less encoding
  OBDD ...

12:00AM on Jul 10 2002