Custom Query (16 matches)

Filters
 
Or
 
  
 
Columns

Show under each result:

Ticket Summary Owner Type Priority Milestone Component
#95 improvements to symbolic package ywei enhancement major symbolic
#102 add concrete versions of primitive and array values Stephen Siegel enhancement major value
#153 implement XML representation of model bperry task major front
#206 Formal grammar for assertion and joint invariant language bperry task major Release 1.0 XML
#208 Separate pragma parsing out of language parser and put it into model builder bperry enhancement major Release 1.0 front
#210 Try to build solaris version of CVC3, etc. zirkel task major None
#217 Add constants to model zirkel enhancement major model
#286 Allow expressions with side effects enhancement major front
#287 Support compound statements enhancement major front
#289 Allow function prototypes enhancement major front
#290 Add support for preprocessor function-like macros enhancement major front
#309 Relax main method signature requirements task major model
#101 create BooleanValueIF Stephen Siegel enhancement minor value
#105 Add support for new statements: pushassumption, popassumption enhancement minor multiple
#127 Improve symbolic variable names ywei enhancement minor symbolic
#178 Number of bound variables in a symbolic quantifier expression Stephen Siegel enhancement minor symbolic
Batch Modify
Note: See TracBatchModify for help on using batch modify.
Note: See TracQuery for help on using queries.