Commits · 1a36e3bbf87a75fd2f1d0f5ff086c21ae7cb80d8 · pub / frama-c · GitLab

Snippets Groups Projects

Jul 28, 2022
- [Ivette] Use a more concise way to merge Synced Arrays a fix typing · 1a36e3bb
  Valentin Perrelle authored 2 years ago and David Bühler committed 2 years ago
  
  1a36e3bb
Jul 27, 2022
- Merge branch 'feature/patrick/ptests-diff' into 'master' · ed4f5130
  Patrick Baudin authored 2 years ago
  
  [ptests] adds @<ptest-name>.[<ptest-number>.{exec,execnow}].diff Closes #1152 See merge request frama-c/frama-c!3871
  ed4f5130
- removing some @PTEST_RESULT@ & @PTEST_DIR@ - updated oracles · 5a4a1a7b
  Patrick Baudin authored 2 years ago
  
  5a4a1a7b
- removing some @PTEST_RESULT@ & @PTEST_DIR@ · dcc42425
  Patrick Baudin authored 2 years ago
  
  dcc42425
- removing some @PTEST_RESULT@ & @PTEST_DIR@ · b2b1f086
  Patrick Baudin authored 2 years ago
  
  b2b1f086
- removing some @PTEST_RESULT@ & @PTEST_DIR@ -> upaded oracles · 7e6d955e
  Patrick Baudin authored 2 years ago
  
  7e6d955e
- removing some @PTEST_RESULT@ & @PTEST_DIR@ · 9f0ab260
  Patrick Baudin authored 2 years ago
  
  9f0ab260
- [ptests] adds @<ptest-name>.[<ptest-number>.{exec,execnow}].diff · d18eafb8
  Patrick Baudin authored 2 years ago
  
  d18eafb8
Jul 26, 2022
- Merge branch 'feature/patrick/ptests-fixes-end-of-json-files' into 'master' · 288046d9
  Patrick Baudin authored 2 years ago
  
  [ptests] fixes end of json files See merge request frama-c/frama-c!3875
  288046d9
- [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
- Merge branch 'feature/patrick/fixes-git-lint-check-headers' into 'master' · d6404229
  Valentin Perrelle authored 2 years ago
  
  [Lint/Headers] fixes determination if directory is under git control See merge request frama-c/frama-c!3874
  d6404229
- [Lint/Headers] fixes determination if directory is under git control · 1cf5b6d4
  Patrick Baudin authored 2 years ago
  
  1cf5b6d4
- Merge branch 'feature/dune/lint-headers-targets-related-to-commits' into 'master' · 477ef0e4
  Patrick Baudin authored 2 years ago
  
  [Makefile] adds/modifies lint and header targets related to commits Closes #1099 See merge request frama-c/frama-c!3846
  477ef0e4
- [Headers] pre-commit hook: adds 'make check-headers.before-commit-a' · 18b6b1c5
  Patrick Baudin authored 2 years ago
  
  18b6b1c5
- [LINT] renames target lint.staged into lint.before-commit · d928583c
  Patrick Baudin authored 2 years ago
  
  d928583c
- [Headers] adds targets related to commits · 78d54196
  Patrick Baudin authored 2 years ago
  
  78d54196
- [Headers] minor changes · 343a7815
  Patrick Baudin authored 2 years ago
  
  343a7815
- [Lint] checked file list · 5bc7f09f
  Patrick Baudin authored 2 years ago
  
  5bc7f09f
- [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
- Merge branch 'feature/tools/strict-headers' into 'master' · 14465a75
  Allan Blanchard authored 2 years ago
  
  Strict headers See merge request frama-c/frama-c!3873
  14465a75
Jul 25, 2022
- [headers] fix Eva.header attribute · 522ad1b9
  Allan Blanchard authored 2 years ago
  
  522ad1b9
- [headers] strict headers by default · 29f52e09
  Allan Blanchard authored 2 years ago
  
  29f52e09
- Merge branch 'feature/kernel/alarms-seq' into 'master' · 4f17f2ba
  Andre Maroneze authored 2 years ago
  
  Add a way to iterate through alarms with sequences See merge request frama-c/frama-c!3847
  4f17f2ba
- Merge branch 'fix/andre/analysis-scripts-exec' into 'master' · ef9bf511
  Valentin Perrelle authored 2 years ago
  
  [analysis-scripts] avoid issues with non-executable scripts due to Dune See merge request frama-c/frama-c!3870
  ef9bf511
Jul 22, 2022
- [analysis-scripts] avoid issues with non-executable scripts due to Dune · 894098a1
  Andre Maroneze authored 2 years ago
  
  894098a1
- Merge branch 'fix/ivette/restore-check-api-ci' into 'master' · 85b78086
  Andre Maroneze authored 2 years ago
  
  [ci] restore check TS API See merge request frama-c/frama-c!3867
  85b78086
Jul 21, 2022
- Merge branch 'feature/eva/complete-api' into 'master' · dce2481d
  Valentin Perrelle authored 2 years ago
  
  [Eva] Complete public API, now entirely used by the Inout, From, Scope and Aorai plugins See merge request frama-c/frama-c!3864
  dce2481d
- [Eva] Documents the part of the Eva API that are for internal use only. · f48ddd6c
  David Bühler authored 2 years ago
  
  f48ddd6c
Jul 20, 2022
- [ci] restore check TS API · 8df3d31c
  Allan Blanchard authored 2 years ago
  
  8df3d31c
- Merge branch 'feature/thibaut/interval-conditionals' into 'master' · 134c488b
  Julien Signoles authored 2 years ago
  
  Improve inference for conditionals See merge request frama-c/frama-c!3570
  134c488b
- [e-acsl] update CHANGELOG · 1010fd51
  Thibaut Benjamin authored 2 years ago
  
  1010fd51
- [e-acsl] second review · 1f04474d
  Thibaut Benjamin authored 2 years ago
  
  1f04474d
- [e-acsl] first review · f0a5db64
  Thibaut Benjamin authored 2 years ago
  
  f0a5db64
- [e-acsl] update oracles · 3402992a
  Thibaut Benjamin authored 3 years ago
  
  3402992a
- [e-acsl] improve precision in typing conditionals · 7419641c
  Thibaut Benjamin authored 3 years ago
  
  7419641c