Commits · 51b946ec1ec3f6463484cde9eb27986fb2bc566d · pub / frama-c · GitLab

Snippets Groups Projects

Mar 08, 2022
- [e-acsl:tests] remove the FILTER macro · 51b946ec
  Julien Signoles authored 3 years ago
  
  51b946ec
Mar 07, 2022
- [wp/tests] remove old/unused sessions · ed7d6364
  Allan Blanchard authored 3 years ago
  
  ed7d6364
- [wp/tests] introduce and use macros for sessions · 329e84d0
  Allan Blanchard authored 3 years ago
  
  329e84d0
- [wp] Fix wp_eva tests decl (in particular session) · 75b7bc4e
  Allan Blanchard authored 3 years ago
  
  75b7bc4e
- [wp] use @PTEST_PLUGIN@ in tests · 253da5c3
  Allan Blanchard authored 3 years ago
  
  253da5c3
- [wp] Add a missing dependency on some tests · a62d197a
  Allan Blanchard authored 3 years ago
  
  a62d197a
- [wp] Remove old test related to Coq · e05a80a2
  Allan Blanchard authored 3 years ago
  
  e05a80a2
- [wp] option to scripts instead of saving them · 0efbb7d5
  Allan Blanchard authored 3 years ago
  
  0efbb7d5
- [wp] qualif.report is a dependency · 1a9e218b
  Allan Blanchard authored 3 years ago
  
  1a9e218b
- [wp] Do not use tip for some tests · 5d1344de
  Allan Blanchard authored 3 years ago
  
  5d1344de
- [wp] Use PTEST_DIR for sessions · c4c96fed
  Allan Blanchard authored 3 years ago
  
  c4c96fed
- [wp] Move session directories · 379952f9
  Allan Blanchard authored 3 years ago
  
  - insert place holders for Dune tests
  379952f9
Mar 04, 2022
- [kernel] move comment about gcc builtins to JSON file and add comment on types · d302363e
  Andre Maroneze authored 3 years ago
  
  d302363e
- [compliance] add comments and references to hard-coded type list of GCC builtins · 7836d10a
  Andre Maroneze authored 3 years ago
  
  7836d10a
- [Kernel] split GCC builtins JSON file for performance reasons · 695a2d8d
  Andre Maroneze authored 3 years ago
  
  695a2d8d
- [Kernel] fix message about allowed machdeps · 3dfea572
  Andre Maroneze authored 3 years ago
  
  3dfea572
- [Kernel] avoid crash due to invalid variadic builtin usage · bbd15113
  Andre Maroneze authored 3 years ago
  
  bbd15113
- [Kernel] improve message for absent compiler builtins · 2740f2d2
  Andre Maroneze authored 3 years ago
  
  2740f2d2
- [Kernel] move Cil_builtins declarations to JSON file and export as table · eaa0741d
  Andre Maroneze authored 3 years ago
  
  eaa0741d
- [e-acsl] changelog · deb3abb5
  Julien Signoles authored 3 years ago
  
  deb3abb5
- [e-acsl] update tests · e6752985
  Julien Signoles authored 3 years ago
  
  e6752985
- [e-acsl] fix post-merge crash · a4cb465d
  Julien Signoles authored 3 years ago
  
  a4cb465d
- [e-acsl] fixing comments · a8575ca3
  Julien Signoles authored 3 years ago
  
  a8575ca3
- [e-acsl] rename ExtLogicLabel.from to ExtLogicLabel.get · d71e168c
  Julien Signoles authored 3 years ago
  
  [e-acsl] fixing comments
  d71e168c
- fixup! [eacsl] Use the label analysis to translate `\at` values · d1e7d05a
  Basile Desloges authored 3 years ago and Julien Signoles committed 3 years ago
  
  d1e7d05a
- fixup! [eacsl] Create an analysis to compute translation location of labeled pred and terms · a9b91bf2
  Basile Desloges authored 3 years ago and Julien Signoles committed 3 years ago
  
  a9b91bf2
- fixup! [eacsl] Update test oracles · b8535d31
  Basile Desloges authored 3 years ago and Julien Signoles committed 3 years ago
  
  b8535d31
- fixup! [eacsl] Use the label analysis to translate `\at` values · 7e5d6c6f
  Basile Desloges authored 3 years ago and Julien Signoles committed 3 years ago
  
  7e5d6c6f
- fixup! [eacsl] Create an analysis to compute translation location of labeled pred and terms · 94b8862d
  Basile Desloges authored 3 years ago and Julien Signoles committed 3 years ago
  
  94b8862d
- [eacsl] Update test oracles · 350e64dc
  Basile Desloges authored 3 years ago and Julien Signoles committed 3 years ago
  
  350e64dc
- [eacsl] Add test cases for `\at` translation · fe5e3a83
  Basile Desloges authored 3 years ago and Julien Signoles committed 3 years ago
  
  fe5e3a83
- [eacsl] Use the label analysis to translate `\at` values · 07c477c0
  Basile Desloges authored 3 years ago and Julien Signoles committed 3 years ago
  
  07c477c0
- [eacsl] Create an analysis to compute translation location of labeled pred and terms · 8e072495
  Basile Desloges authored 3 years ago and Julien Signoles committed 3 years ago
  
  8e072495
- [eacsl] Update "with values" assertion message · 1374ca34
  Basile Desloges authored 3 years ago and Julien Signoles committed 3 years ago
  
  1374ca34
- [eacsl] Update E_acsl_visitor to visit the AST in the same manner than the injector · bd060578
  Basile Desloges authored 3 years ago and Julien Signoles committed 3 years ago
  
  bd060578
- [eacsl] Move annotation_kind to Analyses_types · 73ca4d87
  Basile Desloges authored 3 years ago and Julien Signoles committed 3 years ago
  
  73ca4d87
- [eacsl] Fix Lscope.compare · 534c7f45
  Basile Desloges authored 3 years ago and Julien Signoles committed 3 years ago
  
  534c7f45
- [kernel] Better error messages for Cil.mkBinOp · a2ea6893
  Basile Desloges authored 3 years ago and Julien Signoles committed 3 years ago
  
  a2ea6893
- [aorai] fix bashism in Makefile · 3fdabf47
  Virgile Prevosto authored 3 years ago and Patrick Baudin committed 3 years ago
  
  3fdabf47
- [ci] actually use wp-cache for aorai-prove target · 9fe53ede
  Virgile Prevosto authored 3 years ago
  
  also impose replay mode in the CI, so as to be warned if cache needs updating.
  9fe53ede