Commits · 9aec572137b12f104c5aafdc91b513b40cf5d15e · pub / meta

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
- 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
Mar 11, 2024
- [nix] changes deprecated symbol · defa7ae0
  Allan Blanchard authored 1 year ago
  
  defa7ae0
Mar 07, 2024
- Merge branch 'feature/kernel/martin/refactoring-check-builtins' into 'master' · a9cfcac5
  Virgile Prevosto authored 1 year ago
  
  Feature/kernel/martin/refactoring check builtins See merge request frama-c/meta!86
  a9cfcac5
Mar 06, 2024
- is_frama_c_builtin has been renamed, fix for kernel compatibility · 445a2209
  Thibault Martin authored 1 year ago and Virgile Prevosto committed 1 year ago
  
  445a2209
Feb 22, 2024
- Merge branch 'feature/blanchard/wp/memaddr-theory' into 'master' · f054e47c
  Loïc Correnson authored 1 year ago
  
  Update WP cache See merge request frama-c/meta!97
  f054e47c
- Merge branch 'hackaton-tcast' into 'master' · df0bb30f
  Virgile Prevosto authored 1 year ago
  
  Hackaton tcast See merge request frama-c/meta!94
  df0bb30f
- [kernel] Update for compatibility · 3609e214
  Thibault Martin authored 1 year ago and Virgile Prevosto committed 1 year ago
  
  3609e214
Feb 21, 2024
- Update WP cache · 22b662cc
  Allan Blanchard authored 1 year ago
  
  22b662cc
Feb 16, 2024
- Merge branch 'stable/nickel' · 81e7cccf
  Virgile Prevosto authored 1 year ago
  
  81e7cccf
- [release-script] fix typo · 61a3be75
  Virgile Prevosto authored 1 year ago
  
  61a3be75
- [release-script] fix creation of opam PR · 76fee9f8
  Virgile Prevosto authored 1 year ago
  
  76fee9f8
- [release-script] fix creation of MR in website · a01f5798
  Virgile Prevosto authored 1 year ago
  
  a01f5798