Commits · 7842b514ed7312f2b59b02a5952a54dbcec335cc · pub / frama-c · GitLab

Snippets Groups Projects

Jan 29, 2024
- [git-hooks] -z everywhere, yay · 7842b514
  Virgile Prevosto authored 1 year ago
  
  7842b514
- experiments on using push hook arguments directly · 808e234d
  Virgile Prevosto authored 1 year ago
  
  808e234d
- [dev] allow spaces in file names and avoid hardcoded remote name · 96a4fa11
  Andre Maroneze authored 1 year ago
  
  96a4fa11
Jan 26, 2024
- Merge branch 'feature/blanchard/db/last-steps' into 'master' · c1326009
  Loïc Correnson authored 1 year ago
  
  Last steps for removing Db See merge request frama-c/frama-c!4467
  c1326009
- Merge branch 'jev/bug/issue-2687-mac-ivette-launch-script-makefile-escaping' into 'master' · 82dd50c0
  Allan Blanchard authored 1 year ago
  
  Issue #2687: Fix Makefile escaping of ivette shell wrappers $@ on macOS See merge request frama-c/frama-c!4471
  82dd50c0
- Issue #2687 : Fix Makefile escaping of ivette shell wrappers $@ on macOS · 8a58021b
  Jevin Sweval authored 1 year ago and Allan Blanchard committed 1 year ago
  
  8a58021b
- [doc] update API doc · 94e43ad5
  Allan Blanchard authored 1 year ago
  
  94e43ad5
- [doc] developer: removed Db · a74fe858
  Allan Blanchard authored 1 year ago
  
  a74fe858
- [script] migration script for Db · 02479851
  Allan Blanchard authored 1 year ago
  
  02479851
- [kernel] move Db functions to Async · 7fd66242
  Allan Blanchard authored 1 year ago
  
  7fd66242
- [kernel] Deprecates Db.Main · 365dcde6
  Allan Blanchard authored 1 year ago
  
  365dcde6
Jan 25, 2024
- [kernel] moves some (non casual) Db features to Boot · de3304d8
  Allan Blanchard authored 1 year ago
  
  de3304d8
- Merge branch 'feature/kernel/remove-db' into 'master' · a223112a
  Allan Blanchard authored 1 year ago
  
  [kernel] Removes module Postdominators and Security from Db. See merge request frama-c/frama-c!4466
  a223112a
- [kernel] Removes unused functions from Db. · 2534ab36
  David Bühler authored 1 year ago
  
  2534ab36
- [kernel] Removes module Postdominators from Db. · 15d1e01d
  David Bühler authored 1 year ago
  
  Creates a standard interface for the postdominators plugin, used by the Eva and from plugins.
  15d1e01d
- [kernel] Removes unused module PostdominatorsValue from Db. · 4fea285f
  David Bühler authored 1 year ago
  
  4fea285f
- [kernel] Removes unused Security module from Db. · 10650d91
  David Bühler authored 1 year ago
  
  10650d91
- Merge branch 'feature/blanchard/db/remove-inout' into 'master' · ac4f7a63
  Allan Blanchard authored 1 year ago
  
  Remove Inout from Db See merge request frama-c/frama-c!4461
  ac4f7a63
- [Inout] Changes and documents external API. · e804cb05
  David Bühler authored 1 year ago
  
  e804cb05
- [Eva] Uses the dynamic API to call the inout plugin. · 6f278104
  David Bühler authored 1 year ago
  
  6f278104
- [kernel] remove deprecated function from Db · 6c22ec79
  Allan Blanchard authored 1 year ago
  
  6c22ec79
Jan 24, 2024
- [kernel] remove Inout from Db · f240214b
  Allan Blanchard authored 1 year ago
  
  f240214b
- Merge branch 'feature/kernel/move-boot-inside' into 'master' · b9946c52
  Allan Blanchard authored 1 year ago
  
  [Kernel] Move the booting code inside See merge request frama-c/frama-c!4374
  b9946c52
- Merge branch 'feature/wp/counter-examples' into 'master' · fed29670
  Allan Blanchard authored 1 year ago
  
  [wp] Counter Examples Closes #194 See merge request frama-c/frama-c!4123
  fed29670
- [wp] ChangeLog · 07119baf
  Allan Blanchard authored 1 year ago
  
  07119baf
- [wp] dedicated dir/config for CE tests · 7b818ee4
  Allan Blanchard authored 1 year ago
  
  7b818ee4
- Merge branch 'feature/blanchard/opam/bump-ocamlgraph' into 'master' · 22c6ec8b
  Allan Blanchard authored 1 year ago
  
  Bump Ocamlgraph to 2.0.0 See merge request frama-c/frama-c!4455
  22c6ec8b
Jan 23, 2024
- [wp] last comment · 2c13b065
  Loïc Correnson authored 1 year ago
  
  2c13b065
- [nix] added cvc4 to wp-proofs config · 442b0841
  Loïc Correnson authored 1 year ago
  
  442b0841
- Merge branch 'feature/librairies/option-let-bindings' into 'master' · 4f2f4ea4
  Thibault Martin authored 1 year ago
  
  [Librairies] Let bindings for the Option module See merge request frama-c/frama-c!4454
  4f2f4ea4
- [Librairies] Adding a comment with the Ocaml manual for further information · 1d3f0995
  Maxime Jacquemin authored 1 year ago
  
  1d3f0995
- Update file opam · e5bc76b0
  Allan Blanchard authored 1 year ago
  
  e5bc76b0
- [Librairies] Let bindings for the Option module · 552fdad4
  Maxime Jacquemin authored 1 year ago
  
  The Stdlib does not export those let bindings so we have to do it.
  552fdad4
- [wp] test with cvc4 · ca081f74
  Loïc Correnson authored 1 year ago
  
  ca081f74
- [wp] rename test for probes · 15a99a69
  Loïc Correnson authored 1 year ago
  
  15a99a69
- [wp] cleaning · 75f58c41
  Loïc Correnson authored 1 year ago
  
  75f58c41
- [wp] doc reformulations · b2f76889
  Loïc Correnson authored 1 year ago
  
  b2f76889
- [wp] typos in doc · ff9a8541
  Allan Blanchard authored 1 year ago and Loïc Correnson committed 1 year ago
  
  ff9a8541
- [lib] doc for bags · e39edd8a
  Allan Blanchard authored 1 year ago and Loïc Correnson committed 1 year ago
  
  e39edd8a
- [wp] manual for counter examples and probes · 0d1c71e7
  Loïc Correnson authored 1 year ago and Loïc Correnson committed 1 year ago
  
  0d1c71e7