Commits · ef531e2626fa2f237101101f233f24ef751e34fe · pub / frama-c · GitLab

Snippets Groups Projects

Jun 14, 2022
- [hdrck] avoid double slashes when concatenating paths · ef531e26
  Andre Maroneze authored 3 years ago
  
  ef531e26
- Merge branch 'fix/andre/glibc-2-35-predefs' into 'master' · a375065f
  Virgile Prevosto authored 2 years ago
  
  [Kernel] add predefined macros to avoid compiler warnings See merge request frama-c/frama-c!3787
  a375065f
Jun 10, 2022
- Merge branch 'feature/patrick/fixes-syntax' into 'master' · 6b1ea313
  Patrick Baudin authored 2 years ago
  
  Fixes syntax on some ML files See merge request frama-c/frama-c!3790
  6b1ea313
- [lint] allows wildcards · 9f5ab7b2
  Patrick Baudin authored 2 years ago
  
  9f5ab7b2
- linting some files · 6cc1a6f2
  Patrick Baudin authored 2 years ago
  
  6cc1a6f2
- [Kernel] add predefined macros to avoid compiler warnings · 4916b02f
  Andre Maroneze authored 2 years ago
  
  glibc 2.35 (https://lists.gnu.org/archive/html/info-gnu/2022-02/msg00002.html) defines macros __STDC_IEC_60559_BFP__ and __STDC_IEC_60559_COMPLEX__, which must be ignored to avoid redefinition warnings during logic preprocessing.
  4916b02f
- Merge branch 'fix/doc/examples-headache' into 'master' · 2d5593ff
  Allan Blanchard authored 2 years ago
  
  [doc] fix headache commands when generating examples See merge request frama-c/frama-c!3785
  2d5593ff
- Merge branch 'feature/patrick/aorai-fixes-concurrent-testing' into 'master' · 4669c362
  Patrick Baudin authored 2 years ago
  
  [Aorai] Fixes concurrent testing See merge request frama-c/frama-c!3782
  4669c362
- [doc] fix headache commands when generating examples · 9109936b
  Allan Blanchard authored 2 years ago
  
  9109936b
- [tests] updates oracles · cab1774f
  Patrick Baudin authored 2 years ago
  
  cab1774f
- [tests] using -aorai-test-id · 7819a93a
  Patrick Baudin authored 2 years ago
  
  7819a93a
- [tests] fixes concurrent testing from different configurations: -aorai-test-id · 9bea444e
  Patrick Baudin authored 2 years ago
  
  9bea444e
Jun 08, 2022
- Merge branch 'feature/header-spec-in-git-attributes' into 'master' · 00ab300d
  Patrick Baudin authored 2 years ago
  
  header spec in git attributes See merge request frama-c/frama-c!3762
  00ab300d
- Fix CI DEFAULT branch after bad merge/revert in stable · 506e66c5
  François Bobot authored 2 years ago
  
  506e66c5
- Merge branch 'stable/manganese' · 591e456f
  François Bobot authored 2 years ago
  
  591e456f
Jun 07, 2022
- adds binary attribute to ps and eps files · eb185a68
  Patrick Baudin authored 2 years ago
  
  eb185a68
- removes scripts related to an older header management · 6baa1591
  Patrick Baudin authored 2 years ago
  
  6baa1591
- restore binary attributes for pdf files · 6355d24e
  Patrick Baudin authored 2 years ago
  
  6355d24e
- [e-acsl] fix the fix :/ · b30a15a0
  Julien Signoles authored 2 years ago and Patrick Baudin committed 2 years ago
  
  b30a15a0
- [e-acsl] fix .gitattributes · c80dd59d
  Julien Signoles authored 2 years ago and Patrick Baudin committed 2 years ago
  
  c80dd59d
- fixes headers of doc/*/**/Make* files · 21df8200
  Patrick Baudin authored 2 years ago
  
  21df8200
- adds a specific .gittributes for ivette · 641a7f73
  Patrick Baudin authored 2 years ago
  
  641a7f73
- [headers] fixes header spec · a3b287b7
  Patrick Baudin authored 2 years ago
  
  a3b287b7
- add .sh to devel_tools/frama-c-callgrind · 32d09b0f
  Patrick Baudin authored 2 years ago
  
  32d09b0f
- [headers] .gitattributes as header spec · 4cc31f17
  Patrick Baudin authored 2 years ago
  
  4cc31f17
- fixes /devel_tools/git-hooks/pre-commit header · cb05bc65
  Patrick Baudin authored 2 years ago
  
  cb05bc65
- [headers] .gitattributes as header spec · d2e7003a
  Patrick Baudin authored 2 years ago
  
  d2e7003a
- removed files · bb7f7135
  Patrick Baudin authored 2 years ago
  
  bb7f7135
- [headers] fixes some headers · e5a5daa7
  Patrick Baudin authored 2 years ago
  
  e5a5daa7
- adds .sh to src/plugins/value/vtests · 960082ea
  Patrick Baudin authored 2 years ago
  
  960082ea
- [Headers] adds others spec formats + parsing from stdin" · 2ff24bd5
  Patrick Baudin authored 2 years ago
  
  2ff24bd5
- Merge branch 'fix/andre/analysis-scripts-build' into 'master' · 091bc948
  Andre Maroneze authored 2 years ago
  
  [analysis-scripts] add mention about tool unavailability See merge request frama-c/frama-c!3774
  091bc948
- Update nix/frama-ci.* · 1783fe3c
  Allan Blanchard authored 2 years ago
  
  1783fe3c
- Merge branch 'feature/nix/add_ci_to_linea-cabs' into 'master' · 032236a4
  Allan Blanchard authored 2 years ago
  
  Update Frama-CI data See merge request frama-c/frama-c!3773
  032236a4
- [ci] add linea-cabs · 6ad559c6
  Allan Blanchard authored 2 years ago
  
  6ad559c6
- Update nix/frama-ci.* · 2e382e73
  Allan Blanchard authored 2 years ago
  
  2e382e73
- Update nix/frama-ci.* · bfde0faf
  Allan Blanchard authored 2 years ago
  
  bfde0faf
- [analysis-scripts] add mention about tool unavailability · a942bf26
  Andre Maroneze authored 2 years ago
  
  a942bf26
- [Slicing] fix API file mode · 8cfe8366
  Allan Blanchard authored 2 years ago
  
  8cfe8366
- Update Changelog (fix version) · 0993eb76
  Allan Blanchard authored 2 years ago
  
  0993eb76