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
Reporterdcok@grammatech.com 
Assigned Tovirgile 
PrioritynormalSeverityfeatureReproducibilityN/A
StatusassignedResolutionopen 
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 dcok@grammatech.com New Issue
2015-12-05 15:30 dcok@grammatech.com Status new => assigned
2015-12-05 15:30 dcok@grammatech.com Assigned To => virgile


Copyright © 2000 - 2019 MantisBT Team
Powered by Mantis Bugtracker