Commits · 6121a9b4523d86ce788045dd997bfe2db534c5e5 · pub / frama-c

19 Feb, 2019 2 commits
- new option -e-acsl-functions · 6121a9b4
  Julien Signoles authored Feb 19, 2019
  
  6121a9b4
- [tests] update oracles wrt kernel and Eva's changes · 132b110d
  Julien Signoles authored Feb 19, 2019
  
  132b110d
06 Feb, 2019 1 commit
- Merge branch 'feature/andre/libc-posix-memalign' into 'master' · cd7c5b50
  Valentin Perrelle authored Feb 06, 2019
```
sync with frama-c!2126, and disable warn-key

See merge request frama-c/e-acsl!280
```
  cd7c5b50
05 Feb, 2019 1 commit
- sync with frama-c!2126, and disable warn-key · e668ed60
  Andre Maroneze authored Jan 24, 2019
  
  e668ed60
04 Feb, 2019 6 commits
- Merge branch 'bugfix/fonenantsoa/reentracy' into 'master' · b86db3f7
  Julien Signoles authored Feb 04, 2019
```
Partial fix for Issue #83

See merge request frama-c/e-acsl!276
```
  b86db3f7
- remove useless line · 7e18c306
  Julien Signoles authored Feb 04, 2019
  
  7e18c306
- changelog · bd53e59b
  Julien Signoles authored Feb 04, 2019
  
  bd53e59b
- - replace the global variable used in __e_acsl_globals_init by a static variable · 7fdf12a9
  Julien Signoles authored Feb 04, 2019
```
- refactoring of handling globals by adding new specific modules and simplifying the visitor
- improve efficiency of handling literal strings (was improperly of quadractic complexity, now linear)
```
  7fdf12a9
- [memory model] replace global variables used only locally by static local variables · 8bebaf22
  Julien Signoles authored Feb 04, 2019
  
  8bebaf22
- Prevent multiple calls to: · 71e00be0
  Fonenantsoa Maurica authored Jan 03, 2019 and Julien Signoles committed Feb 04, 2019
```
- globals_init
- memory_init
```
  71e00be0
31 Jan, 2019 1 commit
- Merge branch 'bugfix/fonenantsoa/tls-size' into 'master' · d7e7d4b0
  Julien Signoles authored Jan 31, 2019
```
TLS size

See merge request frama-c/e-acsl!275
```
  d7e7d4b0
25 Jan, 2019 1 commit
- Merge branch 'test-nix' into 'master' · 9aec3023
  François Bobot authored Jan 25, 2019
```
Update Frama-CI data

See merge request frama-c/e-acsl!279
```
  9aec3023
22 Jan, 2019 6 commits
- Merge remote-tracking branch 'origin/master' into test-nix · fa607b0a
  François Bobot authored Jan 22, 2019
  
  fa607b0a
- [nix] default branch is now master · c5997348
  François Bobot authored Jan 22, 2019
  
  c5997348
- Update nix/frama-ci.* · d2d60124
  François Bobot authored Jan 22, 2019
  
  d2d60124
- Update nix/frama-ci.* · 96a29d2f
  François Bobot authored Jan 22, 2019
  
  96a29d2f
- Merge branch 'feature/nix/add_ci_to_pathcrawler' into 'test-nix' · 9d77fd61
  François Bobot authored Jan 22, 2019
```
Update Frama-CI data

See merge request frama-c/e-acsl!255
```
  9d77fd61
- Update nix/frama-ci.* · a6edf82e
  François Bobot authored Jan 22, 2019
  
  a6edf82e
10 Jan, 2019 2 commits
- Merge branch 'feature/eva/nested-widenings' into 'master' · 9634a863
  Valentin Perrelle authored Jan 10, 2019
```
Synchronize with frama-c!2046: improve widening on nested loops

See merge request frama-c/e-acsl!277
```
  9634a863
- Updates an oracle. · 6003c0b9
  David Bühler authored Oct 19, 2018
  
  6003c0b9
03 Jan, 2019 1 commit

TLS size: · aa265cd0

Fonenantsoa Maurica authored Jan 03, 2019

- Modifiable with GCC flag without redefinition warning
- No overlapping with other segments when it's too big
- TODO: Overlapping can still occur if stack is too big

aa265cd0

17 Dec, 2018 1 commit
- Merge branch 'feature/valentin/ival-bitwise-operators' into 'master' · cb802b8f
  Andre Maroneze authored Dec 17, 2018
```
Changes in Ival interface

See merge request frama-c/e-acsl!274
```
  cb802b8f
04 Dec, 2018 1 commit
- Changes in Ival interface · adabf454
  Valentin Perrelle authored Dec 04, 2018
  
  adabf454
03 Dec, 2018 1 commit
- Merge branch 'feature/fonenantsoa/empty-quantification' into 'master' · 80bc9790
  Julien Signoles authored Dec 03, 2018
```
Empty quantification

See merge request frama-c/e-acsl!267
```
  80bc9790
02 Dec, 2018 3 commits
- Julien's review no.2: useless singleton test · d69deaaa
  Fonenantsoa Maurica authored Nov 30, 2018 and Fonenantsoa Maurica committed Dec 02, 2018
  
  d69deaaa
- Julien's review no.1: typos and style · 83ef442a
  Fonenantsoa Maurica authored Nov 30, 2018 and Fonenantsoa Maurica committed Dec 02, 2018
  
  83ef442a
- Empty quantif · 54670357
  Fonenantsoa Maurica authored Nov 15, 2018 and Fonenantsoa Maurica committed Dec 02, 2018
  
  54670357
28 Nov, 2018 3 commits
- version number · 839128f2
  Julien Signoles authored Nov 28, 2018
  
  839128f2
- Merge branch 'release/argon' into 'master' · 55f5a3f5
  Julien Signoles authored Nov 28, 2018
```
Release/argon

See merge request frama-c/e-acsl!273
```
  55f5a3f5
- Sets VERSION to 18.0 for the Argon release. · bddb2066
  Valentin Perrelle authored Nov 28, 2018
  
  bddb2066
23 Nov, 2018 1 commit
- Merge branch 'fix/andre/ptests-stdopt-log' into 'master' · a33923a0
  Virgile Prevosto authored Nov 23, 2018
```
sync with frama-c!2073

See merge request frama-c/e-acsl!266
```
  a33923a0
22 Nov, 2018 9 commits
- Merge branch 'julien/bugfix/no-more-rte-precond' into 'stable/argon' · b3060e4a
  Fonenantsoa Maurica authored Nov 22, 2018
```
[e-acsl-gcc] -rte-precond does not exist anymore

See merge request frama-c/e-acsl!268
```
  b3060e4a
- Merge branch 'cherry-pick-d8f5df30' into 'stable/argon' · 507c32b5
  Julien Signoles authored Nov 22, 2018
```
Merge branch 'fix/andre/typos' into 'master'

See merge request frama-c/e-acsl!272
```
  507c32b5
- Merge branch 'revert-d8f5df30' into 'stable/argon' · 30647a21
  Julien Signoles authored Nov 22, 2018
```
Revert "Merge branch 'fix/andre/typos' into 'master'"

See merge request frama-c/e-acsl!271
```
  30647a21
- Merge branch 'fix/andre/typos' into 'master' · d487ba08
  Julien Signoles authored Nov 22, 2018
```
fix several typos in comments

See merge request frama-c/e-acsl!270

(cherry picked from commit d8f5df30cd3ad9b43f2e3dfd717ff202ce261af3)

e41fc4c0 fix several typos in comments
```
  d487ba08
- Revert "Merge branch 'fix/andre/typos' into 'master'" · b240343a
  Julien Signoles authored Nov 22, 2018
```
This reverts merge request !270
```
  b240343a
- Merge branch 'fix/typo' into 'stable/argon' · 790f8b9a
  Julien Signoles authored Nov 22, 2018
```
Fixes a typo in comments.

See merge request frama-c/e-acsl!269
```
  790f8b9a
- Merge branch 'fix/andre/typos' into 'master' · e6ee335d
  Julien Signoles authored Nov 22, 2018
```
fix several typos in comments

See merge request frama-c/e-acsl!270
```
  e6ee335d
- fix several typos in comments · 887bddc5
  Andre Maroneze authored Nov 22, 2018
  
  887bddc5
- [e-acsl-gcc] -rte-precond does not exist anymore · 9a6bc250
  Julien Signoles authored Nov 22, 2018
  
  9a6bc250