Commits · e0ceba9b3f2bd40f297d8c2795396db8e2adf0e2 · Charles Southerland / frama-c

24 Jun, 2020 3 commits
- Merge branch 'fix/andre/more-changelog-fixes' into 'stable/scandium' · e0ceba9b
  Andre Maroneze authored Jun 24, 2020
```
Fix/andre/more changelog fixes

See merge request frama-c/frama-c!2727
```
  e0ceba9b
- [Changelog] better normalization and minor fixes · 90d99d6b
  Andre Maroneze authored Jun 15, 2020
  
  90d99d6b
- [Distrib] include E-ACSL changelog in website · 694462ce
  Andre Maroneze authored Jun 22, 2020
  
  694462ce
23 Jun, 2020 3 commits
- Merge branch 'fix/wp/coq-region' into 'stable/scandium' · 7ff80eaa
  Andre Maroneze authored Jun 23, 2020
```
[wp] Coq region is a function

See merge request frama-c/frama-c!2721
```
  7ff80eaa
- Merge branch 'fix/wp/doc/versions' into 'stable/scandium' · 8e39a1cb
  Andre Maroneze authored Jun 23, 2020
```
[wp/doc] Fixes Why3 version for Scandium

See merge request frama-c/frama-c!2722
```
  8e39a1cb
- Merge branch 'fix/blanchard/wp/frame-lemmas-types' into 'stable/scandium' · 5a6ba46f
  Loïc Correnson authored Jun 23, 2020
```
[wp] Avoid name clash in frame lemmas generation

See merge request frama-c/frama-c!2718
```
  5a6ba46f
19 Jun, 2020 2 commits
- [wp/doc] Fixes Why3 version · f631a029
  Allan Blanchard authored Jun 19, 2020
  
  f631a029
- [wp] Coq region is a function · cab038c1
  Allan Blanchard authored Jun 19, 2020
  
  cab038c1
18 Jun, 2020 1 commit
- [wp] Avoid name clashes in Mchunk · 5fab3c2d
  Allan Blanchard authored Jun 18, 2020
  
  5fab3c2d
17 Jun, 2020 1 commit
- [wp] Fixes frame lemmas generation · b486f707
  Allan Blanchard authored Jun 17, 2020
  
  b486f707
11 Jun, 2020 6 commits
- update version number for final 21.0-Scandium release · c384486c
  Andre Maroneze authored Jun 10, 2020
  
  c384486c
- [Doc] remove Ubuntu 20.04 from WSL (issue with sleep) · f26c6871
  Andre Maroneze authored Jun 11, 2020
  
  f26c6871
- [Release] update release script · a4963b87
  Andre Maroneze authored Jun 11, 2020
  
  a4963b87
- [Doc/Release] update release manual · f13ae712
  Andre Maroneze authored Jun 11, 2020
  
  f13ae712
- [Doc] update blog URL · 9066b663
  Andre Maroneze authored Jun 11, 2020
  
  9066b663
- [Cil] fix 'since' tag after rebase · efd1f4ab
  Andre Maroneze authored Jun 11, 2020
  
  efd1f4ab
10 Jun, 2020 13 commits
- [E-ACSL] add missing dependency in man makefile · a044b29c
  Andre Maroneze authored Jun 10, 2020
  
  a044b29c
- [Doc] update version name in userman Changes · 16630e3a
  Andre Maroneze authored Jun 10, 2020
  
  16630e3a
- [Eva] remove section about analysis scripts (now in userman) · 0f36418d
  Andre Maroneze authored Jun 10, 2020
  
  0f36418d
- Merge branch 'fix/dpinto/eva-manual-typo' into 'stable/scandium' · c4b51c33
  Andre Maroneze authored Jun 10, 2020
```
Corrected a typo concerning C99 behaviour in Eva Manual

See merge request frama-c/frama-c!2701
```
  c4b51c33
- Merge branch 'bugfix/julien/e-acsl/init_rationals_from_integers' into 'stable/scandium' · e827554a
  Andre Maroneze authored Jun 10, 2020
```
Fix a soundness bug when initializing rationals from integers

See merge request frama-c/frama-c!2699
```
  e827554a
- [Eva] Corrected a typo concerning C99 behaviour in Eva Manual · f2feac48
  Dario Pinto authored Jun 10, 2020
  
  f2feac48
- Merge branch 'bugfix/julien/pub-issue-13' into 'stable/scandium' · c661f2a8
  Andre Maroneze authored Jun 10, 2020
```
[typing] fix bug when mixing integers and floats in annotations while -e-acsl-gmp-only is activated

See merge request frama-c/frama-c!2697
```
  c661f2a8
- [eacsl] Update changelog · 35e2e608
  Basile Desloges authored Jun 10, 2020
  
  35e2e608
- [e-acsl] fix tests · 8d4812c8
  Julien Signoles authored Jun 10, 2020
  
  8d4812c8
- [e-acsl] fix GMP's API · acbfa65d
  Julien Signoles authored Jun 10, 2020
  
  acbfa65d
- [e-acsl] fix soundness bug when initializing rationals from integers · c26e1a29
  Julien Signoles authored Jun 10, 2020
  
  c26e1a29
- [eacsl] Update changelog · 3b09672b
  Basile Desloges authored Jun 10, 2020
  
  3b09672b
- [typing] fix bug when mixing integers and floats in annotations while -e-acsl-gmp-only is activated · 028ba29c
  Julien Signoles authored Jun 10, 2020 and Basile Desloges committed Jun 10, 2020
  
  028ba29c
08 Jun, 2020 4 commits
- Merge branch 'fix/andre/opam-descr' into 'stable/scandium' · 86cc6987
  Andre Maroneze authored Jun 08, 2020
```
Fix/andre/opam descr

See merge request frama-c/frama-c!2693
```
  86cc6987
- [opam] update description format according to opam preferences · 6bc253c7
  Andre Maroneze authored Jun 08, 2020
  
  6bc253c7
- Merge branch 'fix/andre/install-wsl-ubuntu-20.04' into 'stable/scandium' · e33266a9
  Andre Maroneze authored Jun 08, 2020
```
[Doc] update installation instructions for WSL + Ubuntu 20.04

See merge request frama-c/frama-c!2691
```
  e33266a9
- [Doc] update installation instructions for WSL + Ubuntu 20.04 · ab04eac9
  Andre Maroneze authored Jun 08, 2020
  
  ab04eac9
05 Jun, 2020 5 commits
- Merge branch 'feature/andre/doc-analysis-scripts' into 'stable/scandium' · a2877a69
  David Bühler authored Jun 05, 2020
```
Feature/andre/doc analysis scripts

See merge request frama-c/frama-c!2683
```
  a2877a69
- [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 2 commits
- [Doc/Userman] add clarification about creduce having to be installed · a8523a93
  Andre Maroneze authored Jun 03, 2020
  
  a8523a93
- Merge branch 'feature/blanchard/wp/type-constraint' into 'stable/scandium' · bea6174b
  Loïc Correnson authored Jun 03, 2020
```
[wp] Adds type constraints on MemTyped chunks

See merge request frama-c/frama-c!2671
```
  bea6174b