Commits · de73787cfdec38e2b9522a6ad440ddcc1b9150c3 · pub / frama-c · GitLab

Snippets Groups Projects

Oct 31, 2019
- [ghost] prefer renaming a ghost local in case of name clash · de73787c
  Virgile Prevosto authored 5 years ago and Allan Blanchard committed 5 years ago
  
  de73787c
- [tests] preliminary work for fixing alpha-conversion of locals · 604c5820
  Virgile Prevosto authored 5 years ago and Allan Blanchard committed 5 years ago
  
  if a non-ghost local shadows a ghost one, the renaming should affect the ghost.
  604c5820
- [tests] checks that typing reject prog with two locals with same name and scope · 19475eec
  Virgile Prevosto authored 5 years ago and Allan Blanchard committed 5 years ago
  
  even if one is ghost and the other non-ghost
  19475eec
- [lint] reindent cabs2cil post-rebase · 54bb4ac6
  Virgile Prevosto authored 5 years ago and Allan Blanchard committed 5 years ago
  
  54bb4ac6
- [lint] more correctly indented files · 91d9f893
  Virgile Prevosto authored 5 years ago and Allan Blanchard committed 5 years ago
  
  91d9f893
- [aorai] update oracles · f1adaf1a
  Virgile Prevosto authored 5 years ago and Allan Blanchard committed 5 years ago
  
  f1adaf1a
- [aorai] more ghost usage fixes · ec292975
  Virgile Prevosto authored 5 years ago and Allan Blanchard committed 5 years ago
  
  ec292975
- [typing] fixes parsing and typing of ghost functions · 2cd04265
  Virgile Prevosto authored 5 years ago and Allan Blanchard committed 5 years ago
  
  2cd04265
- [cil] fixes scope of ghost variables under \at · 82398fda
  Virgile Prevosto authored 5 years ago and Allan Blanchard committed 5 years ago
  
  82398fda
- [tests] add access to ghost variable under at to show typing issue · b1dc329e
  Virgile Prevosto authored 5 years ago and Allan Blanchard committed 5 years ago
  
  b1dc329e
- [aorai] stricter usage of ghost code in instrumentation · 02e148c7
  Virgile Prevosto authored 5 years ago and Allan Blanchard committed 5 years ago
  
  02e148c7
- [cil] allow for ghost in `makeLocalVar` and `makeTempVar` · 2ae2bf46
  Virgile Prevosto authored 5 years ago and Allan Blanchard committed 5 years ago
  
  2ae2bf46
- [tests] fixes ill-formed test · 72e835e7
  Virgile Prevosto authored 5 years ago and Allan Blanchard committed 5 years ago
  
  72e835e7
- [typing] use dual ghost/non-ghost scope for variables lookup · f562009c
  Virgile Prevosto authored 5 years ago and Allan Blanchard committed 5 years ago
  
  f562009c
- add test case for 2421 · d23c315b
  Virgile Prevosto authored 5 years ago and Allan Blanchard committed 5 years ago
  
  d23c315b
Oct 30, 2019
- Merge branch 'feature/wp/float-extensions' into 'master' · 5440e540
  François Bobot authored 5 years ago
  
  [wp] float extensions See merge request frama-c/frama-c!2385
  5440e540
Oct 29, 2019
- [Kernel] Fixes the help message of the deprecated option -warn-decimal-float. · 0ac24004
  David Bühler authored 5 years ago
  
  0ac24004
- Merge branch 'fix/andre/libc-wchar' into 'master' · b5cf31b5
  Andre Maroneze authored 5 years ago
  
  [Libc] Fix/improve several specifications Closes #693 See merge request frama-c/frama-c!2347
  b5cf31b5
- [Libc] more fixes after review · 6664c43f
  Andre Maroneze authored 5 years ago
  
  6664c43f
- [Libc] fix libc spec: utimes; add test · 4eab1f50
  Andre Maroneze authored 5 years ago
  
  4eab1f50
- [libc] minor fixes following review · 52059c39
  Andre Maroneze authored 5 years ago
  
  52059c39
- update test oracles · a7372004
  Andre Maroneze authored 5 years ago
  
  a7372004
- [Libc] fix/improve several specs in stdio.h · fd699101
  Andre Maroneze authored 5 years ago
  
  fd699101
- update test oracles · 2caafeae
  Andre Maroneze authored 5 years ago
  
  2caafeae
- [Libc] fix several specifications · 8dc15b11
  Andre Maroneze authored 5 years ago
  
  8dc15b11
- update test oracles · 4a315117
  Andre Maroneze authored 5 years ago
  
  4a315117
- [Libc] fix some specs in stdio.h · 659b93f6
  Andre Maroneze authored 5 years ago
  
  659b93f6
- [Libc] Fix specs in wchar.h · b337c046
  Andre Maroneze authored 5 years ago
  
  b337c046
Oct 28, 2019
- Merge branch 'fix/server/configure' into 'master' · 54b20a57
  Virgile Prevosto authored 5 years ago
  
  [server] notify when zmq not installed See merge request frama-c/frama-c!2373
  54b20a57
- [configure] automatic uppercasing of configure_pkg arg · 66656f76
  Virgile Prevosto authored 5 years ago
  
  66656f76
Oct 25, 2019
- [fc-scripts] fix typo in exit code · 4176483e
  Andre Maroneze authored 5 years ago
  
  4176483e
Oct 24, 2019
- Merge branch 'fix/eva/meta-option-precision' into 'master' · 76af9569
  Andre Maroneze authored 5 years ago
  
  [Eva] Adjusts the values of the meta option -eva-precision. See merge request frama-c/frama-c!2424
  76af9569
- [Eva] Adjusts the values of the meta option -eva-precision. · 7a1cb211
  David Bühler authored 5 years ago
  
  7a1cb211
- [server] use configure macro to warn about missing zmq; yojson is now mandatory · a541cb19
  Andre Maroneze authored 5 years ago
  
  These macros should help configuring optional opam packages.
  a541cb19
- [configure] add macros configure_pkg and plugin_[use/require]_pkg · cecabd0a
  Andre Maroneze authored 5 years ago
  
  cecabd0a
Oct 23, 2019
- Merge branch 'fix/eva/summary-coverage' into 'master' · 7bb966ab
  Andre Maroneze authored 5 years ago
  
  [Eva] Fixes the total number of functions in the summary. See merge request frama-c/frama-c!2416
  7bb966ab
- Merge branch 'feature/eva/auto-loop-unroll' into 'master' · 450bdcd7
  Andre Maroneze authored 5 years ago
  
  [Eva] Heuristic for automatic loop unrolling See merge request frama-c/frama-c!2345
  450bdcd7
- [Eva] Doc: slightly rewrites sections about -eva-auto-loop-unroll in the manual. · d4e857c8
  David Bühler authored 5 years ago
  
  d4e857c8
- Merge branch 'feature/andre/clean-licenses' into 'master' · 96638636
  Virgile Prevosto authored 5 years ago
  
  [Kernel] remove unused files and licenses Closes #724 See merge request frama-c/frama-c!2421
  96638636
Oct 22, 2019
- [Kernel] remove unused files and licenses · 186bdaef
  Andre Maroneze authored 5 years ago
  
  186bdaef