Commits · master · pub / meta

Feb 25, 2025
- Merge branch 'feature/martin/cil/move-type-out-of-cil' into 'master' · 029937c2
  Thibault Martin authored 2 weeks ago
  
  [Kernel compatibility] Use new Ast_types module See merge request frama-c/meta!113
  029937c2
Feb 24, 2025
- [WooKey] minimal changes needed to avoid unknown PO from Wp · 23b9870c
  Virgile Prevosto authored 2 weeks ago
  
  23b9870c
Feb 20, 2025
- [Kernel compatibility] Use new Ast_types module · 5d02ce0d
  Thibault Martin authored 1 month ago
  
  5d02ce0d
Feb 19, 2025
- Merge branch 'feature/kernel/bind-option' into 'master' · 3a4a419e
  Maxime Jacquemin authored 3 weeks ago
  
  Bind parameters of the Option monad See merge request frama-c/meta!114
  3a4a419e
- Cleaner version, should satisfy the linter · 59e0fc3f
  Maxime Jacquemin authored 3 weeks ago
  
  59e0fc3f
- Bind parameters of the Option monad · f93b2696
  Maxime Jacquemin authored 3 weeks ago
  
  f93b2696
Feb 03, 2025
- [tests] fill wp-cache · cbad0037
  Virgile Prevosto authored 1 month ago
  
  cbad0037
- [opam] MetAcsl dev no longer compatible with fc-30 · 0bc5c90a
  Virgile Prevosto authored 1 month ago
  
  0bc5c90a
Jan 31, 2025
- Merge branch 'feature/martin/kernel/use-record-for-types' into 'master' · 74255ae6
  Thibault Martin authored 1 month ago
  
  [kernel compatiblity] Use records for Cil_types.typ See merge request frama-c/meta!110
  74255ae6
- [kernel compatiblity] Use records for Cil_types.typ · 4e51bca1
  Thibault Martin authored 3 months ago
  
  4e51bca1
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