Custom Query (5 matches)
| Ticket | Summary | Owner | Type | Priority | Milestone | Component |
|---|---|---|---|---|---|---|
| #49 | add primitive MPI-like communication operations to model | enhancement | major | model | ||
| #183 | Verify derivative example using manual insertion of Taylor theorem | 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 | |
| #232 | checkSat | enhancement | minor | Release 1.0 | multiple |
Note:
See TracQuery
for help on using queries.
