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.07Jun632131May3027252423201918171612111096543229Apr28272625222120191514131211876Update nix/frama-ci.*Update nix/frama-ci.*[analysis-scripts] add mention about tool unavailability[Slicing] fix API file modeMerge branch 'feature/dune/mode-guis' into 'feature/bobot/jbuilder'Update Changelog (fix version)update changelogMerge branch 'feature/journal/retirement' into 'master'[ci] fix WP cache modeMerge branch 'fix/andre/test-variadic-musl' into 'stable/manganese'[install] removed benchmark in shareMerge remote-tracking branch 'origin/master' into feature/bobot/jbuilder[ci] add linea-cabsMerge branch 'fix/eva/evaluation-oracle' into 'master'[Eva] Fixes the evaluation engine when a domain oracle returns Bottom.Merge branch 'fix/gui/error-dialog' into 'stable/manganese'Merge branch 'bufix/thibaut/quantif-over-enum' into 'stable/manganese'Merge branch 'thibaut/bugfix/rte-in-register' into 'stable/manganese'Merge branch 'fix/test-diff-on-arm64' into 'stable/manganese'[relman] mention check-devguide in the release process[devguide] blindly update check_api doc oracle[devguide] Fix last discrepancies between OCamldoc and LaTeX index[devguide] Fix handling of @plugin development guide for record fields[devguide] more accurate consistency check[dev-tuto] Fix Makefile for viewcfg[devguide] better consistency between LaTeX index and code comments[devguide] use good old regex to analyze LaTeX's index[devguide] fix cross-reference checker between code and devguide[devguide] update index[doc] remove unused @plugin dev guide directives[devguide] fix ocamldoc information extraction when checking coherence with API[devguide] remove completely misleading comment in check_api[devguide] update test and oracle for new infrastructure[devguide] more robust target for checking tutorial[Makefile] do overwrite FRAMAC_INTERNAL in Makefile.config if already set[devguide] ensures we compile tutorial examples with current Frama-C[devguide] allows @plugin dev guide in plugins as well as kernel[devguide] more robust script for compliance checking[devman] remove section commented out since 6+ years[doc] fix ambiguous docstrings
Loading