Commits · 7dc1abcb93c27f4ffb61a308a48a3b3948237c73 · pub / frama-c · GitLab

Snippets Groups Projects

Oct 27, 2022
- [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
- [Tools] pre-commit hook: prints the unstaged files that are also in the index. · cb42d99e
  Patrick Baudin authored 2 years ago
  
  cb42d99e
- [Tools] pre-commit hook: prints the unstaged file list. · 5a5d780e
  Patrick Baudin authored 2 years ago
  
  5a5d780e
- [Tools] pre-commit hook for git · 28b98db6
  Patrick Baudin authored 2 years ago
  
  28b98db6
Jul 18, 2022
- [ptests] adds an option to always enable tests · f9354e13
  Allan Blanchard authored 2 years ago
  
  In particular, tests are never disabled when a dependency is missing
  f9354e13
Jul 08, 2022
- Move ptests and hdrck to tools · 8773a75d
  Allan Blanchard authored 2 years ago
  
  8773a75d