Frama-C Bug Tracking System - Frama-C
View Issue Details
0002476Frama-CKernel > ACSL implementationpublic2019-09-23 11:432019-09-23 13:16
michal 
virgile 
normaltweakrandom
closedno change required 
windows7windows7windows7
Frama-C 19-Potassium 
 
0002476: FieldEngineer
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:43michalNew Issue
2019-09-23 11:43michalStatusnew => assigned
2019-09-23 11:43michalAssigned To => virgile
2019-09-23 13:16virgileStatusassigned => closed
2019-09-23 13:16virgileResolutionopen => no change required

There are no notes attached to this issue.