Commits · 309d275daae93b28e033df8b5736d49992bc7cd0 · pub / frama-c · GitLab

Snippets Groups Projects

Dec 12, 2022
- [dev] make-distrib.sh: do not warn on distributed external plugins. · 309d275d
  David Bühler authored 2 years ago
  
  309d275d
Dec 09, 2022
- Merge branch 'stable/iron' · 28ec4d3f
  David Bühler authored 2 years ago
  
  28ec4d3f
- Merge branch 'fix/andre/ppc32-machdep' into 'master' · 1138102f
  Allan Blanchard authored 2 years ago
  
  [Kernel] fix size_t in ppc32 machdep See merge request frama-c/frama-c!4017
  1138102f
- Merge branch 'fix/opam/yojson-for-tests' into 'stable/iron' · 092b01a7
  Allan Blanchard authored 2 years ago
  
  [opam] relax constraint on yojson See merge request frama-c/frama-c!4010
  092b01a7
- Merge branch 'fix/default-tests' into 'master' · 7824ef10
  Andre Maroneze authored 2 years ago
  
  [Makefile] Makes the default-tests target less verbose. See merge request frama-c/frama-c!4022
  7824ef10
- Merge branch 'fix/distrib' into 'master' · ab14f87a
  Allan Blanchard authored 2 years ago
  
  Fixes the distribution of multiple external plugins. See merge request frama-c/frama-c!4019
  ab14f87a
- [Makefile] Makes the default-tests target less verbose. · 70cb5dd0
  David Bühler authored 2 years ago
  
  70cb5dd0
Dec 08, 2022
- Merge branch 'fix/ci/release-actions' into 'stable/iron' · 6742adaa
  David Bühler authored 2 years ago
  
  Fix release actions See merge request frama-c/frama-c!4004
  6742adaa
- Merge branch 'fix/ivette/astview-bullets' into 'master' · 59e49f96
  David Bühler authored 2 years ago
  
  [ivette] ASTview: fixes the update of property status bullets. See merge request frama-c/frama-c!4009
  59e49f96
- [dev] make-distrib.sh: fixes the distribution of multiple external plugins. · 07e7b61c
  David Bühler authored 2 years ago
  
  This is less efficient but circumvents a bug in tar --concatenate (https://superuser.com/questions/941475/concatenate-multiple-tar-files-in-one-command)
  07e7b61c
- [ivette] ASTview: fixes the update of property status bullets. · a199d373
  David Bühler authored 2 years ago
  
  a199d373
- [release] Fixes the CI publish-website script. · 5589e495
  Allan Blanchard authored 2 years ago and David Bühler committed 2 years ago
  
  5589e495
- [release] Fixes publication of the main changes in the build-release script. · 60ba24c5
  Allan Blanchard authored 2 years ago and David Bühler committed 2 years ago
  
  60ba24c5
Dec 07, 2022
- [Kernel] fix size_t in ppc32 machdep · 12a95c9a
  Andre Maroneze authored 2 years ago
  
  12a95c9a
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
- Merge branch 'fix/wp/terminates-erase-goals' into 'stable/iron' · fe995e03
  Loïc Correnson authored 2 years ago
  
  Fix WP regression on terminates See merge request frama-c/frama-c!4014
  fe995e03
- Merge branch 'fix/doc/metrics' into 'stable/iron' · 51a0f0d9
  Allan Blanchard authored 2 years ago
  
  [doc] fix metrics figures See merge request frama-c/frama-c!4008
  51a0f0d9
- [wp] fix terminates and decreases for local_init · 82a8a9dc
  Allan Blanchard authored 2 years ago
  
  82a8a9dc
- [wp] fix goal loss · 70d26ac4
  Allan Blanchard authored 2 years ago
  
  70d26ac4
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 29, 2022
- [opam] relax constraint on yojson · eacfde3b
  Allan Blanchard authored 2 years ago
  
  eacfde3b
Nov 28, 2022
- [doc] fix metrics figures · 92b6aaa5
  Allan Blanchard authored 2 years ago
  
  92b6aaa5
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