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.05Jan4321Dec20171615141310987632130Nov2926252423221918171098543229Oct28272625222120191815141312[dome] unsupported 'active' button kind[dome] fix selector CSS[wp] Fix clear test DONTRUN[wp/doc] Filter + Clear[wp] New "Clear" tactic (hyp removal)[wp] Clarifies props names in cfg loop test[wp] Weaken check invariant[wp] update oracles[wp] Invariant are now used as hypothese[wp] Do not reverse loop contractsMerge branch 'master' into feature/ivette/electron[wp] ChangeLog header[ivette] ignore headers for eslintrc[dome] protect ipc-renderer boolean values[ivette] frama-c status message improvements[ivette] server polling[dome] ipc for dialogs[ivette/lint] add rule to restrict '+' operandsMerge branch 'feature/git-inline' into 'master'fixes indentation errors[ptests] review of macro definitions[tests] preparation for the test execution from result directoriesMerge branch 'fix/eva/values-request' into 'master'[Eva] Fixes values request when nothing can be evaluated.[ivette] Messages panel: fixes checkbox labels for message kinds and emitters.[ivette] register new files[dome/controls] meter controlsMerge branch 'feature/ivette/electron' into feature/server/socket[dome] styling vrules[ivette/server] restore ZMQ client[ivette/server] makes client working[ivette/server] socket client functional[server] non-blocking double-buffer read[server] non-blocking server-socket (trial)Merge branch 'feature/patrick/aorai-tests' into 'master'[ivette/server] factorize common services into client[Aorai] tests using the PTEST_DEFAULT_OPTIONS[Eva] Fixes crashes when evaluating some ACSL terms with top locations.Merge branch 'feature/patrick/make-wrapper' into 'master'[tests] oracle updates
Loading