Commits · 136b4b319b6b0b928b7d99d7ed018a76e07db0cc · pub / frama-c · GitLab

Snippets Groups Projects

Jun 21, 2019
- Prepares the Changelog for the Potassium release. · 136b4b31
  David Bühler authored 5 years ago
  
  136b4b31
- Replaces Frama-C+dev by 19.0-Potassium in the ml documentation. · 6da58c0b
  David Bühler authored 5 years ago
  
  6da58c0b
- [WP] Fixes the Changelog format for the html generation. · b214d8df
  David Bühler authored 5 years ago
  
  b214d8df
- Merge branch 'bugfix/eva/doc-potassium' into 'stable/potassium' · 0c93bbf6
  David Bühler authored 5 years ago
  
  Bugfix/eva/doc potassium See merge request frama-c/frama-c!2287
  0c93bbf6
- [Eva] User manual: splits can only be performed on integer expressions. · 15c890d8
  David Bühler authored 5 years ago
  
  15c890d8
- [Eva] User manual: minor changes on the Value partitioning subsection. · c904a753
  David Bühler authored 5 years ago
  
  c904a753
- [Eva] User manual: minor changes in the automatic partitioning section. · 30742124
  David Bühler authored 5 years ago
  
  30742124
- [Eva] User manual: minor changes in the loop unrolling section. · 70ee900c
  David Bühler authored 5 years ago
  
  70ee900c
- [Eva] update documentation about trace partitioning · 0f5a5243
  Valentin Perrelle authored 5 years ago and David Bühler committed 5 years ago
  
  0f5a5243
- [Eva] Update section Loop Unrolling · 9bbfa14c
  Valentin Perrelle authored 5 years ago and David Bühler committed 5 years ago
  
  9bbfa14c
- [Eva] Update examples · 80677e96
  Valentin Perrelle authored 5 years ago and David Bühler committed 5 years ago
  
  80677e96
Jun 20, 2019
- Merge branch 'fix/configure' into 'stable/potassium' · 0b3353b7
  David Bühler authored 5 years ago
  
  [configure] fix issue with detection of gtksourceview for older OCaml install See merge request frama-c/frama-c!2288
  0b3353b7
- Merge branch 'fix/bsd-sed' into 'stable/potassium' · a004879e
  David Bühler authored 5 years ago
  
  Fix sed replacement argument for better compatibility with BSD See merge request frama-c/frama-c!2289
  a004879e
- [Makefile] fix sed replacement argument for better compatibility with BSD · 46c25efe
  Virgile Prevosto authored 5 years ago
  
  initial version of the patch contributed by madroach at https://bts.frama-c.com/view.php?id=2458
  46c25efe
- [configure] fix issue with detection of gtksourceview for older OCaml install · 0754cf76
  Virgile Prevosto authored 5 years ago
  
  0754cf76
Jun 19, 2019
- Merge branch 'fix/andre/opam-coq-build' into 'stable/potassium' · a543ae96
  François Bobot authored 5 years ago
  
  [opam] force Frama-C recompilation when Coq changes See merge request frama-c/frama-c!2283
  a543ae96
- Merge branch 'fix/wp/why3' into 'stable/potassium' · 68f9c80f
  François Bobot authored 5 years ago
  
  [wp] remove support for Why-3 IDE and improved manual See merge request frama-c/frama-c!2260
  68f9c80f
- [opam] alt-ergo-free OR alt-ergo version <= 2.2.0 · b72449cc
  Patrick Baudin authored 5 years ago
  
  b72449cc
- Force Frama-C recompilation when libraries changes · 88f9be73
  François Bobot authored 5 years ago
  
  because we use dynamic linking
  88f9be73
- [wp] fix test · 91c8062f
  Loïc Correnson authored 5 years ago and François Bobot committed 5 years ago
  
  91c8062f
- Merge branch 'fix/wp/float-comparisons' into 'stable/potassium' · 9e2280c3
  François Bobot authored 5 years ago
  
  [wp] fixed float comparisons See merge request frama-c/frama-c!2282
  9e2280c3
Jun 14, 2019
- Merge branch 'feature/stable/wp-fix-file-output-naming' into 'stable/potassium' · df88083d
  Loïc Correnson authored 5 years ago
  
  [WP] factorize uniqueness handling of properties id See merge request frama-c/frama-c!2284
  df88083d
- [WP] Prop name prettier in case of multiple call to the same function · 28f6ab6f
  François Bobot authored 5 years ago
  
  instead of caller_call_callee_requires_foo_2 we have caller_call_callee_2_requires_foo .
  28f6ab6f
- [WP] make sure that the prop_id names are unique · 3cf33668
  François Bobot authored 5 years ago
  
  3cf33668
- [WP] factorize uniqueness handling of properties id · 82e0bc22
  François Bobot authored 5 years ago
  
  82e0bc22
- Merge branch 'feature/andre/update-value-manual' into 'stable/potassium' · 7f023f91
  David Bühler authored 5 years ago
  
  Feature/andre/update value manual See merge request frama-c/frama-c!2265
  7f023f91
Jun 13, 2019
- [Eva] User manual: a few more details about the summary. · 5873b2a3
  David Bühler authored 5 years ago
  
  5873b2a3
- [Doc/Eva] user manual: minor typos and changes · e0140a1a
  Andre Maroneze authored 5 years ago
  
  e0140a1a
- [opam] force Frama-C recompilation when Coq changes · 9edc9f69
  Andre Maroneze authored 5 years ago
  
  9edc9f69
Jun 12, 2019
- [Doc/Eva] user manual: fix some typos, add section about summary · 52bc0082
  Andre Maroneze authored 5 years ago
  
  52bc0082
- [Eva] User manual: slightly rewrites FAQ about loop unrolling. · c9e4643d
  David Bühler authored 5 years ago
  
  c9e4643d
- [wp] fixed float comparisons · b94eca4b
  Loïc Correnson authored 5 years ago
  
  b94eca4b
- [Doc/Eva] standardize acknowledgments · 34988345
  Andre Maroneze authored 5 years ago
  
  34988345
- [Doc/Eva] remove obsolete FAQ about -no-pp-annot · cfde0a64
  Andre Maroneze authored 5 years ago
  
  cfde0a64
- [Doc/Eva] update FAQ about loop unrolling · fe127485
  Andre Maroneze authored 5 years ago
  
  fe127485
- [Doc/Eva] user manual: slevel bashing, mention of -eva-precision, updates · a68668e8
  Andre Maroneze authored 5 years ago
  
  a68668e8
Jun 11, 2019
- [Eva] User manual: fixes the paragraph on overflow in integer arithmetic. · 395a502a
  David Bühler authored 5 years ago
  
  395a502a
- [Eva] User manual: minor fixes. · fdca8716
  David Bühler authored 5 years ago
  
  fdca8716
- [Eva] User manual: fixes alarm warnings in example logs. · 7e373cab
  David Bühler authored 5 years ago
  
  7e373cab
Jun 07, 2019
- [Libc] Avoid using the variable name 'template' as it is a C++ reserved word · 527cf865
  DavidCok authored 5 years ago
  
  527cf865