Frama-C Bug Tracking System - Frama-C
View Issue Details
0002196Frama-CKernel > ACSL implementationpublic2015-12-05 15:302015-12-05 15:30 
Frama-C Sodium 
0002196: No syntax to apply lambda expressions
ACSL 1.9 allows writing lambda expressions. They can be used in extended quantifiers. But there is no syntax to use them anywhere else, such as to apply a lambda expression to a sequence of arguments.
No tags attached.
Issue History
2015-12-05 15:30dcok@grammatech.comNew Issue
2015-12-05 15:30dcok@grammatech.comStatusnew => assigned
2015-12-05 15:30dcok@grammatech.comAssigned To => virgile

There are no notes attached to this issue.