Custom query (412 matches)

Filters
 
or
 
  
 
Columns

Show under each result:


Results (401 - 412 of 412)

1 2 3 4 5

Resolution: accepted (1 match)

Ticket Summary Owner Type Priority Component Version
#15970 PG does not handle local lemmas properly. Pierre-Yves Strub defect 3 EasyCrypt pre-1.x

Resolution: None (11 matches)

Ticket Summary Owner Type Priority Component Version
#16082 move * for adversary function outside { ... } Pierre-Yves Strub enhancement 3 EasyCrypt pre-1.x
#16292 Side-conditions for the rnd rule in pHL should be proved under some precondition ckunz defect 3 EasyCrypt pre-1.x
#16456 allow expression, formula in cloning Pierre-Yves Strub enhancement 3 EasyCrypt pre-1.x
#16560 Non-relational 'bypr' for probabilistic Hoare statements ckunz enhancement 3 EasyCrypt pre-1.x
#16657 Pattern-matching on records Pierre-Yves Strub enhancement 3 EasyCrypt pre-1.x
#16723 Subtyping for abstract modules and functors Benjamin Grégoire enhancement 3 EasyCrypt pre-1.x
#16749 link between hoare bdhoare equiv Benjamin Grégoire enhancement 3 EasyCrypt pre-1.x
#16763 Simplification should discriminate datatype constructors Pierre-Yves Strub enhancement 3 EasyCrypt pre-1.x
#16789 Pattern matching should to some top-level delta-unfolding Pierre-Yves Strub enhancement 3 EasyCrypt pre-1.x
#16918 selection tactical "all n" Pierre-Yves Strub enhancement 3 EasyCrypt pre-1.x
#15891 Instantiating axioms and sub-theories when cloning theories Pierre-Yves Strub enhancement 4 EasyCrypt pre-1.x
1 2 3 4 5
Note: See TracQuery for help on using queries.