Commits · bc4a7baae28ffb0c4f0277bd8fddface3c1199f7 · pub / frama-c · GitLab

Snippets Groups Projects

Nov 04, 2020
- [wp/doc] Reorganizes tactics documentation · bc4a7baa
  Allan Blanchard authored 4 years ago
  
  bc4a7baa
Nov 03, 2020
- Merge branch 'doc/wp/calls' into 'stable/titanium' · 76cf0424
  Allan Blanchard authored 4 years ago
  
  Improves WP `@calls` doc See merge request frama-c/frama-c!2925
  76cf0424
Nov 02, 2020
- Apply suggestion to src/plugins/wp/doc/manual/wp_plugin.tex · d069cd2d
  Allan Blanchard authored 4 years ago
  
  d069cd2d
- Merge branch 'fix/wp/coq-version-constraints' into 'stable/titanium' · 1c1b355b
  Loïc Correnson authored 4 years ago
  
  Fixes Wp-Coq version constraints See merge request frama-c/frama-c!2924
  1c1b355b
- Merge branch 'fix/wp/why3-prover-detection' into 'stable/titanium' · f9610df7
  Loïc Correnson authored 4 years ago
  
  Fix Why3 prover detection See merge request frama-c/frama-c!2926
  f9610df7
- Merge branch 'fix/andre/dockerfiles-dev-custom' into 'stable/titanium' · 2dd72a21
  Allan Blanchard authored 4 years ago
  
  [Dev] update opam dependencies; fix Python for tests See merge request frama-c/frama-c!2912
  2dd72a21
- [wp] Restore exact match as performed by Why3 · e5f87adf
  Allan Blanchard authored 4 years ago
  
  e5f87adf
- Merge branch 'fix/andre/test-math-oracles-macos' into 'stable/titanium' · a8e36734
  Allan Blanchard authored 4 years ago
  
  Fix/andre/test math oracles macos See merge request frama-c/frama-c!2919
  a8e36734
- [wp+opam] Adds a post-message for Why3 provers · 4c32277d
  Allan Blanchard authored 4 years ago
  
  4c32277d
- [wp] More robust prover filter · 17df8863
  Allan Blanchard authored 4 years ago
  
  17df8863
Oct 30, 2020
- [wp/doc] Details @calls annotation · 64347a62
  Allan Blanchard authored 4 years ago
  
  64347a62
- [wp] Fixes Coq compilation constraints · 025a3918
  Allan Blanchard authored 4 years ago
  
  025a3918
Oct 29, 2020
- Merge branch 'fix/parsing/logic-locations' into 'stable/titanium' · 3c57dedd
  Allan Blanchard authored 4 years ago
  
  [logic] ensure gcc-10 will not play with utf8 chars when preprocessing See merge request frama-c/frama-c!2913
  3c57dedd
- Merge branch 'fix/andre/test-cpp-command-oracle' into 'stable/titanium' · a3b82adb
  Allan Blanchard authored 4 years ago
  
  [Tests] avoid oracle diffs with non-default TMPDIRs (namely macOS) See merge request frama-c/frama-c!2918
  a3b82adb
- Merge branch 'fix/andre/aorai-oracles-tmpdir' into 'stable/titanium' · 50e61cc9
  Allan Blanchard authored 4 years ago
  
  [Aorai] avoid macOS issues with test oracles and Filename.get_temp_dir_name See merge request frama-c/frama-c!2917
  50e61cc9
- Merge branch 'fix/andre/fc-script-path2' into 'stable/titanium' · 8ce240e5
  Allan Blanchard authored 4 years ago
  
  Fix/andre/fc script path2 See merge request frama-c/frama-c!2921
  8ce240e5
- [analysis-scripts] fix issues in make-template and remove obsolete make-path · 9f505baa
  Andre Maroneze authored 4 years ago
  
  9f505baa
Oct 28, 2020
- [Tests] lower precision to avoid math oracle differences in macOS · fcb64146
  Andre Maroneze authored 4 years ago
  
  fcb64146
- [Tests] avoid diff in macOS due to missing newline in shell printf · 76f42508
  Andre Maroneze authored 4 years ago
  
  76f42508
- [aorai] avoid Filename.concat in test script · 70068673
  Virgile Prevosto authored 4 years ago and Andre Maroneze committed 4 years ago
  
  70068673
- [Aorai] avoid macOS issues with test oracles and Filename.get_temp_dir_name · 8fcad1f5
  Andre Maroneze authored 4 years ago
  
  8fcad1f5
- Removes automatically inserted end-of-line · cc18134c
  Allan Blanchard authored 4 years ago
  
  22.0-beta
  
  cc18134c
- [Tests] avoid oracle diffs with non-default TMPDIRs (namely macOS) · 8429888d
  Andre Maroneze authored 4 years ago
  
  8429888d
- Update WSL install procedure for 22-Titanium · e1e1aca2
  Allan Blanchard authored 4 years ago
  
  e1e1aca2
Oct 27, 2020
- Merge branch 'fix/callgraph/src-distrib' into 'stable/titanium' · 71300cf4
  Virgile Prevosto authored 4 years ago
  
  Fixes callgraph distributed files See merge request frama-c/frama-c!2916
  71300cf4
- [Callgraph] Fixes distributed files · 4c2d6d65
  Allan Blanchard authored 4 years ago
  
  4c2d6d65
- Fixes INSTALL and README for 22-Titanium · daa58e7f
  Allan Blanchard authored 4 years ago
  
  daa58e7f
- Merge branch 'bugfix/basile/eacsl-src-distrib' into 'stable/titanium' · 235ea1fe
  Allan Blanchard authored 4 years ago
  
  [eacsl] Fix E-ACSL source distribution See merge request frama-c/frama-c!2914
  235ea1fe
Oct 26, 2020
- [eacsl] Fix E-ACSL source distribution · 31326420
  Basile Desloges authored 4 years ago
  
  - Include all C files - Include dev oracles
  31326420
- [logic] ensure gcc-10 will not play with utf8 chars when preprocessing · 78218d98
  Virgile Prevosto authored 4 years ago
  
  Make MdR tests more robust against choice of pre-processor
  78218d98
- Changelog: updated missing date · 948d3da8
  Allan Blanchard authored 4 years ago
  
  948d3da8
Oct 23, 2020
- Fixes VERSION · f5f5bb6f
  Allan Blanchard authored 4 years ago
  
  f5f5bb6f
- Update opam doc link · 9787b4f3
  Allan Blanchard authored 4 years ago
  
  9787b4f3
- Update check-reference-configuration with the right Why3 command · 25cdee53
  Allan Blanchard authored 4 years ago
  
  25cdee53
- Update API doc for 22.0-Titanium · e594be20
  Allan Blanchard authored 4 years ago
  
  e594be20
- Makes update_api_doc case insensitive · 17ce379f
  Allan Blanchard authored 4 years ago
  
  17ce379f
- Update opam Frama-C version to 22.0-Titanium · 2e793f8e
  Allan Blanchard authored 4 years ago
  
  2e793f8e
- Update VERSION to 22.0-Titanium · 64b8b498
  Allan Blanchard authored 4 years ago
  
  64b8b498
- Update INSTALL for 22.0-Titanium · a09706fa
  Allan Blanchard authored 4 years ago
  
  a09706fa
- Prepare Changelogs for 22.0-Titanium · 51235bfa
  Allan Blanchard authored 4 years ago
  
  51235bfa