Commits · 7d685b172a9aab492cc61fb9aa28ec1d405afc67 · pub / frama-c · GitLab

Snippets Groups Projects

Nov 23, 2022
- Fixes a minor typo in the main changes for the 26.0 release. · 7d685b17
  David Bühler authored 2 years ago
  
  26.0
  
  7d685b17
- Updates version for the final release of Frama-C 26.0 (Iron). · 1ec4a85d
  David Bühler authored 2 years ago
  
  1ec4a85d
- [Eva] Dune file: fixes the frama-c-configure rule for apron domains. · 51867c91
  David Bühler authored 2 years ago
  
  51867c91
Nov 22, 2022
- Merge branch 'fix/doc/polish-dune-devman' into 'stable/iron' · 5c7e1eba
  David Bühler authored 2 years ago
  
  Polish post-dune development manual See merge request frama-c/frama-c!3999
  5c7e1eba
- [devman] fixes @maroneze remarks in !3999 · b267cc22
  Virgile Prevosto authored 2 years ago
  
  b267cc22
- [Doc] devman: update initial sections · dcf990e8
  Andre Maroneze authored 2 years ago
  
  dcf990e8
- [Kernel] remove outdated ocamldoc annotation · a0c73c28
  Andre Maroneze authored 2 years ago
  
  a0c73c28
- [devman] document changes · 5a768f98
  Virgile Prevosto authored 2 years ago
  
  5a768f98
- [devman] lablgtk2 is dead · e6718ca0
  Virgile Prevosto authored 2 years ago
  
  e6718ca0
- [book.cls] update dune listings definition · 84f98c51
  Virgile Prevosto authored 2 years ago
  
  84f98c51
- [devman] AUCTeX-related variables · 6df8dfa3
  Virgile Prevosto authored 2 years ago
  
  6df8dfa3
- [devman] fix code example layout · 2926c326
  Virgile Prevosto authored 2 years ago
  
  2926c326
- [devman] clean up registration section · 3e1c512f
  Virgile Prevosto authored 2 years ago
  
  3e1c512f
- [devman] comment obsolete documentation section · 667bea1a
  Virgile Prevosto authored 2 years ago
  
  667bea1a
- [devman] comment landmarks section · d567158c
  Virgile Prevosto authored 2 years ago
  
  d567158c
- [devman] rely on ptests -help for macros documentation · 297add7b
  Virgile Prevosto authored 2 years ago
  
  297add7b
- [devman] fix typo · d9f433f9
  Virgile Prevosto authored 2 years ago
  
  d9f433f9
- [devman] fix name of frama-clang package · 6d71382b
  Virgile Prevosto authored 2 years ago
  
  6d71382b
- [devman] migration: installing additional files · b8a3d131
  Virgile Prevosto authored 2 years ago
  
  b8a3d131
- [devman] do not mention Makefile.headers, which is meant for internal use only · 3cba7a6c
  Virgile Prevosto authored 2 years ago
  
  3cba7a6c
- [devman] migration should be handled from a pristine clone · 9af76c02
  Virgile Prevosto authored 2 years ago
  
  9af76c02
Nov 21, 2022
- Merge branch 'fix/eva/manual' into 'stable/iron' · f9623319
  David Bühler authored 2 years ago
  
  [Eva] User manual: adds a subsection on the analysis coverage. See merge request frama-c/frama-c!3998
  f9623319
- [Eva] User manual: improves the description of evaluations in the Results API. · 7730aabb
  David Bühler authored 2 years ago
  
  7730aabb
- [doc] In the developer manual, uses the new Eva API instead of Db.Value. · 36146c59
  David Bühler authored 2 years ago
  
  36146c59
- [Eva] User manual: slightly improves the paragraph about Ivette. · bd178d10
  David Bühler authored 2 years ago
  
  bd178d10
- [Doc] Eva manual: add paragraph about Ivette · 2e85ee41
  Andre Maroneze authored 2 years ago and David Bühler committed 2 years ago
  
  2e85ee41
- [Eva] User manual: rewrites the section about the Eva API. · b0b8e31d
  David Bühler authored 2 years ago
  
  Removes reference to Db.Value, and documents the new API instead.
  b0b8e31d
- update .git-blame-ignore-revs · 25aa9035
  Andre Maroneze authored 2 years ago and David Bühler committed 2 years ago
  
  25aa9035
- [Eva] User manual: adds a subsection on the analysis coverage. · 5c106daa
  David Bühler authored 2 years ago
  
  5c106daa
- [Eva] User manual: removes trailing spaces. · 75814cd8
  David Bühler authored 2 years ago
  
  75814cd8
- Merge branch 'fix/doc/userman-load-script' into 'stable/iron' · 448e9c7e
  David Bühler authored 2 years ago
  
  [Doc] userman: remove references to -load-script See merge request frama-c/frama-c!4003
  448e9c7e
- [Doc] userman and manpage: fix minor typos and improve help · 60798db9
  Andre Maroneze authored 2 years ago
  
  60798db9
- `--load-module` is deprecated · e0c0e80a
  François Bobot authored 2 years ago and Andre Maroneze committed 2 years ago
  
  loading full library is less problematic for the users.
  e0c0e80a
- [Doc] userman: update option changes related to Dune · 18dc7204
  Andre Maroneze authored 2 years ago
  
  18dc7204
- [Kernel] fix minor typo · c2dd14b6
  Andre Maroneze authored 2 years ago
  
  c2dd14b6
- [Doc] update manpage · ce1523c7
  Andre Maroneze authored 2 years ago
  
  ce1523c7
- [Doc] userman: remove references to -load-script · f885abb7
  Andre Maroneze authored 2 years ago
  
  f885abb7
- [Doc] devman: temporarily remove section about Landmarks · 883eace6
  Andre Maroneze authored 2 years ago
  
  883eace6
Nov 18, 2022
- Merge branch 'fix/ivette/property-bullet' into 'stable/iron' · 17c23f39
  David Bühler authored 2 years ago
  
  [ivette] ASTview: shows status bullet for property at line 0. See merge request frama-c/frama-c!4002
  17c23f39
- [ivette] ASTview: shows status bullet for property at line 0. · a0f4ffe4
  David Bühler authored 2 years ago
  
  a0f4ffe4