Commits · ab95709e13116e4c22f65d6cff97688cd3a00320 · pub / frama-c · GitLab

Snippets Groups Projects

May 18, 2022
- [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
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
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
- [wp] fix manual · 4b7e05ba
  Loïc Correnson authored 2 years ago
  
  4b7e05ba
- [wp/doc] document script tracking · bd7758f4
  Allan Blanchard authored 2 years ago
  
  bd7758f4
- [kernel] changes symbolics dirs registration · 0a4f0f78
  Allan Blanchard authored 2 years ago and Andre Maroneze committed 2 years ago
  
  0a4f0f78
- [wp] The session can now track scripts usage · 14c1d5e9
  Allan Blanchard authored 2 years ago
  
  14c1d5e9
- [wp] New options for marking of scripts · bf85e4cc
  Allan Blanchard authored 2 years ago
  
  bf85e4cc
- Merge branch 'feature/doc-and-deprecated' into 'master' · 582c091a
  Allan Blanchard authored 2 years ago
  
  Deal with `@modify` and old `@deprecated` See merge request frama-c/frama-c!3700
  582c091a
- Typo in Changelog · b19ecf49
  François Bobot authored 2 years ago
  
  b19ecf49
- Update E-ACSL version · 2d75836d
  François Bobot authored 2 years ago
  
  View commits for tag 25.0-beta 25.0-beta
  
  2d75836d
- Fix build-src-distrib repository update · 343b5bfc
  François Bobot authored 2 years ago
  
  343b5bfc
- [kernel] changes an @modify to @before in Annotations · a31f3e4d
  Allan Blanchard authored 2 years ago
  
  a31f3e4d
- [qed] changes @modify to @before in Logic · ade1e0e9
  Allan Blanchard authored 2 years ago
  
  ade1e0e9
- [logic] change @modify tags · 46acaa5e
  Loïc Correnson authored 2 years ago and Allan Blanchard committed 2 years ago
  
  46acaa5e
- [Kernel] convert @modify to @before and update changes · ad74716f
  Andre Maroneze authored 2 years ago and Allan Blanchard committed 2 years ago
  
  ad74716f
- [Kernel] more @modify -> @before tags · c2a3851f
  Andre Maroneze authored 2 years ago and Allan Blanchard committed 2 years ago
  
  c2a3851f
- [cil] update doc of has_flexible_array_member · d8de72bb
  Allan Blanchard authored 2 years ago
  
  d8de72bb
- [doc] @modify -> @since · ab5dea0f
  Virgile Prevosto authored 2 years ago and Allan Blanchard committed 2 years ago
  
  ab5dea0f
- [Kernel] replace several @modify tags with @before · a96cdc84
  Andre Maroneze authored 2 years ago and Allan Blanchard committed 2 years ago
  
  a96cdc84
- [kernel] remove deprecated taddrof · fbfec08b
  Allan Blanchard authored 2 years ago
  
  fbfec08b
- [qed] remove deprecated functions · 71db775d
  Allan Blanchard authored 2 years ago
  
  71db775d