Custom Query (9 matches)

Filters
 
Or
 
  
 
Columns

Show under each result:

Ticket Summary Status Keywords Owner Type Priority
#49 add primitive MPI-like communication operations to model new communication, MPI, primitive Stephen Siegel enhancement major
#161 Automatic performance analysis accepted performance zirkel task major
#183 Verify derivative example using manual insertion of Taylor theorem new accuracy, derivative zirkel enhancement major
#239 store malloc statements in heap accepted malloc statement Stephen Siegel enhancement major
#274 add support for skew factors in collective assertions/invariants new skew collective joint assertion invariant zirkel task major
#295 augment continuity options new continuity zirkel enhancement major
#154 create package-level javadocs accepted documentation Stephen Siegel task minor
#232 checkSat new prover, CVC3, satisfiable enhancement minor
#269 move newCollectiveAssertion to ModelFactory new collective assertion unbalanced enhancement minor
Batch Modify
Note: See TracBatchModify for help on using batch modify.
Note: See TracQuery for help on using queries.