Frama-C Bug Tracking System

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0002477Frama-CKernel > ACSL implementationpublic2019-09-23 11:472019-09-23 13:17
Reportermichal 
Assigned Tovirgile 
PriorityimmediateSeveritytextReproducibilitysometimes
StatusclosedResolutionno change required 
Platformwindows7OSwindows7OS Versionwindows7
Product VersionFrama-C 19-Potassium 
Target VersionFixed in Version 
Summary0002477: Freelance
DescriptionI'm staff at fieldengineer.com,we have a technical support of telecom engineers.We created the FE Platform to streamline engagement between field engineers and businesses looking for them.
TagsNo tags attached.
Attached Files

- Relationships

-  Notes
There are no notes attached to this issue.

- Issue History
Date Modified Username Field Change
2019-09-23 11:47 michal New Issue
2019-09-23 11:47 michal Status new => assigned
2019-09-23 11:47 michal Assigned To => virgile
2019-09-23 11:47 michal Note Added: 0006874
2019-09-23 11:48 michal Note Edited: 0006874 View Revisions
2019-09-23 11:50 michal Note Edited: 0006874 View Revisions
2019-09-23 13:17 virgile Status assigned => closed
2019-09-23 13:17 virgile Resolution open => no change required
2019-09-23 13:17 virgile Description Updated View Revisions
2019-09-23 13:17 virgile Note Deleted: 0006874


Copyright © 2000 - 2019 MantisBT Team
Powered by Mantis Bugtracker