Frama-C Bug Tracking System - Frama-C
View Issue Details
0002477Frama-CKernel > ACSL implementationpublic2019-09-23 11:472019-09-23 13:17
closedno change required 
Frama-C 19-Potassium 
0002477: Freelance
I'm staff at,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.