Commits · master · pub / frama-c

05 May, 2021 8 commits
- Merge branch 'fix/eva/infinite-constant' into 'master' · 87f3dca1
  Andre Maroneze authored May 05, 2021
```
[Eva] Fixes a crash on INFINITY with option -eva-all-rounding-modes-constants.

See merge request frama-c/frama-c!3178
```
  87f3dca1
- Merge branch 'fix/andre/eva-flamegraph-reset' into 'master' · 6ad93d4f
  David Bühler authored May 05, 2021
```
[Eva] avoid crash in -eva-flamegraph after reset

See merge request frama-c/frama-c!3180
```
  6ad93d4f
- [Eva] avoid crash in -eva-flamegraph after reset · d2b86fa0
  Andre Maroneze authored May 05, 2021
  
  d2b86fa0
- [Eva] Fixes a crash on INFINITY with option -eva-all-rounding-modes-constants. · 49e355e8
  David Bühler authored May 05, 2021
  
  49e355e8
- Merge branch 'fix/eva/red-status' into 'master' · 9fdd9961
  Andre Maroneze authored May 05, 2021
```
[Eva] Fixes a possible crash when reporting red statuses.

See merge request frama-c/frama-c!3177
```
  9fdd9961
- Merge branch 'feature/wp/script-name' into 'master' · 6edf3882
  Loïc Correnson authored May 05, 2021
```
[wp] Print script name in TIP

See merge request frama-c/frama-c!3167
```
  6edf3882
- [git] add linting commit to be ignored · 37677168
  Andre Maroneze authored May 05, 2021
  
  37677168
- [Eva] Fixes a possible crash when reporting red statuses. · 67470c7b
  David Bühler authored May 05, 2021
  
  67470c7b
04 May, 2021 8 commits
- Merge branch 'feature/andre/ci-eva-alternative-configs' into 'master' · ab0d080e
  David Bühler authored May 04, 2021
```
[CI] add pipeline stage for Eva alternative configs

See merge request frama-c/frama-c!3155
```
  ab0d080e
- [CI] Minor change for Eva alternative configs. · 271573dc
  David Bühler authored May 04, 2021
  
  271573dc
- [CI] add pipeline stage for Eva alternative configs; improve vtests script · 9b95c125
  Andre Maroneze authored Apr 26, 2021
  
  9b95c125
- Merge branch 'fix/eva/recursive-calls' into 'master' · 23e7d9b3
  David Bühler authored May 04, 2021
```
[Eva] Do not fail on recursive calls without specification.

See merge request frama-c/frama-c!3163
```
  23e7d9b3
- Merge branch 'fix/wp/assumes-normalization' into 'master' · db604585
  Loïc Correnson authored May 04, 2021
```
[wp] Fixes assumes normalization

See merge request frama-c/frama-c!3173
```
  db604585
- Merge branch 'feature/andre/userman-compliance' into 'master' · 163ec1ab
  David Bühler authored May 04, 2021
```
[Doc] add userman chapter about compliance

Closes #1007

See merge request frama-c/frama-c!3075
```
  163ec1ab
- [wp] Simpler pre normalization · 35d6e2da
  Allan Blanchard authored May 04, 2021
  
  35d6e2da
- [wp] Better comment about assumes normalization · d6689494
  Allan Blanchard authored May 04, 2021
  
  d6689494
03 May, 2021 8 commits
- Merge branch '988-ivette-frama-c-socket-name-must-be-short' into 'master' · 1419679d
  Virgile Prevosto authored May 03, 2021
```
Resolve "[Ivette] frama-c socket name must be short"

Closes #988

See merge request frama-c/frama-c!3159
```
  1419679d
- [wp] Fixes assumes normalization · 027d8a9e
  Allan Blanchard authored May 03, 2021
  
  027d8a9e
- Merge branch 'bugfix/thibaut/remove-undefined-behavior-in-test' into 'master' · 7f848c5f
  Julien Signoles authored May 03, 2021
```
[e-acsl] removed undefined behavior in a test

See merge request frama-c/frama-c!3171
```
  7f848c5f
- [e-acsl] removed undefined behavior in a test · 87682600
  Thibaut Benjamin authored May 03, 2021
  
  87682600
- [wp] Feedback on saved status for script file · d8db59aa
  Allan Blanchard authored May 03, 2021
  
  d8db59aa
- Apply 1 suggestion(s) to 1 file(s) · 660566c6
  Loïc Correnson authored May 03, 2021
  
  660566c6
- Merge branch 'fix/andre/build-src-release-mac' into 'master' · b0b977f9
  Allan Blanchard authored May 03, 2021
```
[Release] fix release script on macOS' sed

See merge request frama-c/frama-c!3165
```
  b0b977f9
- [wp] Print script name in TIP · c7a1d46b
  Allan Blanchard authored May 03, 2021
  
  c7a1d46b
30 Apr, 2021 16 commits
- [Release] remove usage of rgrep · 38eab3e5
  Andre Maroneze authored Apr 30, 2021
  
  38eab3e5
- [Release] fix release script on macOS' sed · cf5840cc
  Andre Maroneze authored Apr 30, 2021
  
  cf5840cc
- [Doc] userman: minor fixes in the compliance section. · 26f9a0d1
  David Bühler authored Apr 30, 2021
  
  26f9a0d1
- [Doc] userman: compliance: add a few more CWEs · d3e32a04
  Andre Maroneze authored Apr 30, 2021
  
  d3e32a04
- [Doc] userman: a few more fixes · adf3ebd6
  Andre Maroneze authored Apr 27, 2021
  
  adf3ebd6
- [Doc] userman: add links to CWEs; minor fixes · de2a59b0
  Andre Maroneze authored Apr 09, 2021
  
  de2a59b0
- [Doc] fixes and improvements to userman · 0de3f513
  Andre Maroneze authored Apr 09, 2021
  
  0de3f513
- [Doc] manuals: update Foreword and Acknowledgements sections · ef5cd50c
  Andre Maroneze authored Mar 29, 2021
  
  ef5cd50c
- [Doc] userman: minor update · 6d1e7ad2
  Andre Maroneze authored Mar 29, 2021
  
  6d1e7ad2
- [Doc] userman: update reference to ACSL documentation · 39047640
  Andre Maroneze authored Mar 29, 2021
  
  39047640
- [Doc] update copyright year in userman · 87abcf65
  Andre Maroneze authored Mar 29, 2021
  
  87abcf65
- [Doc] add note about UB CC.50 · ad448504
  Andre Maroneze authored Mar 24, 2021
  
  ad448504
- [Doc] userman: add table with RTE categories and UBs; and non-handled UBs · a9010b28
  Andre Maroneze authored Mar 05, 2021
  
  a9010b28
- [tests] add invalid_pointer tests related to UB 62 + flexible array members · 4bb04188
  Andre Maroneze authored Mar 24, 2021
  
  4bb04188
- [Doc] add userman chapter about compliance · c95719ba
  Andre Maroneze authored Feb 15, 2021
  
  c95719ba
- [Doc] add table parameter to xcolor, for longtable · 9e43785c
  Andre Maroneze authored Feb 16, 2021
  
  9e43785c