Commits · 3f2340f2e253949a6a56d0d3ecba8a845155b9c2 · pub / frama-c · GitLab

Snippets Groups Projects

May 19, 2022
- [dome] QSplitter · 3f2340f2
  Loïc Correnson authored 3 years ago
  
  3f2340f2
- Merge branch 'feature/ivette/fix-typing' into 'master' · 8c974847
  Loïc Correnson authored 2 years ago
  
  [ivette] fix typing See merge request frama-c/frama-c!3753
  8c974847
May 18, 2022
- [ivette] fix distributed files · 36741e0a
  Loïc Correnson authored 2 years ago
  
  36741e0a
- [ivette] fix typing · 05b4d5af
  Loïc Correnson authored 2 years ago
  
  05b4d5af
- Merge branch 'feature/ivette/more-types' into 'master' · 3c82d554
  Loïc Correnson authored 2 years ago
  
  More types in Ivette See merge request frama-c/frama-c!3613
  3c82d554
- Merge branch 'fix/remaining-modified' into 'master' · 19c9249f
  Loïc Correnson authored 2 years ago
  
  Fix various problems in doc See merge request frama-c/frama-c!3742
  19c9249f
- Merge branch 'feature/eva/fix-deadcode-request' into 'master' · a5067054
  Loïc Correnson authored 2 years ago
  
  [ivette/eva] fix dead-code exception See merge request frama-c/frama-c!3750
  a5067054
- Merge branch 'feature/dome/tabs' into 'master' · 0f102451
  Loïc Correnson authored 2 years ago
  
  [Dome] Styling Tabs See merge request frama-c/frama-c!3748
  0f102451
- Merge branch 'feature/dome/emitter-hook' into 'master' · ca7ed9f6
  Loïc Correnson authored 2 years ago
  
  [dome] useEmitter hook See merge request frama-c/frama-c!3749
  ca7ed9f6
- [dome] more types in dome/main/menubar · ab95709e
  Loïc Correnson authored 2 years ago
  
  ab95709e
- [dome] more types in dome/data · cc97d551
  Loïc Correnson authored 2 years ago
  
  cc97d551
- [dome] more types in dome/text · 6ca982de
  Loïc Correnson authored 2 years ago
  
  6ca982de
- [dome] more types in dome/table · 9508c5da
  Loïc Correnson authored 2 years ago
  
  9508c5da
- [ivette] rebasing types · 197ad08f
  Loïc Correnson authored 2 years ago
  
  197ad08f
- [ivette] more types in dome/frames · bd0e895f
  Loïc Correnson authored 3 years ago
  
  bd0e895f
- [ivette] more types in dome/layout · a2479aca
  Loïc Correnson authored 3 years ago
  
  a2479aca
- [ivette] more types in dome · 1e0cfd82
  Loïc Correnson authored 3 years ago
  
  1e0cfd82
- [ivette/types] rebased on master · f3c8ebfa
  Loïc Correnson authored 3 years ago
  
  f3c8ebfa
- [ivette] more types in Ivette · dd1cc722
  Loïc Correnson authored 3 years ago
  
  dd1cc722
- [ivette] more types in frama-c · e71b0c9c
  Loïc Correnson authored 3 years ago
  
  e71b0c9c
- [dome] more types in forms · b733b584
  Loïc Correnson authored 3 years ago
  
  b733b584
- [ivette] more types in dome main process · 6110f220
  Loïc Correnson authored 3 years ago
  
  # Conflicts: # ivette/src/dome/main/dome.ts
  6110f220
- [doc] Fix few typos · 2e0a3472
  Loïc Correnson authored 2 years ago and Allan Blanchard committed 2 years ago
  
  2e0a3472
- [eva/api] fix dead-code exception · d373939e
  Loïc Correnson authored 2 years ago
  
  d373939e
- [dome] useEmitter hook · 39c2232d
  Loïc Correnson authored 2 years ago
  
  39c2232d
- [dome] updated tabs styling · 09202737
  Loïc Correnson authored 2 years ago
  
  09202737
May 17, 2022
- Merge branch 'feature/isrn/merge-manganese' into 'master' · 763e1262
  Loïc Correnson authored 2 years ago
  
  [extern] WP & Ivette updates for external plugins See merge request frama-c/frama-c!3739
  763e1262
- Merge branch 'feature/eva/use_mlmpfr' into 'master' · 31eb3b79
  Maxime Jacquemin authored 2 years ago
  
  [Numerors] Move from mlgmpidl to mlmpfr See merge request frama-c/frama-c!3453
  31eb3b79
- [doc] resolve various markup warnings · b53dbd3a
  Allan Blanchard authored 2 years ago
  
  b53dbd3a
- [kernel] Remove deprecated module `LegacyNames` · 30f0e587
  Allan Blanchard authored 2 years ago
  
  30f0e587
- [doc] various line break fixes · a50673c1
  Allan Blanchard authored 2 years ago
  
  a50673c1
- [kernel] fix some @raise · ee8882e6
  Allan Blanchard authored 2 years ago
  
  ee8882e6
- [kernel] fix @modifies · ace57d12
  Allan Blanchard authored 2 years ago
  
  ace57d12
- [kernel] Fix @modified · 086451c9
  Allan Blanchard authored 2 years ago
  
  086451c9
May 16, 2022
- Merge branch 'stable/manganese' · 55adcf6c
  François Bobot authored 2 years ago
  
  55adcf6c
- [Numerors] Move from mlgmpidl to mlmpfr · cc4ce4cd
  François Bobot authored 3 years ago and Allan Blanchard committed 2 years ago
  
  Updated more frequently, uses dune so better META file
  cc4ce4cd
May 12, 2022
- Merge branch 'feature/eva/structure-iterators' into 'master' · 7844bbd7
  Valentin Perrelle authored 2 years ago
  
  [Eva] Implements iterators on the components of an abstraction product See merge request frama-c/frama-c!3735
  7844bbd7
May 11, 2022
- Merge branch 'feature/wp/better-session-update' into 'master' · 270e04b5
  Loïc Correnson authored 2 years ago
  
  Proof scripts tracking See merge request frama-c/frama-c!3741
  270e04b5
- Merge branch 'feature/kernel/symbolic-dirs-register' into 'master' · e5259b18
  Andre Maroneze authored 2 years ago
  
  [kernel] changes symbolic dirs registration See merge request frama-c/frama-c!3734
  e5259b18
- Merge branch 'feature/eva/overlap' into 'master' · 7e358cb0
  Valentin Perrelle authored 2 years ago
  
  [Eva] Ival: more precise detection of partial overlaps. See merge request frama-c/frama-c!3703
  7e358cb0