Custom Query (17 matches)

Filters
 
Or
 
  
 
Columns

Show under each result:

Ticket Summary Owner Type Priority Milestone Component
#88 compile set of CVC3 problems we want solved task minor Administration
#232 checkSat enhancement minor Release 1.0 multiple
#269 move newCollectiveAssertion to ModelFactory enhancement minor 1.1 model
#332 VariableReferenceNode names aren't getting set stachnik defect minor ast
#49 add primitive MPI-like communication operations to model Stephen Siegel enhancement major model
#183 Verify derivative example using manual insertion of Taylor theorem zirkel enhancement major Release 1.0 examples
#202 installation from source task major Release 1.0 Administration
#211 don't check for deadlocked states when not necessary enhancement major Release 1.0 verify
#274 add support for skew factors in collective assertions/invariants zirkel task major 1.1 multiple
#275 modify arrays in examples to use new #define input feature bperry defect major 1.1 examples
#278 array literal parse problems in TreeParser defect major 1.1 front
#295 augment continuity options zirkel enhancement major 1.1 multiple
#313 reimplement state as value Stephen Siegel enhancement major milestone2 multiple
#326 Add source information to pragma nodes and variable declarations tmcclory defect major 1.1 clang
#328 Generate Human-Readable Description of XML Schema stachnik task major XML
#330 Add structs to XML output tmcclory defect major 1.1 clang
#331 Finish AST Module Implementation stachnik task major ast
Batch Modify
Note: See TracBatchModify for help on using batch modify.
Note: See TracQuery for help on using queries.