Commits · 66656f767c39fce474c668c6c53706e292b53057 · pub / frama-c · GitLab

Snippets Groups Projects

Oct 28, 2019
- [configure] automatic uppercasing of configure_pkg arg · 66656f76
  Virgile Prevosto authored 5 years ago
  
  66656f76
Oct 24, 2019
- [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
- [Doc/Eva] mention -eva-auto-loop-unroll in the Eva manual · 21802349
  Andre Maroneze authored 5 years ago
  
  21802349
- Merge branch 'feature/eva/doc-libc' into 'master' · 756f10ad
  David Bühler authored 5 years ago
  
  [Doc] add caveat about libc in Eva Closes #692 See merge request frama-c/frama-c!2420
  756f10ad
- Merge branch 'feature/automata-dataflow' into 'master' · 28e6d422
  David Bühler authored 5 years ago
  
  [Interpreted automata] Add a dataflow computation functor See merge request frama-c/frama-c!2243
  28e6d422
- [Doc] add caveat about libc in Eva · 16f6cd07
  Andre Maroneze authored 5 years ago and David Bühler committed 5 years ago
  
  16f6cd07
- [Eva] Adds a Changelog entry for the automatic loop unrolling. · 9c14d158
  David Bühler authored 5 years ago
  
  9c14d158
- [Eva] New test file for the automatic loop unrolling heuristic. · f26cf0af
  David Bühler authored 5 years ago
  
  f26cf0af
Oct 21, 2019
- [Kernel] Interpreted_automata: comments the dataflow functor. · 8ef8e80a
  David Bühler authored 5 years ago
  
  8ef8e80a
- [Interpreted automata] Add a dataflow computation functor · 6bc0ed2d
  Valentin Perrelle authored 5 years ago and David Bühler committed 5 years ago
  
  6bc0ed2d
- [Eva] Moves all files related to trace partitioning into partitioning/. · 37a1c7b4
  David Bühler authored 5 years ago
  
  37a1c7b4
- [Eva] Disables the automatic loop unrolling by default. · 8409b706
  David Bühler authored 5 years ago
  
  8409b706
- [LoopAnalysis] deprecate plug-in · ee5ae131
  Andre Maroneze authored 5 years ago and David Bühler committed 5 years ago
  
  ee5ae131
- [Eva] Updates test oracles of other plugins. · eec758df
  David Bühler authored 5 years ago
  
  eec758df
- [Eva] Updates test oracles. · d4f4058e
  David Bühler authored 5 years ago
  
  d4f4058e
- [Tests] Saveload: uses the @EVA_OPTIONS@ macro when running the Eva analysis. · 93b43d03
  David Bühler authored 5 years ago
  
  Fixes some tests when changing the @EVA_OPTIONS@ macros. This also removes the summary display at the end of the analyses.
  93b43d03
- [Eva] By default, disables the automatic loop unrolling in tests. · f9318600
  David Bühler authored 5 years ago
  
  f9318600
- [Eva] The meta option -eva-precison also controls -eva-auto-loop-unroll. · 032743c5
  David Bühler authored 5 years ago
  
  032743c5
- [Eva] Auto loop unroll: new strategy to reduce an expression from a condition. · bf21b441
  David Bühler authored 5 years ago
  
  Relies on the computation of the mathematical complement of ival.
  bf21b441
- [Eva] Ival: new function complement_int. · a2143efb
  David Bühler authored 5 years ago
  
  a2143efb
- [Eva] Relaxed heuristic for automatic loop unroll. · d2663a1f
  David Bühler authored 5 years ago
  
  d2663a1f
- [Eva] Heuristic for automatic loop unrolling. · d5a31905
  David Bühler authored 5 years ago
  
  The new option -eva-auto-loop-unroll defines the maximum limit of automatic loop unrolling.
  d5a31905
- [Eva] Moves "partitioning_parameters" into the "partitioning" directory. · 9baaa4f2
  David Bühler authored 5 years ago
  
  9baaa4f2
- [Eva] Moves "split_return" into the "partitioning" directory. · ea1d71ec
  David Bühler authored 5 years ago
  
  ea1d71ec
- [Eva] Renames directory slevel into partitioning. · a7f84fd5
  David Bühler authored 5 years ago
  
  a7f84fd5
- Merge branch 'fix/eva/doc' into 'master' · 6e6dd4bc
  Andre Maroneze authored 5 years ago
  
  [Eva] Reorganizes manual sources See merge request frama-c/frama-c!2419
  6e6dd4bc
- Merge branch 'feature/eva/octagons' into 'master' · 3d14e51f
  Andre Maroneze authored 5 years ago
  
  [Eva] New octagons domain See merge request frama-c/frama-c!2397
  3d14e51f
- Merge branch 'fix/virgile/anonymous-enum-libc' into 'master' · 99099cdd
  Andre Maroneze authored 5 years ago
  
  avoid name clashes when generating names for anonymous enum Closes #672 See merge request frama-c/frama-c!2406
  99099cdd
- [Eva] Removes unused file in doc/value/. · bd44e583
  David Bühler authored 5 years ago
  
  bd44e583
- [Eva] Documentation: uses 'latexmk -C' to clean up temporary files. · efdb8cec
  David Bühler authored 5 years ago
  
  Removes useless file main.idx
  efdb8cec
- [Eva] Adds a Changelog entry for the octagon domain. · 84aee1b2
  David Bühler authored 5 years ago
  
  84aee1b2
Oct 18, 2019
- [Eva] fix very minor typos · d215716e
  Andre Maroneze authored 5 years ago
  
  d215716e
- [Eva] use singular form for octagon domain · 83de5fb0
  Andre Maroneze authored 5 years ago
  
  83de5fb0
- [Eva] New tests config for the octagons domain. · 6c116aee
  David Bühler authored 5 years ago
  
  6c116aee