Custom Query (22 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
#181 Add derivative support to frontend accepted derivative, frontend zirkel task major
#183 Verify derivative example using manual insertion of Taylor theorem new accuracy, derivative zirkel enhancement major
#202 installation from source new task major
#211 don't check for deadlocked states when not necessary new 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
#275 modify arrays in examples to use new #define input feature new examples arrays extent bperry defect major
#278 array literal parse problems in TreeParser new array literal defect major
#294 Implement XML representation of TASS AST accepted XML AST stachnik task major
#295 augment continuity options new continuity zirkel enhancement major
#297 expressions are not statements assigned expression statement stachnik defect major
#313 reimplement state as value new state value Stephen Siegel enhancement major
#326 Add source information to pragma nodes and variable declarations new tmcclory defect major
#328 Generate Human-Readable Description of XML Schema new stachnik task major
#330 Add structs to XML output new tmcclory defect major
#331 Finish AST Module Implementation new stachnik task 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
#332 VariableReferenceNode names aren't getting set new stachnik defect minor
Batch Modify
Note: See TracBatchModify for help on using batch modify.
Note: See TracQuery for help on using queries.