Commits · 532b62a35e5440ba05da5b28e5d1adc5f58d572d · pub / Frama Clang

Jan 16, 2025
- Update headers to 2025 · 532b62a3
  Thibault Martin authored 2 months ago
  
  532b62a3
Jan 14, 2025
- Merge branch 'feature/eva/improve-messages' into 'master' · f7195af0
  Andre Maroneze authored 2 months ago
  
  synchronize with frama-c/frama-c!4803 See merge request frama-c/frama-clang!257
  f7195af0
- synchronize with frama-c/frama-c!4803 · 791ff495
  Andre Maroneze authored 5 months ago
  
  791ff495
Jan 09, 2025
- Merge remote-tracking branch 'origin/stable/zinc' · 8080c6cc
  Virgile Prevosto authored 2 months ago
  
  8080c6cc
- Merge branch 'fix/doc/readme' into 'stable/zinc' · 1e27b020
  Virgile Prevosto authored 2 months ago
  
  Fix FC version in README See merge request frama-c/frama-clang!264
  1e27b020
Jan 07, 2025
- [ci] checks Frama-C's version in README is up-to-date · c17b3df0
  Virgile Prevosto authored 3 months ago
  
  c17b3df0
- update Frama-C version in README · d6494d4d
  Virgile Prevosto authored 3 months ago
  
  d6494d4d
Dec 20, 2024
- Merge branch 'feature/martin/cabs/do-not-use-sequences-statement' into 'master' · 48d6da7a
  Thibault Martin authored 3 months ago
  
  [kernel compatibility] Remove Cabs.SEQUENCE See merge request frama-c/frama-clang!263
  48d6da7a
- Use List.rev_append instead of List.rev @ · 8e0b5773
  Thibault Martin authored 3 months ago
  
  8e0b5773
Dec 09, 2024
- Merge branch 'stable/zinc' · 89db85ff
  Virgile Prevosto authored 3 months ago
  
  89db85ff
- [release] stabilize version · 5c9c39dc
  Virgile Prevosto authored 3 months ago
  
  0.0.17
  
  5c9c39dc
Nov 28, 2024
- Merge branch 'feature/martin/ci/add-opam-targets' into 'stable/zinc' · 977ff25f
  Thibault Martin authored 3 months ago
  
  Add opam nightly release targets See merge request frama-c/frama-clang!221
  977ff25f
- [ci] can launch compilation of manual even on non-release branches · b1698e38
  Virgile Prevosto authored 3 months ago
  
  b1698e38
Nov 27, 2024
- [ci] Update ci targets, add linting target and opam nightly · 6c8524d2
  Thibault Martin authored 5 months ago and Virgile Prevosto committed 3 months ago
  
  6c8524d2
- Merge branch 'feature/dev/set-version-script' into 'master' · 53616ee0
  Allan Blanchard authored 3 months ago
  
  Add a script to update version numbers See merge request frama-c/frama-clang!260
  53616ee0
Nov 25, 2024

[kernel compatibility] Remove Cabs.SEQUENCE · 1e1b9533

Thibault Martin authored 3 months ago

- convert_statement now returns a list of statements which are either
  - converted as a block (for Conditions, loops, etc)
  - flattened when converting a list of statements

1e1b9533

Nov 15, 2024
- [opam] opam lint insist on explicit URL · e62fc25c
  Virgile Prevosto authored 4 months ago
  
  0.0.17-beta
  
  e62fc25c
- [release] add changelog and create .opam file · ace50412
  Virgile Prevosto authored 4 months ago
  
  ace50412
Nov 07, 2024
- [dev] set version to +dev · fdfd8365
  Virgile Prevosto authored 4 months ago
  
  fdfd8365
- Merge branch 'stable/zinc' · 805c24f1
  Virgile Prevosto authored 4 months ago
  
  805c24f1
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
- Merge branch 'bdesloges/feature/libc-coreutils' into 'master' · e72e4aed
  Andre Maroneze authored 4 months ago
  
  [libc] Update tests oracles following libc update in Frama-C See merge request frama-c/frama-clang!252
  e72e4aed
- [kernel] Compatibility with new Cabs.NOP type · fdde506c
  Thibault Martin authored 6 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
- [libc] Update tests oracles · a6fd927e
  Basile Desloges authored 6 months ago and Andre Maroneze committed 4 months ago
  
  a6fd927e
- [header] add missing header · d1c9dd74
  Virgile Prevosto authored 4 months ago
  
  d1c9dd74
- [dev] script to update version numbers when preparing a release · 2b5ababe
  Virgile Prevosto authored 4 months ago
  
  2b5ababe
- Bump version numbers · 06875443
  Virgile Prevosto authored 4 months ago
  
  06875443
Oct 25, 2024
- Reset default branch · cabf62ca
  Virgile Prevosto authored 4 months ago
  
  cabf62ca
- 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 5 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