Custom query (7 matches)
Status: assigned (1 match)
| Ticket | Summary | Owner | Type | Priority | Version | Severity |
|---|---|---|---|---|---|---|
| #17160 | Call SMT in parallels. | enhancement | 2 | pre-1.x | minor | |
Status: closed (4 matches) |
||||||
| Ticket | Summary | Owner | Type | Priority | Version | Severity |
| #17080 | `t_generalize_hyps` does not work when given a non-singleton list. | defect | 4 | pre-1.x | major | |
| #17078 | EasyCrypt should use big integers internally. | defect | 3 | pre-1.x | normal | |
| #17094 | Refactoring: code for operators addition. | enhancement | 3 | pre-1.x | major | |
| #17216 | All test suites should include abstract theory files (*.eca) | defect | 3 | pre-1.x | normal | |
Status: new (2 matches) |
||||||
| Ticket | Summary | Owner | Type | Priority | Version | Severity |
| #17077 | No more direct access to stdlib paths | defect | 4 | pre-1.x | normal | |
| #17374 | pre-/post- should be implemented with an explicit memory | enhancement | 3 | pre-1.x | normal | |
Note: See TracQuery for help on using queries.
