Frama-C Bug Tracking System - Frama-C
View Issue Details
0000641Frama-CPlug-in > wppublic2010-12-16 13:412011-10-10 14:14
dargaye 
dargaye 
normalminorhave not tried
closedfixed 
 
Frama-C Nitrogen-20111001Frama-C Nitrogen-20111001 
0000641: alt-ergo version managment
When the alt-ergo version is 0.91.x and the -wp-no-arrays option isn't set, find a way to catch the alt-ergo error output
No tags attached.
child of 0000640closed dargaye Issue INSTALL guidance that alt-ergo has to be up-to-date (0.92 apparently) 
Issue History
2010-12-16 13:41dargayeNew Issue
2010-12-16 13:41dargayeStatusnew => assigned
2010-12-16 13:41dargayeAssigned To => dargaye
2010-12-16 13:42dargayeRelationship addedchild of 0000640
2011-01-28 11:44corrensonTarget Version => Frama-C Carbon-20110201
2011-02-02 10:46corrensonRelationship addedparent of 0000702
2011-02-02 10:46corrensonTarget VersionFrama-C Carbon-20110201 => Frama-C Nitrogen-20110901
2011-05-19 13:33corrensonNote Added: 0001912
2011-05-19 13:33corrensonStatusassigned => resolved
2011-05-19 13:33corrensonResolutionopen => fixed
2011-10-10 14:13signolesFixed in Version => Frama-C Nitrogen-20111001
2011-10-10 14:14signolesStatusresolved => closed

Notes
(0001912)
correnson   
2011-05-19 13:33   
Alt-Ergo 0.93 required. Array theory by default.