Custom Query (17 matches)

Filters
 
Or
 
  
 
Columns

Show under each result:

Owner: bperry (1 match)

Ticket Summary Type Priority Milestone Component Version
#275 modify arrays in examples to use new #define input feature defect major 1.1 examples 1.1

Owner: Stephen Siegel (2 matches)

Ticket Summary Type Priority Milestone Component Version
#49 add primitive MPI-like communication operations to model enhancement major model 1.0
#313 reimplement state as value enhancement major milestone2 multiple

Owner: stachnik (3 matches)

Ticket Summary Type Priority Milestone Component Version
#328 Generate Human-Readable Description of XML Schema task major XML
#331 Finish AST Module Implementation task major ast
#332 VariableReferenceNode names aren't getting set defect minor ast

Owner: tmcclory (2 matches)

Ticket Summary Type Priority Milestone Component Version
#326 Add source information to pragma nodes and variable declarations defect major 1.1 clang
#330 Add structs to XML output defect major 1.1 clang 1.1

Owner: zirkel (3 matches)

Ticket Summary Type Priority Milestone Component Version
#183 Verify derivative example using manual insertion of Taylor theorem enhancement major Release 1.0 examples 1.0
#274 add support for skew factors in collective assertions/invariants task major 1.1 multiple 1.1
#295 augment continuity options enhancement major 1.1 multiple 1.1

Owner: (none) (6 matches)

Ticket Summary Type Priority Milestone Component Version
#202 installation from source task major Release 1.0 Administration 1.0
#211 don't check for deadlocked states when not necessary enhancement major Release 1.0 verify 1.0
#278 array literal parse problems in TreeParser defect major 1.1 front 1.1
#88 compile set of CVC3 problems we want solved task minor Administration
#232 checkSat enhancement minor Release 1.0 multiple 1.0
#269 move newCollectiveAssertion to ModelFactory enhancement minor 1.1 model 1.1
Batch Modify
Note: See TracBatchModify for help on using batch modify.
Note: See TracQuery for help on using queries.