{8} Active Tickets, Mine first (23 matches)

  • List all active tickets by priority.
  • Show all tickets owned by the logged in user in a group first.

Active Tickets (23 matches)

Ticket Summary Component Version Milestone 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
#275 modify arrays in examples to use new #define input feature examples 1.1 1.1 defect bperry new 16 years ago
#278 array literal parse problems in TreeParser front 1.1 1.1 defect new 15 years ago
#297 expressions are not statements ast 1.1 1.1 defect stachnik assigned 15 years ago
#326 Add source information to pragma nodes and variable declarations clang 1.1 defect tmcclory new 15 years ago
#330 Add structs to XML output clang 1.1 1.1 defect tmcclory new 15 years ago
#295 augment continuity options multiple 1.1 1.1 enhancement zirkel new 15 years ago
#274 add support for skew factors in collective assertions/invariants multiple 1.1 1.1 task zirkel new 16 years ago
#294 Implement XML representation of TASS AST Administration 1.1 1.1 task stachnik accepted 15 years ago
#183 Verify derivative example using manual insertion of Taylor theorem examples 1.0 Release 1.0 enhancement zirkel new 16 years ago
#211 don't check for deadlocked states when not necessary verify 1.0 Release 1.0 enhancement new 16 years ago
#239 store malloc statements in heap multiple 1.0 Release 1.0 enhancement Stephen Siegel accepted 16 years ago
#161 Automatic performance analysis Administration 1.0 Release 1.0 task zirkel accepted 16 years ago
#181 Add derivative support to frontend front 1.0 Release 1.0 task zirkel accepted 16 years ago
#202 installation from source Administration 1.0 Release 1.0 task new 16 years ago
#313 reimplement state as value multiple milestone2 enhancement Stephen Siegel 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
#269 move newCollectiveAssertion to ModelFactory model 1.1 1.1 enhancement new 16 years ago
#232 checkSat multiple 1.0 Release 1.0 enhancement new 16 years ago
Note: See TracReports for help on using and creating reports.