Custom Query (8 matches)

Filters
 
Or
 
  
 
Columns

Show under each result:

Status: closed (8 matches)

Ticket Summary Owner Type Priority Version Resolution
#157 tuple support in symbolic universe incomplete ywei defect major 1.0 fixed
#165 need cast from int to real operation in symbolic package ywei enhancement major 1.0 fixed
#187 Array out of bound exception in AdderTest ywei defect major 1.0 fixed
#188 Illegal argument exception in AdderTest Stephen Siegel defect major 1.0 fixed
#189 Another illegal argument exception in AdderTest Stephen Siegel defect major 1.0 fixed
#214 Simplifier: x=y && y=2 does not simplify correctly on x Stephen Siegel enhancement major 1.0 fixed
#216 Simplifier: improper simplification when simplifying on an implication zirkel defect major 1.0 fixed
#220 No null constant value Stephen Siegel enhancement major 1.0 fixed
Batch Modify
Note: See TracBatchModify for help on using batch modify.
Note: See TracQuery for help on using queries.