Skip to content
Snippets Groups Projects
Select Git revision
  • feature/andre/choc-simplification-analysis-scripts
  • master default protected
  • stable/chromium
  • stable/scandium
  • stable/titanium
  • stable/titanium-backport
  • stable/vanadium
  • unmarshal-opaque-identity
  • 24.0
  • 24.0-beta
  • 23.1
  • 23.0
  • 23.0-rc1
  • 22.0+r2
  • 22.0+r1
  • 22.0
  • 22.0-beta
  • 2020-10-16
  • 2020-10-15
  • THS-1
  • thales-dis/2020-08-06
  • 21.1
  • 21.0
  • 21.0-beta
  • 20.0
25 results
You can move around the graph by using the arrow keys.
Created with Raphaël 2.2.024Sep23212017161514131097632131Aug302625242319181265331Jul302928272625212019171615131298765130Jun28272524232221181716151411109874321[wp] Better management of trivial FALSE in the context in Condition.ml[Server] Only show polls on `-server-debug 3` or more[ivette] Always poll even if there is no pending requests[Eva] User manual: fixes the octagon example.[Eva] Updates octagon test.[Eva] Fixes a precision bug in the octagon domain.[Eva] Fixes a soundness bug in the octagon domain on downcasts.[ivette] Regenerates api files.Merge branch 'feature/ivette/status-message-and-menus' into 'master'[Ivette] regenerate generated filesMerge branch 'feature/ivette/request_signal' into 'master'[server] In getMainFunction request, catches exception No_such_entry_point.Merge branch 'thibaut/feature/reactivate-test' into 'master'[ivette] New menu items 'add files', 'reparse, 'load session' and 'save session'.[server] New kernel request to save the current session.[ivette] New status message in the status bar.[ivette] In the bottom status bar, adds a separator after the server status.Merge branch 'ivette_add_set_files' into 'master'[e-acsl] reactivate test printf.c[ivette] Changes the reset of the selected locations.[ivette] Automatically selects the 'main' function.[server] New GET request getMainFunction returning the current entry point.[ivette] "Set files" menu: resets the current location when the AST is computed.[ivette] "Set files" menu: adds filter for C source file.[dome] Dialogs: uses title instead of message (only supported by macos).[Yvette] Add in menu "Set files"Merge branch 'fix/ivette/sync-values-type-deps' into 'master'[Ivette] Add default signals for request[Ivette] fix the api generation order for synced values and statesMerge branch 'feature/ivette/sandbox' into 'master'Merge branch 'feature/ivette/use-request-signals' into 'master'Merge branch 'feature/ivette/source-code-view' into 'master'[ci] continuous integration tests doc generation[ivette] Adds a default view with the AST, source code and information panels.[ivette] sandbox componentMerge branch 'feature/basile/eacsl-remove-eva-invalid' into 'master'Merge branch 'fix/e-acsl/unused-field' into 'master'[eacsl] Fix TAB in changelog[eacsl] Update oracles[eacsl] Fix mainargs test