Commits · cd49fc0939bed25f0eb15477587dd39829e3ffc5 · pub / frama-c · GitLab

Snippets Groups Projects

Jul 19, 2022
- [makefile] fix FRAMAC_WP_QUALIF · cd49fc09
  Patrick Baudin authored 2 years ago
  
  cd49fc09
- [makefile] fixes testing aliases when plugins are disable · 409b7f3f
  Patrick Baudin authored 2 years ago
  
  409b7f3f
- [makefile] fix FRAMAC_WP_QUALIF · 0115dbd6
  Patrick Baudin authored 2 years ago
  
  0115dbd6
Jul 18, 2022
- [makefile] fix FRAMAC_WP_QUALIF · 4134b57d
  Loïc Correnson authored 2 years ago
  
  4134b57d
- [makefile] fix counting (when none) · dffbd044
  Loïc Correnson authored 2 years ago
  
  dffbd044
- Merge branch 'feature/ptests/never-disabled-option' into 'master' · 4bc93e13
  Allan Blanchard authored 2 years ago
  
  Always enable all tests on CI Closes #164 See merge request frama-c/frama-c!3852
  4bc93e13
- Merge branch 'feature/dune/makefiles' into 'master' · 4e9c63df
  Allan Blanchard authored 2 years ago
  
  [dune] makefiles cleanup See merge request frama-c/frama-c!3855
  4e9c63df
- [ci] make sure to always enable tests · 235d6ea6
  Allan Blanchard authored 2 years ago
  
  235d6ea6
- [ptests] adds an option to always enable tests · f9354e13
  Allan Blanchard authored 2 years ago
  
  In particular, tests are never disabled when a dependency is missing
  f9354e13
- [dune] alias default is @install · 223aac48
  Loïc Correnson authored 2 years ago
  
  223aac48
- Merge branch 'feature/dome/dnd' into 'master' · ef045837
  Maxime Jacquemin authored 2 years ago
  
  [Dome] Typed D&D features See merge request frama-c/frama-c!3771
  ef045837
- [configure] removed useless deps checks · b0042935
  Allan Blanchard authored 2 years ago
  
  b0042935
- [configure] renamed into configure.ac · aa45c1ec
  Loïc Correnson authored 2 years ago and Allan Blanchard committed 2 years ago
  
  aa45c1ec
- [configure] autoupdate recommendations · 831d53b9
  Loïc Correnson authored 2 years ago
  
  831d53b9
- Remove old configure inputs · 9c104b4e
  Allan Blanchard authored 2 years ago
  
  9c104b4e
- Remove unused Makefile · 90cc3b21
  Allan Blanchard authored 2 years ago
  
  90cc3b21
- Fix header · 26cecba0
  Allan Blanchard authored 2 years ago
  
  26cecba0
- Merge branch 'feature/distrib/check-opam-vs-version' into 'master' · 3c670b8e
  Allan Blanchard authored 2 years ago
  
  [distrib] check Opam version during make-distrib Closes #960 See merge request frama-c/frama-c!3853
  3c670b8e
Jul 13, 2022
- [dune] cleanup · 5be26f21
  Loïc Correnson authored 2 years ago
  
  5be26f21
- [dune] removed useless Qed makefie · 441db930
  Loïc Correnson authored 2 years ago
  
  441db930
- [dune] restored ./bin/rebuild.sh · dc3e7a74
  Loïc Correnson authored 2 years ago
  
  dc3e7a74
- [dome] new data/array component · 8d7905e5
  Loïc Correnson authored 2 years ago
  
  8d7905e5
- [dome] more dnd documentation · 3cdcaaab
  Loïc Correnson authored 2 years ago
  
  3cdcaaab
- [dome] renaming new dnd module · f7b62755
  Loïc Correnson authored 2 years ago
  
  f7b62755
- [dome] renaming old dnd module · ee8922ce
  Loïc Correnson authored 2 years ago
  
  ee8922ce
- [Dome] Some minor modifications · 0454bd52
  Maxime Jacquemin authored 2 years ago and Loïc Correnson committed 2 years ago
  
  This commit modifies some details to make the code easier and cleaner in my opinion.
  0454bd52
- [dome/dnd] more doc & lint · 5cb6433a
  Loïc Correnson authored 2 years ago
  
  5cb6433a
- [dome/dnd] ordering facilities · 6987c2cf
  Loïc Correnson authored 2 years ago
  
  6987c2cf
- [dome/dnd] continuous meta · d137ac9a
  Loïc Correnson authored 2 years ago
  
  d137ac9a
- [dome/dnd] continuous drop hover · 4290f4d9
  Loïc Correnson authored 2 years ago
  
  4290f4d9
- [dome/makefile] fix doc URL · 0f507479
  Loïc Correnson authored 2 years ago
  
  0f507479
- [dome/dnd] sortable lists · 6f62c0b4
  Loïc Correnson authored 2 years ago
  
  6f62c0b4
- [dome/dnd] dragging styles · 3d607823
  Loïc Correnson authored 2 years ago
  
  3d607823
- [dome/dnd] fixed memoization · d5671452
  Loïc Correnson authored 2 years ago
  
  d5671452
- [dome] fixed miss-aligning h-boxes · 8a3fc351
  Loïc Correnson authored 2 years ago
  
  8a3fc351
- [dome/dnd] ordered list · f3f8fa34
  Loïc Correnson authored 2 years ago
  
  f3f8fa34
- [dome/dnd] Drop Targets & Items Ordering · f8a04278
  Loïc Correnson authored 2 years ago
  
  f8a04278
- [dome/dnd] DropTarget introduction · 2484135c
  Loïc Correnson authored 2 years ago
  
  2484135c
- [dome/dnd] full featured DragSource · ebaf6891
  Loïc Correnson authored 2 years ago
  
  ebaf6891
- [dome] more features on timers · 559edd0b
  Loïc Correnson authored 2 years ago
  
  559edd0b