Commits · e6752985c5f93b9645252a9abb1902f950a3fe95 · pub / frama-c · GitLab

Snippets Groups Projects

Mar 04, 2022
- [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
Mar 03, 2022
- [Mdr] adds a comment line in a test · 094200ec
  Patrick Baudin authored 3 years ago
  
  094200ec
- [E-ACSL] fixes warning 33 · 4605970b
  Patrick Baudin authored 3 years ago
  
  4605970b
Mar 01, 2022
- [tests] fixes some problemes related to dune migration · 97129bc9
  Patrick Baudin authored 3 years ago
  
  97129bc9
- [WP] bitwise simplifier improvement · dc097624
  Patrick Baudin authored 3 years ago
  
  dc097624
- [e-acsl] changelog · 174971b0
  Julien Signoles authored 3 years ago
  
  174971b0
- [e-acsl] style · 3175d095
  Julien Signoles authored 3 years ago
  
  3175d095
- [e-acsl] now visit the global annotations by default in the E_acsl_visitor · 775acbe2
  Julien Signoles authored 3 years ago
  
  775acbe2
- [eacsl] Update Bound_variables to visit global logic functions and predicates · 3f31f5e3
  Basile Desloges authored 3 years ago and Julien Signoles committed 3 years ago
  
  3f31f5e3
- [eacsl] Update Logic_normalizer.get_pred to return a predicate instead of a pred_or_term · 9c462e1a
  Basile Desloges authored 3 years ago and Julien Signoles committed 3 years ago
  
  9c462e1a
- [eacsl] Update Logic_normalizer to visit global annotations · b8536a75
  Basile Desloges authored 3 years ago and Julien Signoles committed 3 years ago
  
  b8536a75
- [eacsl] Add a function to allow visiting global_annotation in E_acsl_visitor · 3994d21b
  Basile Desloges authored 3 years ago and Julien Signoles committed 3 years ago
  
  3994d21b
Feb 25, 2022
- [WP] Cint.ml implements highest_bit_number in using Z.log2 · 9ff072f7
  Patrick Baudin authored 3 years ago
  
  9ff072f7
Feb 24, 2022
- [wp] avoid using asprintf · b93a6857
  Loïc Correnson authored 3 years ago and Allan Blanchard committed 3 years ago
  
  b93a6857
- [wp] Make region ouput dot option invisible · 76b2a04f
  Allan Blanchard authored 3 years ago
  
  - it works only when the function is unique currently - only used for tests
  76b2a04f
- [wp] move dot files for region tests · 1c4fd942
  Allan Blanchard authored 3 years ago
  
  1c4fd942
- [wp] Add option for region dump files · 7bb7da28
  Allan Blanchard authored 3 years ago
  
  7bb7da28
- [project] get rid of since-10-years-deprecated State_selection.Static · ad6c20ad
  Virgile Prevosto authored 3 years ago and Julien Signoles committed 3 years ago
  
  ad6c20ad
Feb 23, 2022
- [2022] file headers · 7b02c99c
  Patrick Baudin authored 3 years ago
  
  7b02c99c
Feb 22, 2022
- [Wp] improve bitwise simplifier: oracle upfdate · 93178e75
  Patrick Baudin authored 3 years ago
  
  93178e75
- new lint format · c9a17d31
  Patrick Baudin authored 3 years ago
  
  c9a17d31
- [Wp] improve bitwise simplifier · 6e0b6501
  Patrick Baudin authored 3 years ago
  
  6e0b6501
- [Metrics] fix error message · 7d80a26e
  Andre Maroneze authored 3 years ago
  
  Use same pattern as in metrics_acsl.ml.
  7d80a26e
Feb 18, 2022
- [wp] Migrate to frama-c indent · a767fdcb
  Allan Blanchard authored 3 years ago
  
  a767fdcb