Frama-C Bug Tracking System - Frama-C
View Issue Details
0002204Frama-CDocumentationpublic2016-01-26 21:282016-06-21 14:13
jens 
signoles 
normalminorhave not tried
closedfixed 
Frama-C GIT, precise the release id 
Frama-C Magnesium 
0002204: provide "Magnesium" product version in the BTS
Currently it is not possible to submit "magnesium" bugs to the BTS as it still refers only to Neon and Sodium. (Sorry for posting this here.)
No tags attached.
Issue History
2016-01-26 21:28jensNew Issue
2016-01-26 23:22signolesAssigned To => signoles
2016-01-26 23:22signolesStatusnew => assigned
2016-01-26 23:22signolesNote Added: 0006142
2016-01-26 23:22signolesStatusassigned => closed
2016-01-26 23:22signolesResolutionopen => fixed
2016-01-26 23:22signolesFixed in Version => Frama-C Magnesium
2016-06-21 14:11signolesCategoryDocumentation => Documentation > ACSL
2016-06-21 14:13signolesCategoryDocumentation > ACSL => Documentation

Notes
(0006142)
signoles   
2016-01-26 23:22   
Thanks. It is now fixed.