Commits · 3233ef7572a64fc7d69092ac62d38eacb0ac4f5a · pub / frama-c · GitLab

Snippets Groups Projects

Sep 30, 2019
- Merge branch 'feature/wp/fix-install' into 'master' · 3233ef75
  Andre Maroneze authored 5 years ago
  
  [dev & wp] fix install See merge request frama-c/frama-c!2388
  3233ef75
- [install] rewordings and update known working configuration · 601200b7
  Andre Maroneze authored 5 years ago
  
  601200b7
- [install] normalize Why3; add link to website · 4a62e154
  Andre Maroneze authored 5 years ago
  
  4a62e154
- [install] installation of external provers · 7b3b5861
  Loïc Correnson authored 5 years ago
  
  7b3b5861
- [install] alt-ergo is already required by frama-c · efaf302e
  Loïc Correnson authored 5 years ago
  
  efaf302e
- [install] why3 is already required by frama-c · 7b5a8798
  Loïc Correnson authored 5 years ago
  
  7b5a8798
- [install] fix typos · bec2a974
  Loïc Correnson authored 5 years ago
  
  bec2a974
- [install.md] fix installation on Mac OS · 117c780c
  Loïc Correnson authored 5 years ago
  
  117c780c
- [install.md] fix installation instructions for WP · 1c457f18
  Loïc Correnson authored 5 years ago
  
  1c457f18
- [opam] fix for wp · 23dc0c27
  Loïc Correnson authored 5 years ago
  
  - deprecation messages for alt[gr]-ergo and coq[ide] - require why3 >= 1.2.0 (includes conflicts with why3-base) - no more need for why3-coq
  23dc0c27
- [wp/alt-ergo] fix resources for div & bits · 21cfcf58
  Loïc Correnson authored 5 years ago
  
  21cfcf58
- [wp/alt-ergo] fix install for ArcTrigo · c2bf17cc
  Loïc Correnson authored 5 years ago
  
  c2bf17cc
- Merge branch 'fix/release-opam-instructions' into 'master' · 92bc0b33
  Andre Maroneze authored 5 years ago
  
  Update opam stage instruction in release manual See merge request frama-c/frama-c!2399
  92bc0b33
- [doc/release] clarification about local usage of opam repository · b5624594
  Andre Maroneze authored 5 years ago
  
  b5624594
- Merge branch 'bugfix/patrick/libc-stdlib-exit' into 'master' · 0216b472
  Virgile Prevosto authored 5 years ago
  
  [libC] fixes specification of abort and exit functions Closes #684 See merge request frama-c/frama-c!2331
  0216b472
Sep 27, 2019
- [doc/release] optional step to check locally the validity of opam package · 7351b4b6
  Virgile Prevosto authored 5 years ago
  
  7351b4b6
- [doc/release] fixes opam package update instructions · 0d24ae37
  Virgile Prevosto authored 5 years ago
  
  0d24ae37
- [libC] fixes specification of abort and exit functions: adding a test for wp plugin · 88196f7a
  Patrick Baudin authored 5 years ago and Virgile Prevosto committed 5 years ago
  
  88196f7a
- [libC] fixes specification of abort and exit functions · e42bdaeb
  Patrick Baudin authored 5 years ago and Virgile Prevosto committed 5 years ago
  
  e42bdaeb
- [Inout] Fixes the location computed for \exit_status in assigns clauses. · 54ca5b81
  David Bühler authored 5 years ago and Virgile Prevosto committed 5 years ago
  
  Handles \exit_status exactly as \result.
  54ca5b81
- Update Changelog after merging !2369 · d8fd486b
  Virgile Prevosto authored 5 years ago
  
  d8fd486b
- Merge branch 'fix/indent' into 'master' · 813fc727
  Virgile Prevosto authored 5 years ago
  
  Fixes indentation for ocp-indent 1.7 See merge request frama-c/frama-c!2369
  813fc727
- reindentation wrt 1.7.0 after rebase · 29b7cd94
  Virgile Prevosto authored 5 years ago
  
  29b7cd94
- Uses ocp-indent 1.7.0 in continuous integration. · 58af647d
  David Bühler authored 5 years ago and Virgile Prevosto committed 5 years ago
  
  58af647d
- [Makefile] Requires ocp-indent >= 1.7.0 · b28816ba
  David Bühler authored 5 years ago and Virgile Prevosto committed 5 years ago
  
  b28816ba
- Fixes the indentation for ocp-indent 1.7. · 3b6d99bd
  David Bühler authored 5 years ago and Virgile Prevosto committed 5 years ago
  
  3b6d99bd
- [Makefile] Uses UTF8 encoding for the ocamldoc generation. · 09778101
  David Bühler authored 5 years ago and Virgile Prevosto committed 5 years ago
  
  09778101
- [Eva] Traces domain: removes a compilation warning. · 6db87009
  David Bühler authored 5 years ago
  
  6db87009
Sep 26, 2019
- Merge branch 'feature/wp/auto-session' into 'master' · b7e7e0a7
  Allan Blanchard authored 5 years ago
  
  [wp] use ./.frama-c/wp for cache & scripts See merge request frama-c/frama-c!2395
  b7e7e0a7
- [WP] Typo in manual · a8892b9d
  Allan Blanchard authored 5 years ago
  
  a8892b9d
- fix indentation · 5e4de8a2
  Virgile Prevosto authored 5 years ago
  
  5e4de8a2
- Merge branch 'stable/potassium' · 374cf5ca
  Virgile Prevosto authored 5 years ago
  
  374cf5ca
Sep 25, 2019
- [wp] updated documentation · 56b865fe
  Loïc Correnson authored 5 years ago
  
  56b865fe
- [wp] use ./.frama-c/wp for cache & scripts · e0f05ad5
  Loïc Correnson authored 5 years ago
  
  e0f05ad5
Sep 24, 2019
- Merge branch 'feature/wp/blanchard/remove-unused-options' into 'master' · f4f8203f
  Loïc Correnson authored 5 years ago
  
  Remove unused options in WP parameters See merge request frama-c/frama-c!2390
  f4f8203f
Sep 23, 2019
- Merge branch '715-assigns-qui-impacte-la-preuve-d-un-require-avec-predicat' into 'master' · 111b63bc
  Allan Blanchard authored 5 years ago
  
  Resolve "Assigns qui impacte la preuve d'un require avec prédicat" Closes #715 See merge request frama-c/frama-c!2394
  111b63bc
Sep 19, 2019
- Merge branch 'feature/blanchard/ghost-pretty-printing' into 'master' · 2ae598f0
  Julien Signoles authored 5 years ago
  
  [AST Printing] Changes handling of ghost code See merge request frama-c/frama-c!2374
  2ae598f0
- lint · ffd601f1
  Julien Signoles authored 5 years ago
  
  ffd601f1
- [printer] improved comment · 4a5b331b
  Julien Signoles authored 5 years ago
  
  4a5b331b
- [wp] fix start-of array across all models · 40fdd752
  Loïc Correnson authored 5 years ago
  
  40fdd752