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.030Jun2726232120191615141312987652131May302823221716151211109543227Apr252421201918171413111087[machdep] provide new command in frama-c-script to launch make_machdep easily[machdep] new option in make_machdep.py for finding the schema[Eva] Abstractions: renames module type Value into Value_with_reduction.[Eva] Abstractions: do not export the type of Config.[Eva] Abstractions: better naming in function Location.add.[Eva] Abstractions: reverts a useless change of the folder type.[Eva] Abstractions: share implementation of [register] and [register_functor].[Eva] Minor changes to Abstractions.mli interface.[Eva] Abstractions.mli: exports the type of Config.t.[Eva] Greatly simplifies Abstractions.mli interface.[gui] Fixes GUI freeze when a plugin aborts after parsing succeeded.[kernel] Printer_tag: catches Not_found exception when calling Globals.Type.globalMerge branch 'fix/eva/dynamic-alloc-convergence' into 'master'Merge branch 'fix/ivette/properties-fixed-column' into 'master'[Kernel] do not emit warnings-as-feedback when verbosity is 0Merge branch 'fix/andre/e-acsl-dev-tests-arch-amd64' into 'master'[e-acsl] properly disable tests, but not on amd64Merge branch 'feature/eva/locations' into 'master'[Eva] Slightly rewrites reduce product between cvalue and offsetmaps values.[Eva] Minor fixes in abstract locations product.[Eva] Minor change in abstract location interface: [to_value] may return bottom.[Eva] Shares implementation of [narrow_truth] between value and location product.[Eva] Minor fixes.[Eva] Linter[Eva] Apron reduced product[Eva] Comments in [Abstractions] module[Eva] Fix bitwise tests[Eva] Numerors fix[Eva] Fix in GUI, Numerors and Apron[Eva] Fix for Numerors[Eva] Linter[Eva] Updates the engine and all abstractions for the new Abstractions.mli API.[Eva] Abstractions: final steps to handle multiple locations.[Eva] Abstractions: third steps to handle multiple locations.[Eva] Abstractions: second steps to handle multiple locations.[Eva] Abstractions: first steps to handle multiple locations.[Ivette] In the Properties table, removes the fixed size of the status column.Merge branch 'fix/test/runtime' into 'master'Merge branch 'fix/release/json-output' into 'master'Merge branch 'fix/doc/release-manual-27' into 'master'
Loading