Commits · a3d91caa63741a6afc87b7a1c41c20bb345e02f2 · pub / frama-c · GitLab

Snippets Groups Projects

Nov 20, 2020
- Frama-C 22-Titanium · a3d91caa
  Allan Blanchard authored 4 years ago
  
  a3d91caa
- [Release] Changes website target · 97113a13
  Allan Blanchard authored 4 years ago
  
  97113a13
- [wp/doc] Add author in manual · 743001d2
  Allan Blanchard authored 4 years ago
  
  743001d2
Nov 17, 2020
- Merge branch 'fix/test/no-wp-in-main-suite' into 'stable/titanium' · 9e0619d5
  Allan Blanchard authored 4 years ago
  
  [wp] Moves a test from kernel to WP See merge request frama-c/frama-c!2949
  9e0619d5
- [wp] Moves a test from kernel to WP · 84cfb470
  Allan Blanchard authored 4 years ago
  
  84cfb470
- Merge branch 'feature/basile/eacsl-manual-updates' into 'stable/titanium' · bd483665
  Julien Signoles authored 4 years ago
  
  [eacsl] Update E-ACSL manuals for Titanium release See merge request frama-c/frama-c!2948
  bd483665
- [eacsl:doc] Update reference manual according to ACSL 1.16 · 71073bba
  Basile Desloges authored 4 years ago
  
  71073bba
- [eacsl:doc] Update user manual with latest E-ACSL outputs and URL · 7fd007d6
  Basile Desloges authored 4 years ago
  
  7fd007d6
Nov 16, 2020
- [eacsl:doc] Remove obsolete manuals installation · 65caae73
  Basile Desloges authored 4 years ago
  
  65caae73
- [eacsl:doc] Update manuals to use the global frama-c-book class · 1e7a4eab
  Basile Desloges authored 4 years ago
  
  1e7a4eab
- [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