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.021Mar18171615141110987432128Feb2524232221181716151411[kernel] Better casts introduction[kernel] Fix decision whether to introduce an implicit cast or notMerge branch 'feature/patrick/dune-ptests-bin-directive' into 'feature/bobot/jbuilder'Merge branch 'fix/eva/untrack-generated-api' into 'master'[Tests] restores the test suite: src/plugins/markdown-report/tests/sarif[ptests] adds BIN directive[ptests] fixes @PTESTS_SESSION@ for plugins[aorai] fix oracle of new test in prove configuration[Eva] Removes Eva.mli from git, as it is now generated from other mli files.Merge branch 'feature/eva/is-singleton' into 'master'Merge branch 'fix/aorai/observed-backwards' into 'master'Merge branch 'featrue/patrick/wp-tests-combined' into 'master'[Tests] tests/dynamic: changes since add-path has been removed[wp] restores a test[wp] restores a testMerge branch 'feature/bobot/jbuilder-markdown-report-eva-tests' into 'feature/bobot/jbuilder'Merge branch 'master' into feature/ivette/sockets[tests] restores tests/testMerge branch 'feature/patrick/dune-test-eva-config' into 'feature/bobot/jbuilder'[tests] une build @tests/value/ptests_config_bitwise,equality,gauges,octagon,symblocs[ivette/server] resolve path wrt server config[dome/texts] add display property[Tests] tests/dynamic: changes since add-path has been removed[Eva] Results: exports function [is_singleton].Merge branch 'fix/mergecil/typedef-compinfo' into 'master'[ivette/colors] softer color for positive icon buttons[Mdr] Reactivate md directory[Dune] apron library can't be yet dynlinked[Headers] adds dune configMerge branch 'feature/ci/ocaml-4.12.1-dune-3-env' into 'feature/bobot/jbuilder'Merge branch 'feature/wp/detailed-chunk-printer' into 'master'[Headers] adds dune config[Tests] adds tests/value[aorai] -aorai-acceptance always generate acceptance post-condition[aorai] Frama_C_show_aorai_state can now output value of args even in non-deterministic case[aorai] Frama_C_show_aorai_state works in non-deterministic state[server] more comments[ci] lock on 4.12[nix] Ocaml Dune 3 overlay[aorai] add missing assumes for out-of-state bhvs of unobserved functions
Loading