Commits · 544e658483071ad5a9a6e43995e61967f84812cb · pub / meta

Nov 08, 2024
- [release] fix fc reference version · 544e6584
  Virgile Prevosto authored 4 months ago
  
  544e6584
Nov 07, 2024
- [release] bump version · 38f19509
  Virgile Prevosto authored 4 months ago
  
  38f19509
Oct 25, 2024
- 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
May 15, 2024
- Fix opam version after Frama-C master update · e97d6370
  Allan Blanchard authored 10 months ago
  
  (cherry picked from commit 0a361eaf)
  e97d6370
- Merge branch 'fix/opam/version' into 'master' · ea75424c
  Allan Blanchard authored 10 months ago
  
  Fix opam version after Frama-C master update See merge request frama-c/meta!101
  ea75424c
- Fix opam version after Frama-C master update · 0a361eaf
  Allan Blanchard authored 10 months ago and Thibault Martin committed 10 months ago
  
  0a361eaf
May 13, 2024
- Reset default branch · 86f06a21
  Thibault Martin authored 10 months ago
  
  86f06a21
- Change default branch · 76a08103
  Thibault Martin authored 10 months ago
  
  76a08103
Apr 02, 2024

Merge branch... · bc4e4e96

Virgile Prevosto authored 11 months ago

Merge branch 'fix/martin/kernel/1293-misleading-api-function-annotations-iter_behaviors' into 'master'

Fix/martin/kernel/1293 misleading api function annotations iter behaviors

See merge request frama-c/meta!87

bc4e4e96

Use iter_behaviors now that it do not split on emitters · eb2f5151
Thibault Martin authored 1 year ago

eb2f5151

Mar 29, 2024
- Merge branch 'feature/martin/kernel/add-stack-datatype-and-state-builder' into 'master' · c8bb75ed
  Virgile Prevosto authored 11 months ago
  
  Feature/martin/kernel/add stack datatype and state builder See merge request frama-c/meta!96
  c8bb75ed
Mar 28, 2024
- [kernel] Compatibility: CurrentLoc API changed · ffc96b18
  Thibault Martin authored 1 year ago and Virgile Prevosto committed 11 months ago
  
  ffc96b18
Mar 26, 2024
- Merge branch 'fix/kernel/1023-extension-acsl' into 'master' · b5b69ff8
  Allan Blanchard authored 11 months ago
  
  Fix/kernel/1023 extension acsl See merge request frama-c/meta!85
  b5b69ff8
Mar 25, 2024
- Update oracles · 82a9fc04
  Pierre Nigron authored 1 year ago and Allan Blanchard committed 11 months ago
  
  82a9fc04
- Tests meta · 56cd917b
  Pierre Nigron authored 1 year ago and Allan Blanchard committed 11 months ago
  
  56cd917b
- Add plugin argument · 459b0d11
  Pierre Nigron authored 1 year ago and Allan Blanchard committed 11 months ago
  
  459b0d11
Mar 19, 2024
- Merge branch 'feature/libc/realpath-spec' into 'master' · 4960fd87
  Virgile Prevosto authored 11 months ago
  
  sync with frama-c/frama-c!4310 See merge request frama-c/meta!99
  4960fd87
Mar 13, 2024
- Merge branch 'feature/blanchard/ci/update' into 'master' · d70a0bb6
  Allan Blanchard authored 1 year ago
  
  [nix] changes deprecated symbol See merge request frama-c/meta!98
  d70a0bb6
Mar 12, 2024
- sync with frama-c/frama-c!4310 · 335e976b
  Andre Maroneze authored 1 year ago
  
  335e976b