Custom query (405 matches)

Filters
 
or
 
  
 
Columns

Show under each result:


Results (401 - 405 of 405)

1 2 3 4 5

Resolution: None (5 matches)

Ticket Summary Owner Type Priority Component Version
#16087 New view for apply: !a -> (a => false) Pierre-Yves Strub enhancement 2 EasyCrypt pre-1.x
#16622 Functor-level "lambdas" Benjamin Grégoire enhancement 2 EasyCrypt pre-1.x
#16746 Losslessness annotations Pierre-Yves Strub enhancement 2 EasyCrypt pre-1.x
#15874 Add support for chaining relations Pierre-Yves Strub enhancement 1 EasyCrypt pre-1.x
#16885 Support for type annotations in let expressions Pierre-Yves Strub enhancement 1 EasyCrypt pre-1.x
1 2 3 4 5
Note: See TracQuery for help on using queries.