Commits · c9dd34d7d5b19df4cecae0619df53867d9f2b94b · pub / frama-c · GitLab

Snippets Groups Projects

Jan 11, 2022
- [Eva] Simplify the usage of Abstraction.dynamic_register · 3ff289da
  Valentin Perrelle authored 3 years ago and David Bühler committed 3 years ago
  
  3ff289da
- [kernel] refine `LenOfArray` exception · 2d619a2d
  Virgile Prevosto authored 3 years ago
  
  2d619a2d
Jan 10, 2022
- [wp] Update tests oracles · cfdeee3a
  Allan Blanchard authored 3 years ago
  
  cfdeee3a
- [WP] add a simplification rule related to bitwise operator land · 7f032791
  Patrick Baudin authored 3 years ago
  
  7f032791
- [gui] In the project menu, fixes project names containing the character '&'. · d40b1bca
  David Bühler authored 3 years ago and Maxime Jacquemin committed 3 years ago
  
  d40b1bca
- [WP] add a test of the introduced rule · 071a7a1e
  Patrick Baudin authored 3 years ago
  
  071a7a1e
- [WP] add a simplification rule related to bitwise operator land · e7b4b9f7
  Patrick Baudin authored 3 years ago
  
  e7b4b9f7
- [wp] Always display script name · 73a9e739
  Allan Blanchard authored 3 years ago
  
  73a9e739
- [wp] Print goal id and short id in proof script · e56cfa2d
  Allan Blanchard authored 3 years ago
  
  e56cfa2d
- [wp] Removes legacy pid · b3e0c913
  Allan Blanchard authored 3 years ago
  
  b3e0c913
Jan 07, 2022
- [Reduction] fix help messages · c9868042
  Julien Signoles authored 3 years ago and David Bühler committed 3 years ago
  
  c9868042
- [wp] Keep global const dependencies · caa4ab80
  Allan Blanchard authored 3 years ago
  
  caa4ab80
- [wp] Warns on user defined variant relations · 1fd955e1
  Allan Blanchard authored 3 years ago
  
  1fd955e1
- [wp] Adds an hypothesis log (warning with key hypothesis) · a926c5af
  Allan Blanchard authored 3 years ago
  
  a926c5af
- [wp] tests for decreases · d688e3e4
  Allan Blanchard authored 3 years ago
  
  d688e3e4
Jan 06, 2022
- [wp] Support decreases clause · bbd1ed6b
  Allan Blanchard authored 3 years ago
  
  bbd1ed6b
- [wp] Support relation based variant · 159f30f8
  Allan Blanchard authored 4 years ago
  
  159f30f8
- [wp] test tactic modmask · c5017302
  Allan Blanchard authored 3 years ago
  
  c5017302
- [wp] New tactic Mod-Mask · 31cc4550
  Allan Blanchard authored 3 years ago
  
  31cc4550
- [wp] Allows to update checkbox label · 38c9acba
  Allan Blanchard authored 3 years ago
  
  38c9acba
- [gui] Allows to set checkbox label · 8976834a
  Allan Blanchard authored 3 years ago
  
  8976834a
- [WP] add a simplification rule related to bitwise operator land · 70ecd23c
  Patrick Baudin authored 3 years ago and Allan Blanchard committed 3 years ago
  
  70ecd23c
- [tests] execution from result directories: oracle updates · f7d8e1c6
  Patrick Baudin authored 3 years ago
  
  f7d8e1c6
- [E-ACSL] fixes tests/bts/issue-eacsl-145.c · 090cd6e3
  Patrick Baudin authored 3 years ago
  
  090cd6e3
- [wp] ChangeLog · 9e0c5b18
  Allan Blanchard authored 3 years ago
  
  9e0c5b18
Jan 05, 2022
- [wp] Fix clear test DONTRUN · bcea191f
  Allan Blanchard authored 3 years ago
  
  bcea191f
- [wp/doc] Filter + Clear · 81d70966
  Allan Blanchard authored 3 years ago
  
  - slightly clarifies Filter short description - document Clear
  81d70966
- [wp] New "Clear" tactic (hyp removal) · 03d41514
  Allan Blanchard authored 3 years ago
  
  03d41514
- [wp] Clarifies props names in cfg loop test · 7f38c39c
  Allan Blanchard authored 3 years ago
  
  7f38c39c
- [wp] Weaken check invariant · d847cc19
  Allan Blanchard authored 3 years ago
  
  - no they have the expected behavior
  d847cc19
- [wp] update oracles · d04e513b
  Allan Blanchard authored 3 years ago
  
  d04e513b
- [wp] Invariant are now used as hypothese · ed2ab419
  Allan Blanchard authored 3 years ago
  
  - reproduce assert behavior for invariants
  ed2ab419
- [wp] Do not reverse loop contracts · 338f5029
  Allan Blanchard authored 3 years ago
  
  338f5029
Jan 04, 2022
- [wp] ChangeLog header · 7729eb18
  Allan Blanchard authored 3 years ago
  
  7729eb18
Dec 21, 2021
- fixes indentation errors · 4cb6a094
  Patrick Baudin authored 3 years ago
  
  4cb6a094
- [tests] preparation for the test execution from result directories · db86c44f
  Patrick Baudin authored 3 years ago
  
  db86c44f
Dec 20, 2021
- [Eva] Fixes values request when nothing can be evaluated. · befb21ab
  David Bühler authored 3 years ago
  
  Fixes a Frama-C crash in Ivette when selecting an AST element that cannot be evaluated into an Eva value.
  befb21ab
Dec 16, 2021
- [Aorai] tests using the PTEST_DEFAULT_OPTIONS · 26c5a2ca
  Patrick Baudin authored 3 years ago
  
  26c5a2ca
- [Eva] Fixes crashes when evaluating some ACSL terms with top locations. · d2f87620
  David Bühler authored 3 years ago
  
  d2f87620
Dec 15, 2021
- [analysis-scripts/make_wrapper.py] more permissive inputs · 043dfaee
  Patrick Baudin authored 3 years ago
  
  043dfaee