{*} list_symbolic_modules not working

  • Submitted by: Luca (over comment by Axel)
  • Date: Jul 19, 2006
  • Assigned to: Luca / Axel
[Ticc/BugClosed/list symbolic modules not working][edit]

{*} {*} Simulation: Incomplete State

  • Submitted by: Bo Adler and Vishwa Raman
  • Date: 11-Dec-2005
  • Assigned to: Vishwa

  • {i} Fixed. Simulation testing in progress.

[Ticc/BugClosed/Simulation: Incomplete State][edit]

{*} Ranges that are not powers of 2

  • Submitted by: Marco
  • Date: 20 Dec 2005
  • Assigned to: nobody
[Ticc/BugClosed/Ranges that are not powers of 2][edit]

{o} Primed local variables in a local input guard

  • Submitted by: Luca (reported by Axel)
  • Date: Dec 13, 2005
  • Assigned to: Luca

  • {i} Fixed: please test, then close.

[Ticc/BugClosed/Primed local variables in a local input guard][edit]

{*} Mlglu.mdd_get_manager corruption

  • Submitted by: Vishwa
  • Date: Jan 14, 2006
  • Assigned to: Vishwa

  • {i} Marco has fixed this bug. Thanks Marco.

[Ticc/BugClosed/Mlglu.mdd get manager corrupts memory][edit]

{*} {*} {*} Invariants are not in normal form

  • Submitted by: Luca
  • Date: Dec 12, 2005
  • Assigned to: Marco
  • Fixed on Dec 20, 2005. Mildly tested.
[Ticc/BugClosed/Invariants not in normal form][edit]

Ticc/Closed Bugs (last edited 2005-12-29 09:48:44 by MarcoFaella)