Commits · 9fe53edeec46610efb556369e70a0190205f85d8 · pub / frama-c · GitLab

Snippets Groups Projects

Mar 04, 2022
- [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
- [ci] use new make target in aorai-prove step · a75ae460
  Virgile Prevosto authored 3 years ago
  
  a75ae460
- [aorai] allows passing ptests option in -config prove mode + doc · 3240735c
  Virgile Prevosto authored 3 years ago
  
  3240735c
- [aorai] allows setting verbosity level of WP in tests · 7d1a15cf
  Virgile Prevosto authored 3 years ago
  
  can be useful when something fails even though we don't necessarily want it in oracles.
  7d1a15cf
- [aorai] ask WP to use env variables for cache behavior in tests · 7feef1a7
  Virgile Prevosto authored 3 years ago
  
  7feef1a7
- [aorai] use global wp-cache for caching results · 6742723f
  Virgile Prevosto authored 3 years ago
  
  6742723f
- [aorai] use WP cache in 'prove' ptest configuration · a39c8e88
  Virgile Prevosto authored 3 years ago
  
  a39c8e88
Mar 03, 2022
- Merge branch 'feature/patrick/mdr-dunable-md-suite' into 'master' · 8ca1cf3c
  Patrick Baudin authored 3 years ago
  
  [Mdr] adds a comment line in a test See merge request frama-c/frama-c!3630
  8ca1cf3c
- [Mdr] adds a comment line in a test · 094200ec
  Patrick Baudin authored 3 years ago
  
  094200ec
- Merge branch 'fix/andre/libc-tests-dune' into 'master' · c5e2057c
  Andre Maroneze authored 3 years ago
  
  [tests] fix compatibility with dune See merge request frama-c/frama-c!3628
  c5e2057c
- [E-ACSL] fixes warning 33 · 4605970b
  Patrick Baudin authored 3 years ago
  
  4605970b
Mar 02, 2022
- [tests] fix compatibility with dune · d4a5a879
  Andre Maroneze authored 3 years ago
  
  d4a5a879
Mar 01, 2022
- Merge branch 'feature/patrick/fixes-dune-tests' into 'master' · 9741d0da
  Patrick Baudin authored 3 years ago
  
  [tests] fixes some problemes related to dune migration See merge request frama-c/frama-c!3627
  9741d0da
- [tests] fixes some problemes related to dune migration · 97129bc9
  Patrick Baudin authored 3 years ago
  
  97129bc9
- Merge branch 'feature/patrick/wp-bitwise-simplifier' into 'master' · 62c6f35d
  Patrick Baudin authored 3 years ago
  
  [WP] bitwise simplifier improvement See merge request frama-c/frama-c!3624
  62c6f35d
- [WP] bitwise simplifier improvement · dc097624
  Patrick Baudin authored 3 years ago
  
  dc097624
- Merge branch 'bugfix/basile/eacsl-195-ga-normalized' into 'master' · c3debfad
  Julien Signoles authored 3 years ago
  
  [eacsl] Normalization of global annotations Closes e-acsl#195 See merge request frama-c/frama-c!3586
  c3debfad
- [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 28, 2022
- Merge branch 'feature/ivette/fixing-sourcecode-alignement' into 'master' · 22532fbe
  David Bühler authored 3 years ago
  
  [ivette] Fixing SourceCode file alignement See merge request frama-c/frama-c!3623
  22532fbe
- [ivette] Fixing SourceCode file alignement · 04e45559
  Maxime Jacquemin authored 3 years ago and David Bühler committed 3 years ago
  
  04e45559
- Merge branch 'feature/ivette/distrib-api-generator' into 'master' · 70313409
  David Bühler authored 3 years ago
  
  [ivette] distribute api-generator with a header See merge request frama-c/frama-c!3612
  70313409
Feb 25, 2022
- Merge branch 'feature/patrick/cint-using-z-numbits' · 3da177c4
  Patrick Baudin authored 3 years ago
  
  3da177c4
- Merge branch 'feature/ivette/global-editor-fontsize' into 'master' · a5991611
  Maxime Jacquemin authored 3 years ago
  
  [ivette] use global font size buttons See merge request frama-c/frama-c!3609
  a5991611
- [WP] Cint.ml implements highest_bit_number in using Z.log2 · 9ff072f7
  Patrick Baudin authored 3 years ago
  
  9ff072f7
- Merge branch 'feature/ivette/eva/probe-label' into 'master' · b4ed25cc
  Maxime Jacquemin authored 3 years ago
  
  [ivette/eva] fixed probe label & zoom tooltip See merge request frama-c/frama-c!3607
  b4ed25cc
- Merge branch 'fix/ivette/selected-message' into 'master' · 0e91d336
  Maxime Jacquemin authored 3 years ago
  
  [ivette] Messages table: selects the current row after a click on a message. See merge request frama-c/frama-c!3602
  0e91d336
- Merge branch 'fix/andre/some-tests' into 'master' · 63cc19b3
  Patrick Baudin authored 3 years ago
  
  [tests] add missing dependencies in jcdb test See merge request frama-c/frama-c!3620
  63cc19b3
- Update Changelog (Fix category) · 612bfbf5
  Allan Blanchard authored 3 years ago
  
  612bfbf5
- [ivette/eva] suppress probe labelling · 099f1379
  Loïc Correnson authored 3 years ago and Maxime Jacquemin committed 3 years ago
  
  099f1379
- [ivette/eva] fixed probe label & zoom tooltip · 32833d07
  Loïc Correnson authored 3 years ago and Maxime Jacquemin committed 3 years ago
  
  32833d07
- [ivette] Messages table: selects the current row after a click on a message. · 0b27d76f
  David Bühler authored 3 years ago and Maxime Jacquemin committed 3 years ago
  
  0b27d76f
- [ivette] global font size controls · a4566b1f
  Loïc Correnson authored 3 years ago and Maxime Jacquemin committed 3 years ago
  
  a4566b1f
Feb 24, 2022
- Merge branch 'feature/ivette/fix-settings-startup' into 'master' · 811e943c
  David Bühler authored 3 years ago
  
  [ivette] Fix the handling of settings on startup See merge request frama-c/frama-c!3619
  811e943c
- [tests] add missing dependencies in jcdb test · 960e83b3
  Andre Maroneze authored 3 years ago
  
  960e83b3