Commits · 896cbe587c1df519597d451521a3011dbfe31dde · pub / frama-c · GitLab

Snippets Groups Projects

Jan 12, 2022
- [Rte] add dkey for function annotation messages; remove unnecessary warn · 896cbe58
  Andre Maroneze authored 3 years ago
  
  896cbe58
- Merge branch 'fix/wp/tac-induction' into 'master' · b5887b24
  Allan Blanchard authored 3 years ago
  
  Remove useless subtitution in Induction tactic See merge request frama-c/frama-c!3526
  b5887b24
- [wp] Remove useless substitution in Induction tac · a96d17b6
  Allan Blanchard authored 3 years ago
  
  a96d17b6
- Merge branch 'doc/wp/tacmodmask' into 'master' · 98678b60
  Patrick Baudin authored 3 years ago
  
  [wp/doc] Document Mod-Mask See merge request frama-c/frama-c!3521
  98678b60
- [wp/doc] Apply suggestion in Overflow tactic · c30f9273
  Allan Blanchard authored 3 years ago
  
  c30f9273
- [wp/doc] Document Mod-Mask · f7daa4f9
  Allan Blanchard authored 3 years ago
  
  f7daa4f9
- Merge branch 'fix/wp/tac-induction' into 'master' · 6058453c
  Allan Blanchard authored 3 years ago
  
  Fix induction tactic typing See merge request frama-c/frama-c!3524
  6058453c
- [wp] Simplifies induction tactic · b5b6de92
  Allan Blanchard authored 3 years ago
  
  b5b6de92
- [wp] Fix condition lift · 7226a1eb
  Allan Blanchard authored 3 years ago
  
  7226a1eb
- [wp] Fix induction tactic typing · 6501ff34
  Allan Blanchard authored 3 years ago
  
  6501ff34
Jan 11, 2022
- Merge branch 'fix/andre/crash-array-init' into 'master' · c9dd34d7
  Andre Maroneze authored 3 years ago
  
  [Cabs2cil] avoid crash with overly large array initializers See merge request frama-c/frama-c!3520
  c9dd34d7
- Merge branch 'feature/eva/dynamic-register' into 'master' · b6559c80
  David Bühler authored 3 years ago
  
  [Eva] Simplify the usage of Abstraction.dynamic_register See merge request frama-c/frama-c!3473
  b6559c80
- [Eva] Simplify the usage of Abstraction.dynamic_register · 3ff289da
  Valentin Perrelle authored 3 years ago and David Bühler committed 3 years ago
  
  3ff289da
- Merge branch 'fix/eva/logic-crash' into 'master' · 6fe4ad3e
  Andre Maroneze authored 3 years ago
  
  [Eva] Fixes crashes when evaluating some ACSL terms with top locations. See merge request frama-c/frama-c!3503
  6fe4ad3e
- [kernel] refine `LenOfArray` exception · 2d619a2d
  Virgile Prevosto authored 3 years ago
  
  2d619a2d
- [Cabs2cil] avoid crash with overly large array initializers · 83d5e25f
  Andre Maroneze authored 3 years ago and Virgile Prevosto committed 3 years ago
  
  83d5e25f
Jan 10, 2022
- Merge branch 'feature/patrick/simplify-land-eq-mod' into 'master' · bdc9c099
  Allan Blanchard authored 3 years ago
  
  [WP] bitwise operator land : added simplification rules and tactic See merge request frama-c/frama-c!3444
  bdc9c099
- [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
- Merge branch 'fix/gui/project-names' into 'master' · 8f0fca99
  Maxime Jacquemin authored 3 years ago
  
  [gui] In the project menu, fixes project names containing the character '&'. See merge request frama-c/frama-c!3491
  8f0fca99
- Merge branch 'feature/wp/gui/print-goal-id' into 'master' · 7f4dbf5f
  Allan Blanchard authored 3 years ago
  
  Cosmetic changes on Goal GUI See merge request frama-c/frama-c!3513
  7f4dbf5f
- [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
- Merge branch 'feature/wp/variant-decreases' into 'master' · 82124f2b
  Loïc Correnson authored 3 years ago
  
  [wp] Support generalized variant + decreases See merge request frama-c/frama-c!3511
  82124f2b
- Merge branch 'feature/wp/const-deps' into 'master' · 253076fe
  Loïc Correnson authored 3 years ago
  
  [wp] Keep global const dependencies Closes #695 See merge request frama-c/frama-c!3518
  253076fe
Jan 07, 2022
- Merge branch 'bugfix/julien/reduction-description' into 'master' · 038d45c0
  David Bühler authored 3 years ago
  
  [Reduction] fix help messages See merge request frama-c/frama-c!3507
  038d45c0
- [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