Frama-C Bug Tracking System

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0002196Frama-CKernel > ACSL implementationpublic2015-12-05 15:302015-12-05 15:30 
Assigned Tovirgile 
PlatformOSOS Version
Product VersionFrama-C Sodium 
Target VersionFixed in Version 
Summary0002196: No syntax to apply lambda expressions
DescriptionACSL 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.
TagsNo tags attached.
Attached Files

- Relationships

-  Notes
There are no notes attached to this issue.

- Issue History
Date Modified Username Field Change
2015-12-05 15:30 New Issue
2015-12-05 15:30 Status new => assigned
2015-12-05 15:30 Assigned To => virgile

Copyright © 2000 - 2020 MantisBT Team
Powered by Mantis Bugtracker