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.