Commits · 8f437b47ae2e0b837acd646987693ad9c79859c8 · pub / frama-c · GitLab

Snippets Groups Projects

Dec 02, 2022
- Merge branch 'fix/e-acsl/doc/manual-build-speed' into 'master' · 8f437b47
  Julien Signoles authored 2 years ago
  
  [e-acsl/doc] Remove changebars See merge request frama-c/frama-c!4006
  8f437b47
Dec 01, 2022
- Merge branch 'fix/andre/dockerfile-alpine' into 'master' · 2bbc4679
  Allan Blanchard authored 2 years ago
  
  [dev] fix Dockerfile for Alpine images See merge request frama-c/frama-c!4011
  2bbc4679
Nov 30, 2022
- [dev] fix Dockerfile for Alpine images · a53c1458
  Andre Maroneze authored 2 years ago
  
  a53c1458
Nov 26, 2022
- [e-acsl/doc] Remove changebars · d3d226ce
  Allan Blanchard authored 2 years ago
  
  d3d226ce
Nov 23, 2022
- Fixes Changelog entry for Aoraï. · d60593d6
  David Bühler authored 2 years ago
  
  d60593d6
- Merge branch 'stable/iron' · fa3779f4
  David Bühler authored 2 years ago
  
  fa3779f4
- 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 'stable/iron' · ba470da4
  David Bühler authored 2 years ago
  
  ba470da4
- 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