{3} Active Tickets by Milestone (23 matches)

This report shows how to color results by priority, while grouping results by milestone.

Last modification time, description and reporter are included as hidden fields for useful RSS export.

Milestone (6 matches)

Ticket Summary Component Version Type Owner Status Created
#49 add primitive MPI-like communication operations to model model 1.0 enhancement Stephen Siegel new 17 years ago
#328 Generate Human-Readable Description of XML Schema XML task stachnik new 15 years ago
#331 Finish AST Module Implementation ast task stachnik new 15 years ago
#332 VariableReferenceNode names aren't getting set ast defect stachnik new 14 years ago
#88 compile set of CVC3 problems we want solved Administration task new 17 years ago
#154 create package-level javadocs multiple 1.0 task Stephen Siegel accepted 16 years ago

Milestone 1.1 (9 matches)

#275 modify arrays in examples to use new #define input feature examples 1.1 defect bperry new 16 years ago
#278 array literal parse problems in TreeParser front 1.1 defect new 15 years ago
#297 expressions are not statements ast 1.1 defect stachnik assigned 15 years ago
#326 Add source information to pragma nodes and variable declarations clang defect tmcclory new 15 years ago
#330 Add structs to XML output clang 1.1 defect tmcclory new 15 years ago
#295 augment continuity options multiple 1.1 enhancement zirkel new 15 years ago
#274 add support for skew factors in collective assertions/invariants multiple 1.1 task zirkel new 16 years ago
#294 Implement XML representation of TASS AST Administration 1.1 task stachnik accepted 15 years ago
#269 move newCollectiveAssertion to ModelFactory model 1.1 enhancement new 16 years ago

Milestone Release 1.0 (7 matches)

#183 Verify derivative example using manual insertion of Taylor theorem examples 1.0 enhancement zirkel new 16 years ago
#211 don't check for deadlocked states when not necessary verify 1.0 enhancement new 16 years ago
#239 store malloc statements in heap multiple 1.0 enhancement Stephen Siegel accepted 16 years ago
#161 Automatic performance analysis Administration 1.0 task zirkel accepted 16 years ago
#181 Add derivative support to frontend front 1.0 task zirkel accepted 16 years ago
#202 installation from source Administration 1.0 task new 16 years ago
#232 checkSat multiple 1.0 enhancement new 16 years ago

Milestone milestone2 (1 match)

#313 reimplement state as value multiple enhancement Stephen Siegel new 15 years ago
Note: See TracReports for help on using and creating reports.