Commits · 919b520175f92cfe300e4f174fa912d5b8d131c3 · pub / frama-c · GitLab

Snippets Groups Projects

Nov 20, 2023
- Merge branch 'fix/martin/kernel/1037-struct-returning-function-lifetime' into 'master' · 919b5201
  Virgile Prevosto authored 1 year ago
  
  Fix/martin/kernel/1037 struct returning function lifetime Closes #1037 et #1220 See merge request frama-c/frama-c!4292
  919b5201
- [doc] fix typos · 8e276464
  Virgile Prevosto authored 1 year ago and Thibault Martin committed 1 year ago
  
  8e276464
- Merge branch 'fix/martin/kernel/1112-ensure-all-variable-uses-are-visited' into 'master' · b5b1f9a6
  Virgile Prevosto authored 1 year ago
  
  Resolve "Ensure all variable uses are visited" Closes #1112 See merge request frama-c/frama-c!4402
  b5b1f9a6
Nov 15, 2023
- [doc] rewrites few comments · 6a575674
  Thibault Martin authored 1 year ago
  
  6a575674
- [tests] fix typing of test source file · 4ea8b752
  Virgile Prevosto authored 1 year ago and Thibault Martin committed 1 year ago
  
  4ea8b752
- Move transformation inside compileCondExp · effaace3
  Thibault Martin authored 1 year ago
  
  effaace3
- Revert change and use varinfo equal function · bf2c8e1e
  Thibault Martin authored 1 year ago
  
  bf2c8e1e
- Rename contains_problem to contains_temp_subarray · f690b518
  Thibault Martin authored 1 year ago
  
  f690b518
- Add test and oracle for access to array field of struct-returning fun · e586380e
  Thibault Martin authored 1 year ago
  
  e586380e
- Handle condition expression for if/loops · 800e1064
  Thibault Martin authored 1 year ago
  
  800e1064
- Similar normalization for full expressions · 5207e1f5
  Thibault Martin authored 1 year ago
  
  5207e1f5
- hide init chunk which access array field from struct-returning function · aadb0771
  Thibault Martin authored 1 year ago
  
  aadb0771
- Do not display ghost code in proto/fun args when empty · c95c2dd3
  Thibault Martin authored 1 year ago
  
  c95c2dd3
Nov 13, 2023
- Merge branch 'fix/ivette/sandbox' into 'master' · d329832e
  Loïc Correnson authored 1 year ago
  
  [ivette] removed sidebar sandboxing See merge request frama-c/frama-c!4404
  d329832e
- Merge branch 'feature/dome/rich-text' into 'master' · 413e162b
  Loïc Correnson authored 1 year ago
  
  [dome] rich text component See merge request frama-c/frama-c!4378
  413e162b
- [ivette] removed sidebar sandboxing · f4485569
  Loïc Correnson authored 1 year ago
  
  f4485569
- [dome] sanitizing diff package · e6a85a12
  Loïc Correnson authored 1 year ago
  
  e6a85a12
- [ivette/console] updated tests · 48d3039a
  Loïc Correnson authored 1 year ago
  
  48d3039a
- [dome/richtext] fix CSS · 15fab2d9
  Loïc Correnson authored 1 year ago
  
  15fab2d9
- [ivette/controller] auto-scrolling · 8f9ccd49
  Loïc Correnson authored 1 year ago
  
  8f9ccd49
- Merge branch 'feature/ui/doubleBar' into 'master' · e082477e
  Loïc Correnson authored 1 year ago
  
  [Ivette] New Ivette sidebar Closes #1323, #1303, and #1310 See merge request frama-c/frama-c!4394
  e082477e
- [ivette/sidebar] sidebar selector tweaks · e48e2753
  Loïc Correnson authored 1 year ago
  
  e48e2753
- [ivette/sidebar] sandbox sidebars only in DEVEL · 7bac6c91
  Loïc Correnson authored 1 year ago
  
  7bac6c91
- [ivette/sidebar] beautify code for selector · cfcf8fc0
  Loïc Correnson authored 1 year ago
  
  cfcf8fc0
- Centered text in the sidebar · 2430b8f9
  Titouan BOUETE-GIRAUD authored 1 year ago
  
  2430b8f9
Nov 10, 2023
- [ivette] new console auto-scroll · 68593beb
  Loïc Correnson authored 1 year ago
  
  68593beb
- [dome/richtext] more proxies · eca5716d
  Loïc Correnson authored 1 year ago
  
  eca5716d
- Cleaned up css class declaration · 8ed3c25f
  Titouan BOUETE-GIRAUD authored 1 year ago
  
  8ed3c25f
- [dome/richtext] force default options · 748e26b2
  Loïc Correnson authored 1 year ago
  
  748e26b2
- [dome/text] removing old codemirror stuff · 9e6da8db
  Loïc Correnson authored 1 year ago
  
  9e6da8db
- [dome/richtext] gutter clicks · 6aa2f73a
  Loïc Correnson authored 1 year ago
  
  6aa2f73a
- Updated JSX and Css to match the old look · 6aa4bb3c
  Titouan BOUETE-GIRAUD authored 1 year ago
  
  6aa4bb3c
- [ivette/richtext] mouse events · 9dba0fbd
  Loïc Correnson authored 1 year ago
  
  9dba0fbd
Nov 09, 2023
- [ivette/sidebar] draft sidebar selector · 87a5519c
  Loïc Correnson authored 1 year ago
  
  87a5519c
- [ivette/sidebar] refactor all · 0b00428f
  Loïc Correnson authored 1 year ago
  
  0b00428f
- Remove inside_exp stack · 7db9cfb6
  Thibault Martin authored 1 year ago
  
  7db9cfb6
- [dome/richtext] hovering callback · 48fa88f4
  Loïc Correnson authored 1 year ago
  
  48fa88f4
- Added hover effects · 2b301494
  Titouan BOUETE-GIRAUD authored 1 year ago
  
  2b301494
- The submenu now uses a Sidebar instead of a div · 32fc95c6
  Titouan BOUETE-GIRAUD authored 1 year ago
  
  32fc95c6
- Moved mocking values to a separate component · 59ecb849
  Titouan BOUETE-GIRAUD authored 1 year ago
  
  59ecb849