Commits · 0.0.17-beta · pub / Frama Clang

Nov 15, 2024
- [opam] opam lint insist on explicit URL · e62fc25c
  Virgile Prevosto authored 3 months ago
  
  0.0.17-beta
  
  e62fc25c
- [release] add changelog and create .opam file · ace50412
  Virgile Prevosto authored 3 months ago
  
  ace50412
Nov 05, 2024
- Merge branch 'feature/martin/parser/allow-gcc-statement-attribute' into 'stable/zinc' · 30234c12
  Thibault Martin authored 4 months ago
  
  [kernel] Compatibility with new Cabs.NOP type See merge request frama-c/frama-clang!249
  30234c12
- [kernel] Compatibility with new Cabs.NOP type · fdde506c
  Thibault Martin authored 5 months ago
  
  fdde506c
- Merge branch 'fix/ci/version-comparison' into 'stable/zinc' · 071b6d00
  Allan Blanchard authored 4 months ago
  
  Fix ci version comparison See merge request frama-c/frama-clang!261
  071b6d00
Nov 04, 2024
- [nix] fix version comparison between dune and manual · 5c6f70a4
  Virgile Prevosto authored 4 months ago
  
  5c6f70a4
- Bump version numbers · 06875443
  Virgile Prevosto authored 4 months ago
  
  06875443
Oct 25, 2024
- Change default branch · 78df5a6f
  Virgile Prevosto authored 4 months ago
  
  78df5a6f
Oct 15, 2024
- Merge branch 'bdesloges/fix/compare-types-with-unknown-attrs' into 'master' · 7637ba9b
  Virgile Prevosto authored 4 months ago
  
  Kernel compatibility, unknown attributes See merge request frama-c/frama-clang!258
  7637ba9b
Oct 09, 2024

Basile Desloges authored 5 months ago

The following attributes are registered to Frama-C's list of known
attributes:
- fc_implicit
- fc_pure_template_decl

8a58aff6

Oct 08, 2024
- Merge branch 'feature/blanchard/kernel/boolean-logic-type' into 'master' · 385a3a45
  Allan Blanchard authored 5 months ago
  
  New logic type boolean See merge request frama-c/frama-clang!256
  385a3a45
- New logic type Lboolean · 28ee7d85
  Allan Blanchard authored 5 months ago and Virgile Prevosto committed 5 months ago
  
  28ee7d85
- Merge branch 'plugin-release-script' into 'master' · 75b554f2
  Allan Blanchard authored 5 months ago
  
  [ci] Remove DEFAULT after merge in Frama-CI See merge request frama-c/frama-clang!259
  75b554f2
Oct 03, 2024
- [ci] Remove DEFAULT after merge in Frama-CI · b5cbcc2a
  Thibault Martin authored 5 months ago
  
  b5cbcc2a
Sep 30, 2024
- Propagate a change in the Frama-C doc theme · fecc6789
  Allan Blanchard authored 5 months ago
  
  fecc6789
- Merge branch 'feature/martin/kernel/allow-plugins-to-register-same-extension-name' into 'master' · 8e39c5fe
  Allan Blanchard authored 5 months ago
  
  Feature/martin/kernel/allow plugins to register same extension name See merge request frama-c/frama-clang!245
  8e39c5fe
- [kernel] compatibility · 012e6561
  Thibault Martin authored 6 months ago and Allan Blanchard committed 5 months ago
  
  012e6561
Sep 27, 2024
- Merge branch 'feature/libc/some-macros' into 'master' · 275d54cc
  Andre Maroneze authored 5 months ago
  
  synchronize with frama-c/frama-c!4792 See merge request frama-c/frama-clang!254
  275d54cc
Sep 26, 2024
- Merge branch 'fix/jorge/assigns-from-pretty-print-1398' into 'master' · a645a0c3
  Thibault Martin authored 5 months ago
  
  [kernel] fix pretty printing of assigns-from clauses See merge request frama-c/frama-clang!255
  a645a0c3
- fix tests for MR !4796 · b56d2452
  Benjamin Jorge authored 5 months ago
  
  b56d2452
Sep 25, 2024
- synchronize with frama-c/frama-c!4792 · 08ec4eb9
  Andre Maroneze authored 5 months ago
  
  08ec4eb9
- Merge branch 'feature/blanchard/wp/physical-addr' into 'master' · ac04f5fc
  Allan Blanchard authored 5 months ago
  
  [wp] fix integer/pointer conversion See merge request frama-c/frama-clang!251
  ac04f5fc
- WP Cache update · b4dae3d3
  Allan Blanchard authored 5 months ago
  
  b4dae3d3
Sep 24, 2024
- Merge branch 'feature/andre/libc-assigns1' into 'master' · 90638c9b
  Thibault Martin authored 5 months ago
  
  synchronize with frama-c/frama-c!4765 See merge request frama-c/frama-clang!247
  90638c9b
Sep 23, 2024
- synchronize with frama-c/frama-c!4765 · 74acc4a4
  Andre Maroneze authored 6 months ago
  
  74acc4a4
Sep 18, 2024
- Merge branch 'feature/blanchard/wp/clean-why3-theories' into 'master' · 0b827bd3
  Allan Blanchard authored 5 months ago
  
  Removed axioms in WP Why3 theories See merge request frama-c/frama-clang!250
  0b827bd3
Sep 17, 2024
- [wp] Update cache · 3c94053e
  Allan Blanchard authored 5 months ago
  
  3c94053e
Sep 13, 2024
- Merge branch 'feature/kernel/remove-pragma' into 'master' · 09c30a85
  Allan Blanchard authored 6 months ago
  
  Synchronize with frama-c/frama-c!4768: remove cil pragma. See merge request frama-c/frama-clang!248
  09c30a85
Sep 12, 2024
- Removes cil pragma. · 584c5044
  David Bühler authored 8 months ago
  
  584c5044
Sep 06, 2024
- [opam] tell opam-ci not to try on older distros · 78f7fc66
  Virgile Prevosto authored 6 months ago
  
  78f7fc66
- [ci] check synchronisation of logos from frama-c's manual style · d05004ae
  Virgile Prevosto authored 6 months ago
  
  d05004ae
- [ci] frama-c-guy is no more · 7852282a
  Virgile Prevosto authored 6 months ago
  
  7852282a
- update frama-c-book.cls from upstream and bump version numbers to dev · 72970b40
  Virgile Prevosto authored 6 months ago
  
  72970b40
- [opam] add dev-repo to template · 631bc732
  Virgile Prevosto authored 6 months ago
  
  631bc732
- Merge branch 'stable/copper' · 8582737e
  Virgile Prevosto authored 6 months ago
  
  8582737e
Sep 05, 2024
- [ci] fix name of manual's artifact · 5f236865
  Virgile Prevosto authored 6 months ago
  
  5f236865
Sep 04, 2024
- 2024 headers · 14092f5c
  Virgile Prevosto authored 6 months ago
  
  0.0.16
  
  14092f5c
- Check artifacts · 38061f95
  Allan Blanchard authored 6 months ago
  
  38061f95
Sep 03, 2024
- Mettre à jour le fichier .gitlab-ci.yml · ad978ce3
  Virgile Prevosto authored 6 months ago
  
  ad978ce3
- [ci] add explicit dependency to ensure artifact is downloaded · 0b333989
  Virgile Prevosto authored 6 months ago
  
  0b333989