Commits · 1593dff2b480d7d68faa49b65fb65f3e6857637f · pub / frama-c · GitLab

Snippets Groups Projects

Oct 25, 2022
- [wp/gui] fix GUI building · 1593dff2
  Allan Blanchard authored 2 years ago
  
  1593dff2
Oct 24, 2022
- [kernel] Fixes a typo in -load-module error message. · a06eb4e2
  David Bühler authored 2 years ago
  
  a06eb4e2
- [e-acsl] add test for issue 178 · af5b6502
  Thibaut Benjamin authored 2 years ago
  
  af5b6502
- [e-acsl] update oracles · e2a92c78
  Thibaut Benjamin authored 2 years ago
  
  e2a92c78
- [e-acsl] prevent generation of empty functions · d5659ff0
  Thibaut Benjamin authored 2 years ago
  
  d5659ff0
- [e-acsl] clarify a warning · fccd0eda
  Thibaut Benjamin authored 2 years ago
  
  fccd0eda
- [e-acsl] add support for Here label in functions and predicates · bb29b859
  Thibaut Benjamin authored 2 years ago
  
  bb29b859
Oct 19, 2022
- [WP] clarify test cache usage · aac343cd
  Andre Maroneze authored 2 years ago
  
  aac343cd
- [WP] allow test to be run directly · 85b3196d
  Andre Maroneze authored 2 years ago
  
  85b3196d
- [WP] remove French quotes and fix typos · a0e4a70f
  Andre Maroneze authored 2 years ago
  
  a0e4a70f
- [E-ACSL] prepare for future RteGen as optional dependence · fd973425
  Andre Maroneze authored 2 years ago and Allan Blanchard committed 2 years ago
  
  fd973425
- [Gui] fixes frama-c-gui -no-autoload-plugins tests/rte/memaccess.c · e3648f09
  Patrick Baudin authored 2 years ago and Allan Blanchard committed 2 years ago
  
  e3648f09
- [Slicing] minor · 18689461
  Patrick Baudin authored 2 years ago and Allan Blanchard committed 2 years ago
  
  18689461
- [RteGen] fixes dependency circularity · 87a25295
  Patrick Baudin authored 2 years ago and Allan Blanchard committed 2 years ago
  
  87a25295
- [RteGen] removes RteGen from Db · 6915d56f
  Patrick Baudin authored 2 years ago and Allan Blanchard committed 2 years ago
  
  6915d56f
- [wp] fix lint · 3a057a27
  Loïc Correnson authored 2 years ago
  
  3a057a27
- [wp] documenting API · 9e1046c8
  Loïc Correnson authored 2 years ago
  
  9e1046c8
- [wp/doc] adds an index to be completed · 8d519259
  Allan Blanchard authored 2 years ago and Loïc Correnson committed 2 years ago
  
  8d519259
- [doc] optimized images · 5a28e2b9
  Allan Blanchard authored 2 years ago
  
  5a28e2b9
- [wp/doc] reduce resolution of an image to 720p · f847ace3
  Allan Blanchard authored 2 years ago
  
  f847ace3
Oct 18, 2022
- [Eva] Fix vertex comparison · c0fa4bdd
  Valentin Perrelle authored 2 years ago and David Bühler committed 2 years ago
  
  c0fa4bdd
Oct 14, 2022
- update Changelog following !3913 · 06086697
  Virgile Prevosto authored 2 years ago
  
  06086697
- fix debug message · fc95bc3f
  Virgile Prevosto authored 2 years ago
  
  fc95bc3f
- fix indentation · f330519c
  Virgile Prevosto authored 2 years ago
  
  f330519c
- [doc] start moving documentation of @calls from WP to userman · 5984984f
  Virgile Prevosto authored 2 years ago
  
  5984984f
- [wp] remove -wp-dynamic from doc and mark as deprecated · db4476ad
  Virgile Prevosto authored 2 years ago
  
  Actually, the value of the option wasn't used anywhere...
  db4476ad
- [tests] update oracles · 49abb8fd
  Virgile Prevosto authored 2 years ago
  
  49abb8fd
- [aorai] backward dataflow can handle function pointers · cf7d7359
  Virgile Prevosto authored 2 years ago
  
  cf7d7359
- [aorai] forward dataflow can deal with function pointers (with a calls annot) · 99346d94
  Virgile Prevosto authored 2 years ago
  
  99346d94
- [aorai] first step towards handling indirect calls · 64f54894
  Virgile Prevosto authored 2 years ago
  
  64f54894
- [wp] update test on dynamic calls following move to kernel · e949c8fb
  Virgile Prevosto authored 2 years ago
  
  e949c8fb
- [kernel] move @calls extension from WP to kernel · f8931ddf
  Virgile Prevosto authored 2 years ago
  
  f8931ddf
- [aorai] add test for function pointers · e696b539
  Virgile Prevosto authored 2 years ago
  
  e696b539
Oct 13, 2022
- [Dive] Improves the visitor collecting the lvalues of an expression. · c2ebd890
  David Bühler authored 2 years ago and Valentin Perrelle committed 2 years ago
  
  On a memory access alarm, returns the lvalues required to compute the address as dependencies of the alarm.
  c2ebd890
- [Dive] Fixes a typo. · f1720f54
  David Bühler authored 2 years ago and Valentin Perrelle committed 2 years ago
  
  f1720f54
- [Dive] Avoids using Seq.take, removes it from transitioning. · 5f9b1805
  David Bühler authored 2 years ago and Valentin Perrelle committed 2 years ago
  
  5f9b1805
- [Dive] Use sequences to ensure lazy evaluation of dependencies · e018464e
  Valentin Perrelle authored 2 years ago
  
  e018464e
- [Eva] Exports function Logic_inout.term_deps. · 630b9031
  David Bühler authored 2 years ago
  
  630b9031
- [Eva] Defines Db.From.find_deps_no_transitivity functions. · 28d12fdd
  David Bühler authored 2 years ago
  
  To be removed in the next open-source release.
  28d12fdd
- [from] Minor reorganization of the From.mli interface. · d6c4ede6
  David Bühler authored 2 years ago
  
  d6c4ede6