Commits · 60cefa59db750feadebdd6df0020193170c2293e · Charles Southerland / frama-c

Nov 16, 2020
- [eacsl:doc] Fix TAB in changelog · 60cefa59
  Basile Desloges authored 4 years ago
  
  60cefa59
- Merge branch 'bugfix/basile/eacsl-heap-init' into 'stable/titanium' · 10445eae
  Julien Signoles authored 4 years ago
  
  [eacsl] Fix heap initialization See merge request frama-c/frama-c!2946
  10445eae
- [e-acsl] more explicit changelog message · af732f72
  Julien Signoles authored 4 years ago
  
  af732f72
- [eacsl] Update changelog · 17b2a353
  Basile Desloges authored 4 years ago
  
  17b2a353
- [eacsl] Update tests · f14e917c
  Basile Desloges authored 4 years ago
  
  f14e917c
- [eacsl] Fix heap initialization during reallocation · 424081d4
  Basile Desloges authored 4 years ago
  
  424081d4
Nov 13, 2020
- [eacsl] Fix testing of heap initialization · d4c7bcc7
  Basile Desloges authored 4 years ago
  
  d4c7bcc7
Nov 12, 2020
- Merge branch 'feature/blanchard/wp/warn-unsupported-from' into 'stable/titanium' · 5f45028b
  Loïc Correnson authored 4 years ago
  
  Warn on unsupported from proof See merge request frama-c/frama-c!2939
  5f45028b
- Merge branch 'fix/eva/duplicate-msg' into 'stable/titanium' · e2fcacdf
  David Bühler authored 4 years ago
  
  [Eva] fix duplicate words See merge request frama-c/frama-c!2942
  e2fcacdf
- Merge remote-tracking branch 'origin/stable/titanium' into... · cf0284a5
  Allan Blanchard authored 4 years ago
  
  Merge remote-tracking branch 'origin/stable/titanium' into feature/blanchard/wp/warn-unsupported-from
  cf0284a5
- [wp] Rephrase a from warning · 274fce90
  Allan Blanchard authored 4 years ago
  
  274fce90
- Merge branch 'fix/logic-parser/assigns-merging' into 'stable/titanium' · 83db8b4b
  Virgile Prevosto authored 4 years ago
  
  Fixes assigns merging See merge request frama-c/frama-c!2936
  83db8b4b
- [kernel] New warning category for multiple froms · b2df74b1
  Allan Blanchard authored 4 years ago
  
  b2df74b1
Nov 10, 2020
- [Eva] fix duplicate words · c86aae3e
  Andre Maroneze authored 4 years ago
  
  c86aae3e
Nov 06, 2020
- [wp] Warn once when WP meets a \from · 289f6d07
  Allan Blanchard authored 4 years ago
  
  289f6d07
- [parser] Adds warning when dropping froms · e6b7c454
  Allan Blanchard authored 4 years ago
  
  e6b7c454
- [parser] Narrow froms in case of inclusion · f8f9cd0f
  Allan Blanchard authored 4 years ago
  
  f8f9cd0f
- [kernel] Simplifies merge assigns · a0ada244
  Allan Blanchard authored 4 years ago
  
  a0ada244
Nov 05, 2020
- [kernel] Clean from but do not merge them · 637af0a0
  Allan Blanchard authored 4 years ago
  
  637af0a0
- [parser] Update comment · ca041e19
  Allan Blanchard authored 4 years ago
  
  ca041e19
- [parser] Merge assigns dependencies · 336f28f6
  Allan Blanchard authored 4 years ago
  
  336f28f6
- [parser] Merge "assigns x, x, ..." · 3ce322ba
  Allan Blanchard authored 4 years ago
  
  3ce322ba
- Merge branch 'doc/wp/fix-tactics-documentation' into 'stable/titanium' · cf01dcb0
  Allan Blanchard authored 4 years ago
  
  Adds missing documentation for some tactics + minor fixes See merge request frama-c/frama-c!2935
  cf01dcb0
- Apply suggestion to src/plugins/wp/doc/manual/wp_plugin.tex · e0153316
  Allan Blanchard authored 4 years ago
  
  e0153316
- Apply suggestion to src/plugins/wp/doc/manual/wp_plugin.tex · 326de583
  Allan Blanchard authored 4 years ago
  
  326de583
- [wp/doc] A few details in memory models doc · 2deda6b6
  Allan Blanchard authored 4 years ago
  
  2deda6b6
- [wp/doc] Document tactic: Validity · 3a5fe7b5
  Allan Blanchard authored 4 years ago
  
  3a5fe7b5
- [wp/doc] Document tactic: Bit-Test Range · 9176cd9e
  Allan Blanchard authored 4 years ago
  
  9176cd9e
Nov 04, 2020
- [wp/doc] Reorganizes tactics documentation · bc4a7baa
  Allan Blanchard authored 4 years ago
  
  bc4a7baa
Nov 03, 2020
- Merge branch 'doc/wp/calls' into 'stable/titanium' · 76cf0424
  Allan Blanchard authored 4 years ago
  
  Improves WP `@calls` doc See merge request frama-c/frama-c!2925
  76cf0424
Nov 02, 2020
- Apply suggestion to src/plugins/wp/doc/manual/wp_plugin.tex · d069cd2d
  Allan Blanchard authored 4 years ago
  
  d069cd2d
- Merge branch 'fix/wp/coq-version-constraints' into 'stable/titanium' · 1c1b355b
  Loïc Correnson authored 4 years ago
  
  Fixes Wp-Coq version constraints See merge request frama-c/frama-c!2924
  1c1b355b
- Merge branch 'fix/wp/why3-prover-detection' into 'stable/titanium' · f9610df7
  Loïc Correnson authored 4 years ago
  
  Fix Why3 prover detection See merge request frama-c/frama-c!2926
  f9610df7
- Merge branch 'fix/andre/dockerfiles-dev-custom' into 'stable/titanium' · 2dd72a21
  Allan Blanchard authored 4 years ago
  
  [Dev] update opam dependencies; fix Python for tests See merge request frama-c/frama-c!2912
  2dd72a21
- [wp] Restore exact match as performed by Why3 · e5f87adf
  Allan Blanchard authored 4 years ago
  
  e5f87adf
- Merge branch 'fix/andre/test-math-oracles-macos' into 'stable/titanium' · a8e36734
  Allan Blanchard authored 4 years ago
  
  Fix/andre/test math oracles macos See merge request frama-c/frama-c!2919
  a8e36734
- [wp+opam] Adds a post-message for Why3 provers · 4c32277d
  Allan Blanchard authored 4 years ago
  
  4c32277d
- [wp] More robust prover filter · 17df8863
  Allan Blanchard authored 4 years ago
  
  17df8863
Oct 30, 2020
- [wp/doc] Details @calls annotation · 64347a62
  Allan Blanchard authored 4 years ago
  
  64347a62
- [wp] Fixes Coq compilation constraints · 025a3918
  Allan Blanchard authored 4 years ago
  
  025a3918