Unassigned [^] (1 - 2 / 2) 0001063   Problem when merging anonymous enum [Frama-C] Kernel - 2012-01-26 17:32 0000929   syntax error in value binary assignment [Frama-C] Kernel - 2011-08-24 18:49	Resolved [^] (1 - 10 / 24) 0000989   Strange dot callgraphs [Frama-C] Plug-in > syntactic callgraph - 2012-01-27 19:38 0001071   relation chains exploited incompletely [Frama-C] Plug-in > value analysis - 2012-01-27 16:33 0001072   evaluation of && and || in term position [Frama-C] Plug-in > value analysis - 2012-01-27 11:37 0001067   suggest to mention option "-value-help" in value analysis manual [Frama-C] Documentation - 2012-01-26 10:47 0001066   suggest to use "NULL" rather than "&NULL" for null pointer [Frama-C] Plug-in > value analysis - 2012-01-19 13:59 0001056   Frama-c fails when Starting Jessie Translation [Frama-C] Kernel > ACSL implementation - 2012-01-06 15:43 0001027   incompatible types for a correct spec [Frama-C] Kernel > ACSL implementation - 2012-01-06 13:20 0001050   Sequence number generated by aorai is incorrect [Frama-C] Plug-in > aoraï - 2012-01-04 11:32 0000997   Warnings in presence of Top floats [Frama-C] Plug-in > value analysis - 2011-11-21 23:38 0001021   request for pretty printing only one property by lines [Frama-C] Graphical User Interface - 2011-11-18 20:10
Recently Modified [^] (1 - 10 / 576) 0001074   Imprecise result on almost deterministic program [Frama-C] Plug-in > value analysis - 2012-01-28 17:21 0000989   Strange dot callgraphs [Frama-C] Plug-in > syntactic callgraph - 2012-01-27 19:38 0001071   relation chains exploited incompletely [Frama-C] Plug-in > value analysis - 2012-01-27 16:33 0001073   Some functions lose their formals after File.create_project_from_visitor [Frama-C] Kernel - 2012-01-27 14:58 0001072   evaluation of && and || in term position [Frama-C] Plug-in > value analysis - 2012-01-27 11:37 0001036   In section 5.11.5 of the Plugin developper manual : Reference to modules that neither appear in the API nor in Frama-c source. [Frama-C] Documentation - 2012-01-27 10:28 0001063   Problem when merging anonymous enum [Frama-C] Kernel - 2012-01-26 17:32 0001067   suggest to mention option "-value-help" in value analysis manual [Frama-C] Documentation - 2012-01-26 10:47 0001035   Requires of behaviors lost [Frama-C] Plug-in > wp - 2012-01-24 10:55 0001070   Getting frama-c version through --enable-external [Frama-C] Kernel > configure - 2012-01-23 16:43
new feedback acknowledged confirmed assigned resolved closed