Skip to content
Snippets Groups Projects
Select Git revision
  • 2699-wp-region-plugin-division-by-0-with-empty-region-node
  • master default protected
  • stable/chromium
  • stable/cobalt
  • stable/copper
  • stable/iron
  • stable/manganese
  • stable/nickel
  • stable/scandium
  • stable/titanium
  • stable/titanium-backport
  • stable/vanadium
  • stable/zinc
  • 30.0 protected
  • 30.0-beta protected
  • MIEL-2024-10 protected
  • 29.0 protected
  • 29.0-beta protected
  • 28.1 protected
  • 28.0 protected
  • MIEL-2023-10 protected
  • 28.0-beta protected
  • 27.1 protected
  • 27.0 protected
  • 27.0-beta protected
  • 26.1 protected
  • 26.0 protected
  • 26.0-beta protected
  • 25.0-r1 protected
  • pre-dune protected
  • 25.0 protected
  • 25.0-beta protected
  • 2022-03-23 protected
33 results
You can move around the graph by using the arrow keys.
Created with Raphaël 2.2.04Mar128Feb2726252221201918151413121187654131Jan302928252423222119181716151410974320Dec181714126543230Nov29282322161514531Oct3029262423221917151098543218Sep1064331Aug302928272322123Jul129654325Jun211514137625May425Apr2319131211109430Mar29281398752126Feb2221[kernel] fix initialization of built-ins in a visitor-created project[opam] update dependencies wrt lablgtk3Merge branch 'feature/patrick/wp-multidimentional-arrays' into 'master'[Gui] Fixes the lablgtk3 support.[WP/test] adding a test initializing multidimentianal arrays[WP/test] adding a test initializing multidimentianal arrays[WP/test] adding a test initializing multidimentianal arrays[wp/gui] insert a splitter for palette[gui] use configure pattern for splitters[gui] scroll utilityMakes frama-c compile with the current lablgtk3 branch.[gui] add split pane utilitiesMerge branch 'feature/virgile/local-vars-at' into 'master'[Cil] Improved behavior of transient blockChange in Frama-C kernel: new assertion kind, assert or check.[obfuscator] Removes an unnecessary try… with.Merge branch 'feature/julien/partial_instrumentation' into 'master'[doc] experimental featureMerge branch 'feature/nikolai_zeinab/mkdir' into 'master'[doc] document __e_acsl_sound_verdict[doc] add missing example[doc] document option -e-acsl-instrumentaccurate -> sound[tests] update oracle wrt libc's changesMerge branch 'fix/obfuscator/issue490' into 'master'changelognew option -e-acsl-instrument[tests] deactivate tests of builtinschangelog[obfuscator] Adds some tests.[obfuscator] Do not obfuscate functions with attribute FC_BUILTIN or fc_stdlib.[obfuscator] Do not obfuscate builtin logic types and constructors.[obfuscator] obfuscate logic types and constructors[obfuscator] do not obfuscate stdlib and builtinsMerge branch 'fix/virgile/ptests-arobase' into 'master'remove unused function[extlib] add recursive mkdir function (fixes #425)[compat] Compatibility with older OCaml versions 👴Merge branch 'feature/kernel/cast-pointer-to-integer' into 'master'[devman] fixes version in Change section + doc `status` flag in ACSL extensions
Loading