Frama-C Bug Tracking System - Frama-C
View Issue Details
0002477Frama-CKernel > ACSL implementationpublic2019-09-23 11:472019-09-23 13:17
michal 
virgile 
immediatetextsometimes
closedno change required 
windows7windows7windows7
Frama-C 19-Potassium 
 
0002477: Freelance
I'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.
No tags attached.
Issue History
2019-09-23 11:47michalNew Issue
2019-09-23 11:47michalStatusnew => assigned
2019-09-23 11:47michalAssigned To => virgile
2019-09-23 11:47michalNote Added: 0006874
2019-09-23 11:48michalNote Edited: 0006874View Revisions
2019-09-23 11:50michalNote Edited: 0006874View Revisions
2019-09-23 13:17virgileStatusassigned => closed
2019-09-23 13:17virgileResolutionopen => no change required
2019-09-23 13:17virgileDescription UpdatedView Revisions
2019-09-23 13:17virgileNote Deleted: 0006874

There are no notes attached to this issue.