Commits · 4ef4d40944a37fd551d007004aa5cfad098f5411 · pub / frama-c

08 Mar, 2019 2 commits
- sync with frama-c/frama-c!2148 · 4ef4d409
  Andre Maroneze authored Feb 12, 2019
  
  4ef4d409
- Merge branch 'feature/kernel/check-assertion' into 'master' · 5e135627
  Virgile Prevosto authored Mar 08, 2019
```
Synchronize with frama-c!2182: new assertion kind, assert or check.

See merge request frama-c/e-acsl!285
```
  5e135627
05 Mar, 2019 2 commits
- Merge branch 'bugfix/julien/calloc' into 'master' · 77667c71
  Julien Signoles authored Mar 05, 2019
```
[runtime] fix pre-invokation of calloc (as for malloc in a previous commit)

See merge request frama-c/e-acsl!287
```
  77667c71
- [runtime] fix pre-invokation of calloc (as for malloc in a previous commit) · 1a8010cf
  Julien Signoles authored Mar 05, 2019
  
  1a8010cf
27 Feb, 2019 1 commit
- Change in Frama-C kernel: new assertion kind, assert or check. · 265122cc
  David Bühler authored Feb 25, 2019
  
  265122cc
26 Feb, 2019 10 commits
- Merge branch 'feature/julien/partial_instrumentation' into 'master' · bedbdcbe
  Julien Signoles authored Feb 26, 2019
```
Partial Instrumentation

See merge request frama-c/e-acsl!284
```
  bedbdcbe
- [doc] experimental feature · 1bf18407
  Julien Signoles authored Feb 26, 2019
  
  1bf18407
- [doc] document __e_acsl_sound_verdict · 98ee14d4
  Julien Signoles authored Feb 26, 2019
  
  98ee14d4
- [doc] add missing example · 203c39eb
  Julien Signoles authored Feb 26, 2019
  
  203c39eb
- [doc] document option -e-acsl-instrument · a9f33a0c
  Julien Signoles authored Feb 26, 2019
  
  a9f33a0c
- accurate -> sound · f381ac50
  Julien Signoles authored Feb 26, 2019
  
  f381ac50
- [tests] update oracle wrt libc's changes · 1f11aebd
  Julien Signoles authored Feb 26, 2019
  
  1f11aebd
- changelog · 316fd0a0
  Julien Signoles authored Feb 25, 2019
  
  316fd0a0
- new option -e-acsl-instrument · c7b23b7f
  Julien Signoles authored Feb 25, 2019
  
  c7b23b7f
- [tests] deactivate tests of builtins · c53f545e
  Julien Signoles authored Feb 26, 2019
  
  c53f545e
22 Feb, 2019 2 commits
- Merge branch 'feature/virgile/no-fork' into 'master' · 142cb317
  Julien Signoles authored Feb 22, 2019
```
More robust tests for builtins

See merge request frama-c/e-acsl!283
```
  142cb317
- More robust tests for builtins · d58e0cba
  Virgile Prevosto authored Feb 22, 2019 and Julien Signoles committed Feb 22, 2019
  
  d58e0cba
20 Feb, 2019 1 commit
- Merge branch 'feature/julien/function_list' into 'master' · fde5f413
  Julien Signoles authored Feb 20, 2019
```
Liste blanche de fonctions contenant les annotations à monitorer

See merge request frama-c/e-acsl!282
```
  fde5f413
19 Feb, 2019 5 commits
- [tests] add test case for -e-acsl-functions · 6bf60d72
  Julien Signoles authored Feb 19, 2019
  
  6bf60d72
- [tests] add the 'special' dir to the test suite and update it · ce395916
  Julien Signoles authored Feb 19, 2019
  
  ce395916
- doc + changelog for -e-acsl-functions · 1f1895bc
  Julien Signoles authored Feb 19, 2019
  
  1f1895bc
- 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 1 commit
- 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