Commits · babed3909d8a7def991cc55ec6cca12b68c31f3c · pub / frama-c · GitLab

Snippets Groups Projects

Jun 05, 2020
- [Doc] add link to Frama-C blog post about C-Reduce · babed390
  Andre Maroneze authored 4 years ago
  
  babed390
- [Doc] add section about required build information · d962647b
  Andre Maroneze authored 4 years ago
  
  d962647b
- [Doc] User manual: minor changes in the documentation of analysis-scripts. · b6f51172
  David Bühler authored 4 years ago
  
  b6f51172
Jun 03, 2020
- [Doc/Userman] add clarification about creduce having to be installed · a8523a93
  Andre Maroneze authored 4 years ago
  
  a8523a93
Jun 02, 2020
- [Userman] add documentation about analysis-scripts · 9974feac
  Andre Maroneze authored 4 years ago
  
  9974feac
- [Doc/Userman] fix make dependencies and extraneous word · ea83447d
  Andre Maroneze authored 4 years ago
  
  ea83447d
May 29, 2020
- Merge branch... · 61961f5e
  Andre Maroneze authored 4 years ago
  
  Merge branch '865-cannot-compile-frama-c-if-a-why3-version-unwanted-by-wp-is-installed' into 'stable/scandium' Resolve "Cannot compile Frama-C if a why3 version unwanted by WP is installed." See merge request frama-c/frama-c!2673
  61961f5e
- [devman] more configure.ac documentation · fae6b055
  Virgile Prevosto authored 4 years ago
  
  fae6b055
- [wp][config] don't check why3 version if why3 not installed · 00184197
  Virgile Prevosto authored 4 years ago
  
  00184197
- [wp] fix plugin_check_dependencies · 7b52e77f
  Loïc Correnson authored 4 years ago
  
  7b52e77f
- [configure] disable wp with ocamlfind · 1a4814b9
  Loïc Correnson authored 4 years ago
  
  1a4814b9
- [wp] Update configure.ac · 136bd977
  Loïc Correnson authored 4 years ago and Loïc Correnson committed 4 years ago
  
  136bd977
May 28, 2020
- [devman] documentation for configure_pkg macro · 3cc914a1
  Virgile Prevosto authored 4 years ago
  
  3cc914a1
- [wp][config] check presence of why3 _before_ checking its version number · 5c19e4f1
  Virgile Prevosto authored 4 years ago
  
  it's more logical that way.
  5c19e4f1
- [wp] fix why3 configuration issues · 29b8ec23
  Loïc Correnson authored 4 years ago
  
  29b8ec23
May 19, 2020
- [Changelog] further normalization for website generator · 9196bfac
  Andre Maroneze authored 4 years ago
  
  9196bfac
May 15, 2020
- Merge branch 'feature/andre/release-script-and-manuals' into 'stable/scandium' · f4c58515
  Andre Maroneze authored 4 years ago
  
  Feature/andre/release script and manuals See merge request frama-c/frama-c!2648
  21.0-beta
  
  f4c58515
- [Release] fixes to script for generating manuals · 0d5315d6
  Andre Maroneze authored 4 years ago
  
  0d5315d6
- [E-ACSL/Doc] refactor Makefiles of userman/refman · 6d3f12f5
  Andre Maroneze authored 4 years ago
  
  6d3f12f5
- [Release] Update release script for Gitlab and minor fixes · 814abe3d
  Andre Maroneze authored 4 years ago
  
  814abe3d
- [opam] update version and manual url · d99c6537
  Andre Maroneze authored 4 years ago
  
  d99c6537
- [release] small updates to release manual · a1098b88
  Virgile Prevosto authored 4 years ago
  
  a1098b88
- [release] proposal for parallelizing build of manuals in build-manuals.sh · 3988eb1a
  Virgile Prevosto authored 4 years ago
  
  3988eb1a
- [Doc/Userman] Normalize main target name · ebf1e7a7
  Andre Maroneze authored 4 years ago
  
  ebf1e7a7
May 14, 2020
- Merge branch 'fix/wp/wp-mkdir-session' into 'stable/scandium' · 03334023
  Andre Maroneze authored 4 years ago
  
  Fixes WP session directory creation See merge request frama-c/frama-c!2656
  03334023
- [wp] Use Extlib.mkdir for session directory · e1e97e47
  Allan Blanchard authored 4 years ago
  
  e1e97e47
- Merge branch 'feature/wp/update-provers-1.3.1' into 'stable/scandium' · 9a5c1d11
  Andre Maroneze authored 4 years ago
  
  [wp] upgrade prover versions See merge request frama-c/frama-c!2591
  9a5c1d11
May 13, 2020
- [opam] enforce compatible why3 versions · 257e7997
  Andre Maroneze authored 4 years ago
  
  257e7997
- [configure] check and enforce why3 version · 0f83d318
  Andre Maroneze authored 4 years ago
  
  0f83d318
- Merge branch 'fix/wp/weak-int-model' into 'stable/scandium' · a9f3e416
  Andre Maroneze authored 4 years ago
  
  [wp] introduce weak int model for lemmas See merge request frama-c/frama-c!2647
  a9f3e416
May 12, 2020
- Merge branch 'fix/blanchard/wp/recursive-logic-826' into 'stable/scandium' · f8079b19
  Andre Maroneze authored 4 years ago
  
  [wp] Fixes BTS 2501 See merge request frama-c/frama-c!2646
  f8079b19
- [wp] Visit each definition with a fresh set of visited terms · bc44516d
  Allan Blanchard authored 4 years ago
  
  Fixes BTS 2501
  bc44516d
- [E-ACSL/Doc] Avoid non-ASCII character in manual · 88fabd9f
  Andre Maroneze authored 4 years ago
  
  88fabd9f
- [Doc] Fix target name in Eva manual makefile · 1520a4b2
  Andre Maroneze authored 4 years ago
  
  1520a4b2
- Merge branch 'feature/andre/normalize-changelog' into 'stable/scandium' · 32dd5b49
  Andre Maroneze authored 4 years ago
  
  Feature/andre/normalize changelog See merge request frama-c/frama-c!2639
  32dd5b49
May 11, 2020
- [wp] introduce weak int model for lemmas · 379e0af8
  Loïc Correnson authored 4 years ago
  
  379e0af8
- Merge branch 'fix/mergecil/spec-on-anonymous-args' into 'stable/scandium' · f88abf5a
  Andre Maroneze authored 4 years ago
  
  [link] merge names of formals when old prototype has anonymous parameter See merge request frama-c/frama-c!2645
  f88abf5a
- [wp] cache & script update · 5a119396
  Loïc Correnson authored 4 years ago
  
  5a119396
- [wp] update cache · 0cc09ac9
  Loïc Correnson authored 4 years ago
  
  0cc09ac9
- [wp] fix some issues with Alt-Ergo · c5abda21
  Loïc Correnson authored 4 years ago
  
  c5abda21