Unassigned [^] (1 - 2 / 2) 0001081   foo ? (void)x : (signed char)y (csmithreduction) [Frama-C] Kernel - 2012-02-06 08:48 0000929   syntax error in value binary assignment [Frama-C] Kernel - 2011-08-24 18:49	Resolved [^] (1 - 10 / 26) 0001079   Imprecision of 'Defs' when querying precise location [Frama-C] Plug-in > scope - 2012-02-04 12:47 0001074   Imprecise result on almost deterministic program [Frama-C] Plug-in > value analysis - 2012-01-30 14:11 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
Recently Modified [^] (1 - 10 / 579) 0001082   Bad links in generated documentation modules.svg [Frama-C] Kernel > Makefile - 2012-02-06 14:48 0001081   foo ? (void)x : (signed char)y (csmithreduction) [Frama-C] Kernel - 2012-02-06 08:48 0001079   Imprecision of 'Defs' when querying precise location [Frama-C] Plug-in > scope - 2012-02-04 12:47 0001073   Some functions lose their formals after File.create_project_from_visitor [Frama-C] Kernel - 2012-02-03 18:25 0001063   Problem when merging anonymous enum [Frama-C] Kernel - 2012-02-02 15:49 0001014   gui and doc [Frama-C] Documentation - 2012-02-02 10:05 0000765   Post-state of statement spec [Frama-C] Plug-in > wp - 2012-01-31 16:16 0001076   "volatile" ignored [Frama-C] Plug-in > value analysis - 2012-01-31 10:22 0001074   Imprecise result on almost deterministic program [Frama-C] Plug-in > value analysis - 2012-01-30 14:11 0000624   Logging huge messages makes kernel crashing [Frama-C] Kernel - 2012-01-30 12:58
new feedback acknowledged confirmed assigned resolved closed