Commits · 9c909beefb2b2053643ed66c5fcd867f8b7dd401 · pub / frama-c

Jun 25, 2020
- [logic] don't lose annot_id when merging loop assigns or loop allocates · 9c909bee
  Virgile Prevosto authored 4 years ago
  
  9c909bee
- [logic] make {iter,fold}_code_annot operate on normalized annotations · 9c95beaf
  Virgile Prevosto authored 4 years ago
  
  i.e. they will present at most one AAssigns and AAllocates per set of behaviors.
  9c95beaf
- [tests] refine test case for insertion of loop assigns · 4df1b92c
  Virgile Prevosto authored 4 years ago
  
  4df1b92c
Jun 23, 2020

Merge branch 'fix/parsing/string-concat' into 'master' · 89037a03

Andre Maroneze authored 4 years ago

[parsing] more efficient concatenation of consecutive strings

Closes #880

See merge request frama-c/frama-c!2689

89037a03

Jun 22, 2020
- Merge branch 'fix/andre/jcdb-is-relative' into 'master' · c8123eda
  Virgile Robles authored 4 years ago
  
  [Kernel] fix usage of is_relative in JCDB paths See merge request frama-c/frama-c!2726
  c8123eda
- [Kernel] fix usage of is_relative in JCDB paths · cae2790d
  Andre Maroneze authored 4 years ago
  
  cae2790d
Jun 20, 2020
- Merge branch 'feature/dive' into 'master' · 309a1295
  Valentin Perrelle authored 4 years ago
  
  [dive] New plugin dive to generate imprecision graphs for Eva See merge request frama-c/frama-c!2720
  309a1295
- Merge branch 'fix/eva/alternative-oracles' into 'master' · 8bb3a893
  Andre Maroneze authored 4 years ago
  
  [Eva] Updates alternative test oracles. See merge request frama-c/frama-c!2724
  8bb3a893
Jun 19, 2020
- [Dive] Renames options -dive-from and -dive-from-function-alarms. · 9514e911
  David Bühler authored 4 years ago
  
  Into -dive-from-variables and -dive-from-alarms respectively.
  9514e911
- [Eva] Updates alternative test oracles. · 0db85267
  David Bühler authored 4 years ago
  
  0db85267
- [WP] fixes some typos into the doc dedicated to tests · f254a2cd
  Patrick Baudin authored 4 years ago
  
  f254a2cd
- Merge branch 'feature/andre/frama-c-config-aliases' into 'master' · 72ffe3e5
  Julien Signoles authored 4 years ago
  
  [Dev] add short options to frama-c-config See merge request frama-c/frama-c!2681
  72ffe3e5
- [WP] fixes some typos into the doc dedicated to tests · 82825058
  Patrick Baudin authored 4 years ago
  
  82825058
- Merge branch 'feature/basile/eacsl-33-bitwise-ops' into 'master' · a6e3fdfb
  Basile Desloges authored 4 years ago
  
  [eacsl] Add support for bitwise operators when using C integer types See merge request frama-c/frama-c!2635
  a6e3fdfb
- [Dive] Adds PLUGIN_ENABLE and PLUGIN_DISTRIBUTED to the Makefile. · d0bffb62
  David Bühler authored 4 years ago
  
  d0bffb62
- [Dive] Removes unused file simple_deps. · 3f5d6490
  David Bühler authored 4 years ago
  
  3f5d6490
- [Dive] Rewrites the README file, removes outdated compilation instructions. · f78090a5
  David Bühler authored 4 years ago
  
  f78090a5
- [Dive] Simplifies the .gitignore file. · 0b5924d9
  David Bühler authored 4 years ago
  
  0b5924d9
- [Dive] Minor fixes to some help messages. · b753701e
  David Bühler authored 4 years ago
  
  b753701e
- [Dive] Uses frama-c headers. · ab8e196d
  David Bühler authored 4 years ago
  
  ab8e196d
- [eacsl] Update changelog · bee1d529
  Basile Desloges authored 4 years ago
  
  bee1d529
- [eacsl:tests] Add tests for bitwise operators · 8f213c16
  Basile Desloges authored 4 years ago
  
  8f213c16
- [eacsl:language] Add support for bitwise operators on C integer types · ccd9ca73
  Basile Desloges authored 4 years ago
  
  ccd9ca73
- [eacsl:analyses] Complete `Typing.type_term` to support remaining bitwise operations · a568fe56
  Basile Desloges authored 4 years ago
  
  a568fe56
- [eacsl:analyses] Complete `Interval.infer` to support remaining bitwise operations · 63f85c06
  Basile Desloges authored 4 years ago
  
  63f85c06
- Merge branch 'bugfix/basile/eacsl-120-gmp-z-to-q' into 'master' · 09e2c017
  Basile Desloges authored 4 years ago
  
  [eacsl] Add support to create GMP rational from GMP integer Closes e-acsl#120 See merge request frama-c/frama-c!2700
  09e2c017
- [eacsl] Update changelog · 8b9a3b3d
  Basile Desloges authored 4 years ago
  
  8b9a3b3d
- [eacsl] Update tests · 4cd013c9
  Basile Desloges authored 4 years ago
  
  4cd013c9
- [eacsl:codegen] Add support to create GMP rational from GMP integer · 96f265f5
  Basile Desloges authored 4 years ago
  
  96f265f5
- [eacsl:codegen] Fix conversion of `typ` to `number_ty` · 9da3f0d8
  Basile Desloges authored 4 years ago
  
  9da3f0d8
- [eacsl:typing] Update `Typing.number_ty_of_typ` to support GMP types · a00defc9
  Basile Desloges authored 4 years ago
  
  a00defc9
- [Dev] add short options to frama-c-config · 9ade854f
  Andre Maroneze authored 4 years ago
  
  9ade854f
- Merge branch 'bugfix/basile/eacsl-119-vla-memory-tracking' into 'master' · 1203eb0f
  Basile Desloges authored 4 years ago
  
  [eacsl] Fix VLA memory tracking Closes e-acsl#119 See merge request frama-c/frama-c!2715
  1203eb0f
- [Dive] Updates the copyright year in headers. · edb1c955
  David Bühler authored 4 years ago
  
  edb1c955
- [Dive] Linting: fixes indentation. · 83f08911
  David Bühler authored 4 years ago
  
  83f08911
- [Dive] Updates test oracles. · c481e1f5
  David Bühler authored 4 years ago
  
  c481e1f5
- [Dive] Supports new alarm Invalid_pointer. · 1cbcb2e7
  David Bühler authored 4 years ago
  
  1cbcb2e7
- [Dive] Fixes the server interface to comply with frama-c changes. · 69fafaa0
  David Bühler authored 5 years ago
  
  69fafaa0
- [Dive] Fix return expression dependency values · 92db4bbf
  Valentin Perrelle authored 5 years ago and David Bühler committed 4 years ago
  
  92db4bbf
- [Dive] Fix scattered dependencies values · 970d351b
  Valentin Perrelle authored 5 years ago and David Bühler committed 4 years ago
  
  970d351b