Commits · f865e6ad7e4aa7ba8c1669fe01759327c5eba166 · pub / frama-c · GitLab

Snippets Groups Projects

Jan 12, 2023
- [lint] reuses attribute 'indent=spec' where spec={ocp-indent,clang-format,set,unset} · f865e6ad
  Patrick Baudin authored 2 years ago and Andre Maroneze committed 2 years ago
  
  f865e6ad
- [lint] adds attribute 'indent-formatter=tool' where tool={ocp-indent,clang-format,default} · 0c717ebf
  Patrick Baudin authored 2 years ago and Andre Maroneze committed 2 years ago
  
  0c717ebf
Jan 05, 2023
- [lint] use Format everywhere; add missing newlines · 6c630302
  Andre Maroneze authored 2 years ago
  
  6c630302
Dec 19, 2022
- [lint] fix help messages · 01aed4a3
  Andre Maroneze authored 2 years ago
  
  01aed4a3
Dec 16, 2022
- [opam] fix dev tools opam files · fdcc521e
  Allan Blanchard authored 2 years ago
  
  fdcc521e
- A few typos · 68d1eea3
  Allan Blanchard authored 2 years ago
  
  68d1eea3
- [dev] add clang-format to deps · 15a64fa9
  Allan Blanchard authored 2 years ago
  
  15a64fa9
- [make] less verbose installation for dev tools · ec6db494
  Allan Blanchard authored 2 years ago
  
  ec6db494
- [opam] fix dev tools packages · 2f769dc4
  Allan Blanchard authored 2 years ago
  
  2f769dc4
- [install] Changes dev tools management · c2acbd20
  Allan Blanchard authored 2 years ago
  
  - installation via the makefile - opam packages for dependencies
  c2acbd20
Dec 12, 2022
- [headers] frama-c-hdrck: do not print the specification file. · 30ca808e
  David Bühler authored 2 years ago
  
  This only happened on "3-fields-by-line" mode.
  30ca808e
Nov 02, 2022
- [ptests] reusing a generic function · cb905b31
  Patrick Baudin authored 2 years ago
  
  cb905b31
- [ptests] doc completion · e98cb9f0
  Patrick Baudin authored 2 years ago
  
  e98cb9f0
Oct 27, 2022
- [lint/headers] new commit hook · 0f569b07
  Allan Blanchard authored 2 years ago
  
  0f569b07
- [hdrck] typos · a6b13a81
  Allan Blanchard authored 2 years ago
  
  a6b13a81
- [lint] catch unknown extensions · 9d5897c8
  Allan Blanchard authored 2 years ago
  
  9d5897c8
- [lint] check clang format availability · c0c02e74
  Allan Blanchard authored 2 years ago
  
  c0c02e74
- [lint] load OCP-Indent config once · 7dc1abcb
  Allan Blanchard authored 2 years ago
  
  7dc1abcb
- [lint] faster lint tool · f92363be
  Allan Blanchard authored 2 years ago
  
  f92363be
Oct 26, 2022
- [ptests] fix handling of LIBRARY directive · 476480eb
  Virgile Prevosto authored 2 years ago
  
  you don't want to update PTEST_PLUGIN if you have a LIBRARY...
  476480eb
- [ptests] add LIBRARY variable · 277a83a2
  François Bobot authored 2 years ago and Virgile Prevosto committed 2 years ago
  
  adds a dependency and load a public library
  277a83a2
- [ptests] factorize plugin name to lib package conversion · 3f3bf8ed
  Patrick Baudin authored 2 years ago and Virgile Prevosto committed 2 years ago
  
  3f3bf8ed
Oct 04, 2022
- [ptsest] fixes extra with-accepted-exit-codes on frama-c-wtests command · 5c192031
  Patrick Baudin authored 2 years ago
  
  5c192031
- [ptests] Adds warning on invalid LOG/BIN directives of EXEC/EXECNOW · 8309c4c5
  Patrick Baudin authored 2 years ago
  
  8309c4c5
Oct 03, 2022
- [ptests] EXIT directives are also for EXEC/EXECNOW subtests · f0b22810
  Patrick Baudin authored 2 years ago
  
  f0b22810
Sep 28, 2022
- [ptests] adds a minor fix about IGNORE keyword · 047f5ea8
  Patrick Baudin authored 2 years ago
  
  047f5ea8
Sep 27, 2022
- [ptests] adds universe deps to @disabled_ptests targets · c06e851b
  Patrick Baudin authored 2 years ago
  
  c06e851b
- [ptests] fixes EXECNOW with unconsumed BIN and without LOG · 0fb14e9e
  Patrick Baudin authored 2 years ago
  
  0fb14e9e
Sep 26, 2022
- [ptests] adds -config option · afe09225
  Patrick Baudin authored 2 years ago
  
  afe09225
Sep 22, 2022
- [ptests] using not expr · 53071b4b
  Patrick Baudin authored 2 years ago
  
  53071b4b
- [ptests] requires dune 3.2 · 4067057a
  Patrick Baudin authored 2 years ago
  
  4067057a
- [ptests] adds missing doc about ENABLED_IF directive · 2cdae7b2
  Patrick Baudin authored 2 years ago
  
  2cdae7b2
Sep 20, 2022
- [ptests] adds @disabled_ptests targets · 8e333e57
  Patrick Baudin authored 2 years ago
  
  8e333e57
Jul 29, 2022
- [ptests] fixes it own oracles · 2399e72a
  Patrick Baudin authored 2 years ago
  
  2399e72a
- [ptests] allows %{read:file} in STDOPT/OPT/EXECNOW · 0bdc905b
  Patrick Baudin authored 2 years ago
  
  0bdc905b
Jul 27, 2022
- [ptests] adds @<ptest-name>.[<ptest-number>.{exec,execnow}].diff · d18eafb8
  Patrick Baudin authored 2 years ago
  
  d18eafb8
Jul 26, 2022
- [ptests] .gitignore · de7192cb
  Patrick Baudin authored 2 years ago
  
  de7192cb
- [ptests] fixe -end of json files · 66d8d90f
  Patrick Baudin authored 2 years ago
  
  66d8d90f
- [ptests] update its own oracles · e8f8548d
  Patrick Baudin authored 2 years ago
  
  e8f8548d
- [Tools] pre-commit hook moved in ./dev/git-hooks · 85d47749
  Patrick Baudin authored 2 years ago
  
  85d47749