Commits · 45bad89f9d9a8bcd1bd0c5c81d741ea0a0658fff · pub / frama-c · GitLab

Snippets Groups Projects

Oct 19, 2020
- .gitignore · 45bad89f
  Virgile Prevosto authored 4 years ago
  
  45bad89f
- [opam] fix opam constraints wrt ocamlgraph · 2d6e35ec
  Virgile Prevosto authored 4 years ago
  
  2d6e35ec
- [lint] filter externally-specified list of ml files to lint · c53791f0
  Virgile Prevosto authored 4 years ago
  
  Allows the pre-commit hook to succeed if a ml file disappears
  c53791f0
- [Makefile] .depend does not depend on anything · e08ed196
  Virgile Prevosto authored 4 years ago
  
  Avoid calling too many times `make depend` in case a generated file changes
  e08ed196
- [gui] accomodate for the change in module name between OCamlgraph 1.8 and 2.0 · 1d2c7495
  Virgile Prevosto authored 4 years ago
  
  1d2c7495
- [config] add support for ocamlgraph 2.0 and the ocamlgraph/ocamlgraph_gtk split · 3dc87d94
  Virgile Prevosto authored 4 years ago
  
  3dc87d94
- Merge branch 'fix/kernel/const-temporary-variable' into 'master' · b876bf4e
  David Bühler authored 4 years ago
  
  [kernel] Cabs2cil: do not create const temporary variables. Closes #966 See merge request frama-c/frama-c!2885
  b876bf4e
- Merge branch 'feature/andre/opam-bump-versions' into 'master' · 53ed013b
  Allan Blanchard authored 4 years ago
  
  several updates related to minimum OCaml version See merge request frama-c/frama-c!2898
  53ed013b
- Merge branch 'feature/pb/removing-tests/dynamic-plugin' into 'master' · 44302ad3
  Patrick Baudin authored 4 years ago
  
  [tests] removing unused tests/dynamic_plugin directory See merge request frama-c/frama-c!2901
  44302ad3
Oct 16, 2020
- Merge branch 'fix/wp/matrix-name-clash' into 'master' · f6ccfe17
  Allan Blanchard authored 4 years ago
  
  [wp] fix matrix name clash See merge request frama-c/frama-c!2900
  f6ccfe17
- Update Changelog after MR !2742 · cfee9261
  Virgile Prevosto authored 4 years ago
  
  cfee9261
- Merge branch 'feature/lionel/recursive_global_extended_annotation' into 'master' · 62603b24
  Virgile Prevosto authored 4 years ago
  
  Recursive global extended annotations See merge request frama-c/frama-c!2742
  62603b24
- [wp] Test: check that array defs are not shared · 08b3a7ae
  Allan Blanchard authored 4 years ago
  
  08b3a7ae
- [tests] removing unused tests/dynamic_plugin directory · b922b3fb
  Patrick Baudin authored 4 years ago
  
  b922b3fb
Oct 15, 2020
- Merge branch 'bugfix/basile/eacsl-bittree-compilation' into 'master' · a49f2eed
  Julien Signoles authored 4 years ago
  
  [eacsl] Fix bittree compilation See merge request frama-c/frama-c!2899
  2020-10-16
  
  a49f2eed
- [offsetmap] Simplifies iter_offset. · c789aed5
  David Bühler authored 4 years ago
  
  c789aed5
- [offsetmap] make fold_offset tailrec · 3c11e8a7
  Virgile Prevosto authored 4 years ago
  
  3c11e8a7
- [eacsl] Add tests for memory models compilation · 078a1a27
  Basile Desloges authored 4 years ago
  
  078a1a27
- [eacsl] Fix bittree model compilation · 4774cd29
  Basile Desloges authored 4 years ago
  
  4774cd29
- [wp] fixed init-range lemmas · f38cca53
  Loïc Correnson authored 4 years ago
  
  f38cca53
- [wp] refactor matrix loaders · a25e5e7e
  Loïc Correnson authored 4 years ago
  
  a25e5e7e
- [wp] renamed is-array predicates · 90676872
  Loïc Correnson authored 4 years ago
  
  90676872
- [wp] renamed compound operations · 2f39567a
  Loïc Correnson authored 4 years ago
  
  2f39567a
- [wp] simplify pointer type · 85c0b2e5
  Loïc Correnson authored 4 years ago
  
  85c0b2e5
- [wp] type utilities · 89681265
  Loïc Correnson authored 4 years ago
  
  89681265
- several updates related to newer OCaml compiler version · b9a92229
  Andre Maroneze authored 4 years ago
  
  b9a92229
- [Kernel] update noalloc annotations to modern OCaml · 71e0ab5d
  Andre Maroneze authored 4 years ago
  
  71e0ab5d
- [Kernel] update code to OCaml >= 4.07 · bbbd3fc5
  Andre Maroneze authored 4 years ago
  
  bbbd3fc5
- [Doc] remove hardcoded OCaml version from WSL instructions · 7999ede3
  Andre Maroneze authored 4 years ago
  
  7999ede3
- [opam] update compatible versions in depends · d120413b
  Andre Maroneze authored 4 years ago
  
  d120413b
- [Changelog] add entry about minimum required OCaml version · 3bf10449
  Andre Maroneze authored 4 years ago
  
  3bf10449
- Merge branch 'fix/wp/initialized-issues-965' into 'master' · 159bca76
  Loïc Correnson authored 4 years ago
  
  Fixes initialized bugs #965 Closes #965 See merge request frama-c/frama-c!2883
  2020-10-15
  
  159bca76
- [kernel] add non-regression test for const local inits · a1210628
  Andre Maroneze authored 4 years ago
  
  a1210628
- Merge branch 'feature/andre/opam-do-not-disable-gui' into 'master' · fd63f8a7
  François Bobot authored 4 years ago
  
  [opam] do not force disable GUI See merge request frama-c/frama-c!2732
  fd63f8a7
- [kernel] Cabs2cil: do not create const temporary variables. · 084a6d88
  David Bühler authored 4 years ago and Andre Maroneze committed 4 years ago
  
  Removes the "const" attribute from types used to create temporary variables.
  084a6d88
- [wp] Clarifies Sigs.CodeSemantics.init doc · f5c9ca1d
  Allan Blanchard authored 4 years ago
  
  f5c9ca1d
- [wp] Small refacto for initializers in CfgWP · 68e3b43a
  Allan Blanchard authored 4 years ago
  
  68e3b43a
- [wp] Ranges in CodeSemantics: included up · 5221a79e
  Allan Blanchard authored 4 years ago
  
  5221a79e
- [wp] Factorize normalization in initialized MemVar · da4f3da9
  Allan Blanchard authored 4 years ago
  
  da4f3da9
Oct 14, 2020
- [wp] MemVar: normalize offset on initialized array · 51c9d57f
  Allan Blanchard authored 4 years ago
  
  51c9d57f