Custom Query (8 matches)

Filters
 
Or
 
  
 
Columns

Show under each result:

Status: accepted (1 match)

Ticket Summary Owner Type Priority Version Resolution
#239 store malloc statements in heap Stephen Siegel enhancement major 1.0

Status: closed (6 matches)

Ticket Summary Owner Type Priority Version Resolution
#159 use exact rational arithmetic? enhancement major 1.0 fixed
#169 front end and symbolic need to use BigRational, BigInteger ywei task major 1.0 fixed
#229 Improve ExecutionException Stephen Siegel enhancement major 1.0 fixed
#231 add casts between pointer types zirkel enhancement major 1.0 fixed
#233 change grammar and examples to C notation enhancement major 1.0 fixed
#248 add message to TASS assert zirkel enhancement major 1.0 fixed

Status: new (1 match)

Ticket Summary Owner Type Priority Version Resolution
#232 checkSat enhancement minor 1.0
Batch Modify
Note: See TracBatchModify for help on using batch modify.
Note: See TracQuery for help on using queries.