Custom Query (23 matches)

Filters
 
Or
 
  
 
Columns

Show under each result:

Ticket Summary Status Owner Type Priority Milestone
#49 add primitive MPI-like communication operations to model new Stephen Siegel enhancement major
#161 Automatic performance analysis accepted zirkel task major Release 1.0
#181 Add derivative support to frontend accepted zirkel task major Release 1.0
#183 Verify derivative example using manual insertion of Taylor theorem new zirkel enhancement major Release 1.0
#202 installation from source new task major Release 1.0
#211 don't check for deadlocked states when not necessary new enhancement major Release 1.0
#239 store malloc statements in heap accepted Stephen Siegel enhancement major Release 1.0
#274 add support for skew factors in collective assertions/invariants new zirkel task major 1.1
#275 modify arrays in examples to use new #define input feature new bperry defect major 1.1
#278 array literal parse problems in TreeParser new defect major 1.1
#294 Implement XML representation of TASS AST accepted stachnik task major 1.1
#295 augment continuity options new zirkel enhancement major 1.1
#297 expressions are not statements assigned stachnik defect major 1.1
#313 reimplement state as value new Stephen Siegel enhancement major milestone2
#326 Add source information to pragma nodes and variable declarations new tmcclory defect major 1.1
#328 Generate Human-Readable Description of XML Schema new stachnik task major
#330 Add structs to XML output new tmcclory defect major 1.1
#331 Finish AST Module Implementation new stachnik task major
#88 compile set of CVC3 problems we want solved new task minor
#154 create package-level javadocs accepted Stephen Siegel task minor
#232 checkSat new enhancement minor Release 1.0
#269 move newCollectiveAssertion to ModelFactory new enhancement minor 1.1
#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.