Commits · 4e773997fa945809321fe9901d716708a5d5bc4a · pub / meta

Jan 27, 2025
- Merge branch 'update/blanchard/nix/commit' into 'master' · 4e773997
  Allan Blanchard authored 1 month ago
  
  Follows Frama-C Nix update See merge request frama-c/meta!112
  4e773997
Jan 24, 2025
- nix: package renamed: swiProlog -> swi-prolog · 738cd96c
  Allan Blanchard authored 1 month ago
  
  738cd96c
Jan 16, 2025
- Merge branch 'update-headers-2025' into 'master' · 55a48946
  Thibault Martin authored 1 month ago
  
  Update headers to 2025 See merge request frama-c/meta!111
  55a48946
- Update headers to 2025 · ced63f7f
  Thibault Martin authored 1 month ago
  
  ced63f7f
Dec 11, 2024
- Merge branch 'stable/zinc' · b2e1d3c4
  Virgile Prevosto authored 3 months ago
  
  b2e1d3c4
- [ci] automated release should be _fully_ automated · 9db1739c
  Virgile Prevosto authored 3 months ago
  
  0.8
  
  9db1739c
- [ci] automated release job does not need _manual_ check-opam · fec4f5df
  Virgile Prevosto authored 3 months ago
  
  fec4f5df
Dec 10, 2024
- [ci] automated release job does not need _manual_ check-opam · 0e33357b
  Virgile Prevosto authored 3 months ago
  
  0e33357b
Dec 09, 2024
- Merge branch 'stable/zinc' · 76c0bbd7
  Virgile Prevosto authored 3 months ago
  
  76c0bbd7
- [release] stabilize version · 6cf5a3fa
  Virgile Prevosto authored 3 months ago
  
  6cf5a3fa
Nov 15, 2024
- [doc] fix Why3's URL · a1cf62b8
  Virgile Prevosto authored 3 months ago
  
  0.8-beta
  
  a1cf62b8
Nov 08, 2024
- Merge branch 'stable/zinc' · 8709406f
  Virgile Prevosto authored 4 months ago
  
  8709406f
- [release] fix fc reference version · 544e6584
  Virgile Prevosto authored 4 months ago
  
  544e6584
Nov 07, 2024
- update wp-cache · 8ef9e6d8
  Virgile Prevosto authored 4 months ago
  
  8ef9e6d8
- version +dev · 93c0233e
  Virgile Prevosto authored 4 months ago
  
  93c0233e
- Merge branch 'stable/zinc' · 20b82e04
  Virgile Prevosto authored 4 months ago
  
  20b82e04
- [release] bump version · 38f19509
  Virgile Prevosto authored 4 months ago
  
  38f19509
Oct 25, 2024
- Reset default branch · 195cdaa5
  Virgile Prevosto authored 4 months ago
  
  195cdaa5
- Change default branch · d1f143e9
  Virgile Prevosto authored 4 months ago
  
  d1f143e9
Oct 08, 2024
- Merge branch 'plugin-release-script' into 'master' · 5c46fd3e
  Allan Blanchard authored 5 months ago
  
  [ci] Remove DEFAULT after merge in Frama-CI See merge request frama-c/meta!109
  5c46fd3e
Oct 03, 2024
- [ci] Remove DEFAULT after merge in Frama-CI · 9ac5efdc
  Thibault Martin authored 5 months ago
  
  9ac5efdc
- [ci] use templates for targets, add opam-release · de75d83a
  Thibault Martin authored 5 months ago
  
  de75d83a
- Bump Frama-C version to 29.0+dev · c9b435ef
  Thibault Martin authored 5 months ago
  
  c9b435ef
- Merge branch 'stable/copper' · 0ada9e4d
  Thibault Martin authored 5 months ago
  
  0ada9e4d
- [release] Bump version to 0.7 · 368ff9b4
  Thibault Martin authored 5 months ago
  
  0.7
  
  368ff9b4
- [ci] update ci targets · 6d47cddf
  Thibault Martin authored 5 months ago
  
  6d47cddf
Sep 25, 2024
- Merge branch 'feature/blanchard/wp/physical-addr' into 'master' · 9aec5721
  Allan Blanchard authored 5 months ago
  
  [wp] fix integer/pointer conversion See merge request frama-c/meta!107
  9aec5721
- WP Cache update · dbb12f55
  Allan Blanchard authored 5 months ago
  
  dbb12f55
Sep 23, 2024
- Merge branch 'feature/acsl/modules' into 'master' · cac7cae6
  Thibault Martin authored 5 months ago
  
  Feature/acsl/modules See merge request frama-c/meta!100
  cac7cae6
Sep 18, 2024
- Merge branch 'feature/blanchard/wp/clean-why3-theories' into 'master' · a558614b
  Allan Blanchard authored 5 months ago
  
  Removed axioms in WP Why3 theories See merge request frama-c/meta!106
  a558614b
Sep 17, 2024
- [wp] Update cache · 1d4ece4f
  Allan Blanchard authored 5 months ago
  
  1d4ece4f
Aug 21, 2024
- [kernel] update logic env · ae70cca9
  Loïc Correnson authored 10 months ago
  
  ae70cca9
Aug 08, 2024
- Merge branch 'fix/blanchard/dune-project/version' into 'master' · f912cf4d
  Thibault Martin authored 7 months ago
  
  [dune] follow Frama-C dune version See merge request frama-c/meta!104
  f912cf4d
- [dune] follow Frama-C dune version · 7f8a4996
  Allan Blanchard authored 7 months ago and Thibault Martin committed 7 months ago
  
  7f8a4996
- Merge branch 'fix/kernel/register-logic-builtin' into 'master' · 8eef7996
  Allan Blanchard authored 7 months ago
  
  Uses Logic_builtin.register instead of Logic_builtin.add. See merge request frama-c/meta!103
  8eef7996
- [ci] update OCaml default version · d1077cba
  Allan Blanchard authored 7 months ago
  
  d1077cba
Aug 07, 2024
- Uses Logic_builtin.register instead of Logic_builtin.add. · 6d20489c
  David Bühler authored 7 months ago
  
  6d20489c
Jul 30, 2024
- Merge branch 'feature/martin/kernel/move-type-constructors-out-of-cil' into 'master' · 6fc9c5e2
  Virgile Prevosto authored 7 months ago
  
  Replace deprecated Cil type constructors with Cil_const See merge request frama-c/meta!102
  6fc9c5e2
Jul 26, 2024
- Replace deprecated Cil type constructors with Cil_const · 5d3e2750
  Thibault Martin authored 7 months ago
  
  5d3e2750
Jun 10, 2024
- Fix Opam CI · ec914fea
  Allan Blanchard authored 9 months ago
  
  ec914fea