Commits · 01ec9c330becc1dbe7eff85d46124590f0be7deb · Charles Southerland / frama-c

05 Jun, 2020 4 commits
- [Doc] User manual: mentions frama-c-script make-template earlier. · 01ec9c33
  David Bühler authored Jun 05, 2020
  
  01ec9c33
- [Doc] add link to Frama-C blog post about C-Reduce · babed390
  Andre Maroneze authored Jun 05, 2020
  
  babed390
- [Doc] add section about required build information · d962647b
  Andre Maroneze authored Jun 05, 2020
  
  d962647b
- [Doc] User manual: minor changes in the documentation of analysis-scripts. · b6f51172
  David Bühler authored Jun 05, 2020
  
  b6f51172
03 Jun, 2020 1 commit
- [Doc/Userman] add clarification about creduce having to be installed · a8523a93
  Andre Maroneze authored Jun 03, 2020
  
  a8523a93
02 Jun, 2020 2 commits
- [Userman] add documentation about analysis-scripts · 9974feac
  Andre Maroneze authored May 30, 2020
  
  9974feac
- [Doc/Userman] fix make dependencies and extraneous word · ea83447d
  Andre Maroneze authored Jun 02, 2020
  
  ea83447d
29 May, 2020 6 commits
- Merge branch... · 61961f5e
  Andre Maroneze authored May 29, 2020
```
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 May 29, 2020
  
  fae6b055
- [wp][config] don't check why3 version if why3 not installed · 00184197
  Virgile Prevosto authored May 29, 2020
  
  00184197
- [wp] fix plugin_check_dependencies · 7b52e77f
  Loïc Correnson authored May 29, 2020
  
  7b52e77f
- [configure] disable wp with ocamlfind · 1a4814b9
  Loïc Correnson authored May 29, 2020
  
  1a4814b9
- [wp] Update configure.ac · 136bd977
  Loïc Correnson authored May 29, 2020 and Loïc Correnson committed May 29, 2020
  
  136bd977
28 May, 2020 3 commits
- [devman] documentation for configure_pkg macro · 3cc914a1
  Virgile Prevosto authored May 27, 2020
  
  3cc914a1
- [wp][config] check presence of why3 _before_ checking its version number · 5c19e4f1
  Virgile Prevosto authored May 27, 2020
```
it's more logical that way.
```
  5c19e4f1
- [wp] fix why3 configuration issues · 29b8ec23
  Loïc Correnson authored May 26, 2020
  
  29b8ec23
19 May, 2020 1 commit
- [Changelog] further normalization for website generator · 9196bfac
  Andre Maroneze authored May 19, 2020
  
  9196bfac
15 May, 2020 8 commits
- Merge branch 'feature/andre/release-script-and-manuals' into 'stable/scandium' · f4c58515
  Andre Maroneze authored May 15, 2020
```
Feature/andre/release script and manuals

See merge request frama-c/frama-c!2648
```
  f4c58515
- [Release] fixes to script for generating manuals · 0d5315d6
  Andre Maroneze authored May 15, 2020
  
  0d5315d6
- [E-ACSL/Doc] refactor Makefiles of userman/refman · 6d3f12f5
  Andre Maroneze authored May 14, 2020
  
  6d3f12f5
- [Release] Update release script for Gitlab and minor fixes · 814abe3d
  Andre Maroneze authored May 11, 2020
  
  814abe3d
- [opam] update version and manual url · d99c6537
  Andre Maroneze authored May 14, 2020
  
  d99c6537
- [release] small updates to release manual · a1098b88
  Virgile Prevosto authored May 12, 2020
  
  a1098b88
- [release] proposal for parallelizing build of manuals in build-manuals.sh · 3988eb1a
  Virgile Prevosto authored May 12, 2020
  
  3988eb1a
- [Doc/Userman] Normalize main target name · ebf1e7a7
  Andre Maroneze authored May 12, 2020
  
  ebf1e7a7
14 May, 2020 3 commits
- Merge branch 'fix/wp/wp-mkdir-session' into 'stable/scandium' · 03334023
  Andre Maroneze authored May 14, 2020
```
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 May 14, 2020
  
  e1e97e47
- Merge branch 'feature/wp/update-provers-1.3.1' into 'stable/scandium' · 9a5c1d11
  Andre Maroneze authored May 14, 2020
```
[wp] upgrade prover versions

See merge request frama-c/frama-c!2591
```
  9a5c1d11
13 May, 2020 3 commits
- [opam] enforce compatible why3 versions · 257e7997
  Andre Maroneze authored May 13, 2020
  
  257e7997
- [configure] check and enforce why3 version · 0f83d318
  Andre Maroneze authored May 13, 2020
  
  0f83d318
- Merge branch 'fix/wp/weak-int-model' into 'stable/scandium' · a9f3e416
  Andre Maroneze authored May 13, 2020
```
[wp] introduce weak int model for lemmas

See merge request frama-c/frama-c!2647
```
  a9f3e416
12 May, 2020 5 commits
- Merge branch 'fix/blanchard/wp/recursive-logic-826' into 'stable/scandium' · f8079b19
  Andre Maroneze authored May 12, 2020
```
[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 May 11, 2020
```
Fixes BTS 2501
```
  bc44516d
- [E-ACSL/Doc] Avoid non-ASCII character in manual · 88fabd9f
  Andre Maroneze authored May 11, 2020
  
  88fabd9f
- [Doc] Fix target name in Eva manual makefile · 1520a4b2
  Andre Maroneze authored May 11, 2020
  
  1520a4b2
- Merge branch 'feature/andre/normalize-changelog' into 'stable/scandium' · 32dd5b49
  Andre Maroneze authored May 12, 2020
```
Feature/andre/normalize changelog

See merge request frama-c/frama-c!2639
```
  32dd5b49
11 May, 2020 4 commits
- [wp] introduce weak int model for lemmas · 379e0af8
  Loïc Correnson authored May 11, 2020
  
  379e0af8
- Merge branch 'fix/mergecil/spec-on-anonymous-args' into 'stable/scandium' · f88abf5a
  Andre Maroneze authored May 11, 2020
```
[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 May 11, 2020
  
  5a119396
- [wp] update cache · 0cc09ac9
  Loïc Correnson authored May 11, 2020
  
  0cc09ac9