Unassigned [^] (0 - 0 / )	Resolved [^] (1 - 10 / 71) 0001180   Port to OCamlgraph 1.8.2 [Frama-C] Kernel - 2012-05-16 15:40 0000419 Plug-in dev guide: tutorial for kernel integrated plug-in is out-of-date [Frama-C] Documentation - 2012-05-16 15:10 0000764   Specifying several directories in environment variables FRAMAC_* [Frama-C] Kernel - 2012-05-16 11:23 0001089   Updated example in plugin-development-guide [Frama-C] Documentation - 2012-05-10 16:33 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-05-09 18:27 0001178   Several types for the same function [Frama-C] Kernel - 2012-05-07 10:50 0001085   Cute boolean options too cute for their own good [Frama-C] Documentation - 2012-04-30 09:47 0001127   Error in Type.pp_ml_name with Datatype.String.Set.ty [Frama-C] Kernel - 2012-04-26 15:13 0001165   [libc] erreur: #endif sans #if [Frama-C] Kernel - 2012-04-24 16:50 0001110   Using Filter without Value [Frama-C] Kernel - 2012-04-18 22:18
Recently Modified [^] (1 - 10 / 643) 0000690   Slicing does not preserve some ACSL constructs [Frama-C] Plug-in > slicing - 2012-05-16 18:36 0001034   the make errors [Frama-C] Kernel > Makefile - 2012-05-16 18:32 0000877   RTE does not generate assertions for non initialized arguments [Frama-C] Plug-in > RTE - 2012-05-16 18:22 0001152   loop assigns on structures not supported [Frama-C] Plug-in > jessie - 2012-05-16 15:45 0001150   separated : unimplemented feature [Frama-C] Plug-in > jessie - 2012-05-16 15:44 0001180   Port to OCamlgraph 1.8.2 [Frama-C] Kernel - 2012-05-16 15:40 0000419 Plug-in dev guide: tutorial for kernel integrated plug-in is out-of-date [Frama-C] Documentation - 2012-05-16 15:10 0000764   Specifying several directories in environment variables FRAMAC_* [Frama-C] Kernel - 2012-05-16 11:23 0001179   Suggest to supply values of global consts to provers [Frama-C] Plug-in > wp - 2012-05-15 19:42 0001089   Updated example in plugin-development-guide [Frama-C] Documentation - 2012-05-10 16:33
new feedback acknowledged confirmed assigned resolved closed