Custom query (7 matches)

Filters
 
or
 
  
 
Columns

Show under each result:


Status: assigned (1 match)

Ticket Summary Owner Type Priority Version Severity
#17160 Call SMT in parallels. Pierre-Yves Strub enhancement 2 pre-1.x minor

Status: closed (4 matches)

Ticket Summary Owner Type Priority Version Severity
#17078 EasyCrypt should use big integers internally. Pierre-Yves Strub defect 3 pre-1.x normal
#17080 `t_generalize_hyps` does not work when given a non-singleton list. Pierre-Yves Strub defect 4 pre-1.x major
#17216 All test suites should include abstract theory files (*.eca) defect 3 pre-1.x normal
#17094 Refactoring: code for operators addition. Pierre-Yves Strub enhancement 3 pre-1.x major

Status: new (2 matches)

Ticket Summary Owner Type Priority Version Severity
#17077 No more direct access to stdlib paths Pierre-Yves Strub 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.