Commits · 289c25467a4443c78f855ed261d7a1531c2a3662 · pub / frama-c · GitLab

Snippets Groups Projects

Jun 18, 2024
- [slicing] treat more extensions in logic-deps · 289c2546
  Loïc Correnson authored 9 months ago
  
  289c2546
- [kernel] renamed unfold-loop module · 298c48e2
  Loïc Correnson authored 9 months ago
  
  298c48e2
- Merge branch 'master' into feature/kernel/loop-unroll-extension · 0a60c9ee
  Loïc Correnson authored 9 months ago
  
  # Conflicts: # doc/userman/user-changes.tex # man/frama-c.1.md
  0a60c9ee
- Merge branch 'feature/wp/regions' into 'master' · d60d9263
  Loïc Correnson authored 9 months ago
  
  Feature/wp/regions See merge request frama-c/frama-c!4626
  d60d9263
- [region] use getCompXXX from Cil · 8955c540
  Loïc Correnson authored 9 months ago
  
  8955c540
- [cil] getCompField · 27554b52
  Loïc Correnson authored 9 months ago
  
  27554b52
- [region] error message typo · 30f3246a
  Loïc Correnson authored 9 months ago
  
  30f3246a
- [region] fix dune file · 071a1189
  Loïc Correnson authored 9 months ago
  
  071a1189
Jun 17, 2024
- [region/ivette] upgrade use-request · b22fbcca
  Loïc Correnson authored 9 months ago
  
  b22fbcca
- [region] added shift access · a8bc3da2
  Loïc Correnson authored 9 months ago
  
  a8bc3da2
- [region] README · b8558b55
  Loïc Correnson authored 9 months ago
  
  b8558b55
- [region] useless named lv-region · 82520f64
  Loïc Correnson authored 9 months ago
  
  82520f64
- [region] add-code · 3eb276f8
  Loïc Correnson authored 9 months ago
  
  3eb276f8
- [dome/diagram] more edge attributes · b03f3586
  Loïc Correnson authored 9 months ago
  
  b03f3586
- [region] adding tests · dfe65094
  Loïc Correnson authored 9 months ago and Loïc Correnson committed 9 months ago
  
  dfe65094
- [region] aliasing annotations & region labels · ca39f059
  Loïc Correnson authored 9 months ago and Loïc Correnson committed 9 months ago
  
  ca39f059
- [region] statement annotations · 211dc770
  Loïc Correnson authored 9 months ago and Loïc Correnson committed 9 months ago
  
  211dc770
- [wp] renamed (old) region annotations · d4af1830
  Loïc Correnson authored 9 months ago and Loïc Correnson committed 9 months ago
  
  d4af1830
- [region] region annotations · f5a59c11
  Loïc Correnson authored 9 months ago and Loïc Correnson committed 9 months ago
  
  f5a59c11
- [region] view selected node · 9f9cf9b1
  Loïc Correnson authored 9 months ago
  
  9f9cf9b1
- [region] localize l-values and expressions · 823d1fc8
  Loïc Correnson authored 9 months ago
  
  823d1fc8
- [region] styling memory view · 4ea2b010
  Loïc Correnson authored 9 months ago
  
  4ea2b010
- [dome] styling DOT diagrams · 43ad9ac8
  Loïc Correnson authored 9 months ago
  
  43ad9ac8
- [region] show "padding" in compounds · 64f3e438
  Loïc Correnson authored 9 months ago
  
  64f3e438
- [regions] on-demand computing · bb114688
  Loïc Correnson authored 9 months ago
  
  bb114688
- [region] better node rendering · b2d9729f
  Loïc Correnson authored 9 months ago
  
  b2d9729f
- [region] Ivette memory diagram · acb976fa
  Loïc Correnson authored 9 months ago and Loïc Correnson committed 9 months ago
  
  acb976fa
- [region] dummy memory view · b6f689ac
  Loïc Correnson authored 9 months ago and Loïc Correnson committed 9 months ago
  
  b6f689ac
- [region] initiate Ivette plug-in · 6be70bdc
  Loïc Correnson authored 9 months ago and Loïc Correnson committed 9 months ago
  
  6be70bdc
- [region] fix merge of ranges · d7cf1490
  Loïc Correnson authored 9 months ago and Loïc Correnson committed 9 months ago
  
  d7cf1490
- [region] server api · 0c6fd091
  Loïc Correnson authored 9 months ago
  
  0c6fd091
- [server] fix nullable option type · 68ba2641
  Loïc Correnson authored 9 months ago
  
  68ba2641
- [region] dump results & access · a62fe773
  Loïc Correnson authored 9 months ago
  
  a62fe773
- [regions] server requests · 8ab95849
  Loïc Correnson authored 9 months ago
  
  8ab95849
- [region] server data · ddc5d130
  Loïc Correnson authored 9 months ago
  
  ddc5d130
- [region] fix roots & parents · b8622b62
  Loïc Correnson authored 9 months ago
  
  b8622b62
- [region] function domain · 1c7016e9
  Loïc Correnson authored 10 months ago
  
  1c7016e9
- [region] draft stmt analysis · 8b1bc42c
  Loïc Correnson authored 10 months ago and Loïc Correnson committed 9 months ago
  
  8b1bc42c
- [region] refactor insert into code · f1dd2748
  Loïc Correnson authored 10 months ago and Loïc Correnson committed 9 months ago
  
  f1dd2748
- [region] expr, term, init, instr · f6f295cc
  Loïc Correnson authored 10 months ago and Loïc Correnson committed 9 months ago
  
  f6f295cc