Commits · 69f803b660ee8db8254c9b4a13fe2e727318a8d3 · pub / frama-c

09 Mar, 2018 1 commit
- Merge branch 'fix/andre/kernel-warn-error' into 'master' · 69f803b6
  Virgile Prevosto authored Mar 09, 2018
```
synchronize oracles against frama-c!1722

See merge request frama-c/e-acsl!201
```
  69f803b6
07 Mar, 2018 1 commit
- update oracles · 59699d74
  Virgile Prevosto authored Mar 05, 2018
  
  59699d74
05 Mar, 2018 1 commit
- Merge branch 'feature/andre/libc-script-check-naming' into 'master' · fed9daba
  Virgile Prevosto authored Mar 05, 2018
```
synchronize with frama-c/frama-c!1718

See merge request frama-c/e-acsl!200
```
  fed9daba
02 Mar, 2018 1 commit
- synchronize with frama-c/frama-c!1718 · 9c3696e9
  Andre Maroneze authored Mar 02, 2018
  
  9c3696e9
01 Mar, 2018 8 commits
- Merge branch 'feature/andre/libc-chrony' into 'master' · e17f4694
  Andre Maroneze authored Mar 01, 2018
```
sync with frama-c/frama-c!1662

See merge request frama-c/e-acsl!192
```
  e17f4694
- sync with frama-c/frama-c!1662 · a5d5a50f
  Andre Maroneze authored Feb 09, 2018
  
  a5d5a50f
- Merge branch 'feature/andre/restore-test-format-fprintf' into 'master' · 33d1bad1
  Julien Signoles authored Mar 01, 2018
```
[tests] avoid using mktemp in test

See merge request frama-c/e-acsl!199
```
  33d1bad1
- [tests] avoid using mktemp in test · 297b7d5d
  Andre Maroneze authored Mar 01, 2018
  
  297b7d5d
- Merge branch 'libc_precond_naming' into 'master' · cb922698
  Andre Maroneze authored Mar 01, 2018
```
Sync with frama-c/frama-c!1683

See merge request frama-c/e-acsl!195
```
  cb922698
- synchronize with frama-c/frama-c!1683 · f8df6960
  Andre Maroneze authored Mar 01, 2018
  
  f8df6960
- Merge branch 'feature/virgile/libc-annots' into 'master' · 985696d9
  Andre Maroneze authored Mar 01, 2018
```
synchronize with frama-c/frama-c!1549

See merge request frama-c/e-acsl!198
```
  985696d9
- synchronize with frama-c/frama-c!1549 · c27cc27a
  Andre Maroneze authored Mar 01, 2018
  
  c27cc27a
26 Feb, 2018 4 commits
- Merge branch 'feature/virgile/warning-categories' into 'master' · b25c91b2
  Andre Maroneze authored Feb 26, 2018
```
Auxiliary MR for warning categories

See merge request frama-c/e-acsl!196
```
  b25c91b2
- Use new method to disable EVA alarms warnings · 58f278df
  Virgile Prevosto authored Feb 19, 2018
  
  58f278df
- update oracles · 260c6eab
  Virgile Prevosto authored Feb 16, 2018
  
  260c6eab
- update against kernel API change · 10baddb3
  Virgile Prevosto authored Feb 14, 2018
  
  10baddb3
22 Feb, 2018 6 commits
- Merge branch 'kostyantyn/feature/format-functions' into 'master' · 672baa63
  Julien Signoles authored Feb 22, 2018
```
Kostyantyn/feature/format functions

See merge request frama-c/e-acsl!163
```
  672baa63
- [tests] deactivate the 'builtin' test suite for OCI · 78777fb2
  Julien Signoles authored Feb 22, 2018
  
  78777fb2
- [userman] update and document new options · 34e60bca
  Julien Signoles authored Feb 22, 2018
  
  34e60bca
- [userman] refer to undefined behavior detection in the introduction · 5243d251
  Julien Signoles authored Feb 22, 2018
  
  5243d251
- changelog · 101ef9f0
  Julien Signoles authored Feb 21, 2018
  
  101ef9f0
- [runtime] better ACSL contracts for RTL API · 501e7012
  Julien Signoles authored Feb 21, 2018
  
  501e7012
21 Feb, 2018 7 commits
- [runtime] improved API presentation · 3c92c4cf
  Julien Signoles authored Feb 21, 2018
  
  3c92c4cf
- [format] improve indentation and comments · 636d2c85
  Julien Signoles authored Feb 21, 2018
  
  636d2c85
- [builtin] indentation · 8cac90ff
  Julien Signoles authored Feb 21, 2018
  
  8cac90ff
- [builtins] improve valid_nstring and valid_nwstring · da431e97
  Julien Signoles authored Feb 21, 2018
  
  da431e97
- [vla] slightly reindent and move comments · 50721057
  Julien Signoles authored Feb 21, 2018
  
  50721057
- [Functions] remove useless internal API + improve Libc.get_printf_argument_str a bit · 7766c219
  Julien Signoles authored Feb 20, 2018
  
  7766c219
- [Functions] minor refactoring · 58fd9dd4
  Julien Signoles authored Feb 20, 2018
  
  58fd9dd4
20 Feb, 2018 11 commits
- Test oracle updates · 73c33a2e
  Kostyantyn Vorobyov authored Sep 28, 2017 and Julien Signoles committed Feb 20, 2018
  
  73c33a2e
- New tests · ca38c040
  Kostyantyn Vorobyov authored Sep 28, 2017 and Julien Signoles committed Feb 20, 2018
  
  ca38c040
- New options in e-acsl-gcc.sh · 4fb19e96
  Kostyantyn Vorobyov authored Sep 28, 2017 and Julien Signoles committed Feb 20, 2018
  
  4fb19e96
- Functionality to rewrite function names (format and libc replacements) · 0b2b2f42
  Kostyantyn Vorobyov authored Sep 28, 2017 and Julien Signoles committed Feb 20, 2018
  
  0b2b2f42
- allocated and writeable in RTL as functions instead of macros · 9e6a5430
  Kostyantyn Vorobyov authored Sep 28, 2017 and Julien Signoles committed Feb 20, 2018
  
  9e6a5430
- New functionality in the string module of RTL · 0c0b039c
  Kostyantyn Vorobyov authored Sep 28, 2017 and Julien Signoles committed Feb 20, 2018
  
  0c0b039c
- Couple of comments · 73ef7e4f
  Kostyantyn Vorobyov authored Sep 28, 2017 and Julien Signoles committed Feb 20, 2018
  
  73ef7e4f
- Declarations of format and replacement functions in RTL · 9e534858
  Kostyantyn Vorobyov authored Sep 28, 2017 and Julien Signoles committed Feb 20, 2018
  
  9e534858
- New --no-trace option in e-acsl-gcc.sh · dce2ebe6
  Kostyantyn Vorobyov authored Sep 28, 2017 and Julien Signoles committed Feb 20, 2018
  
  dce2ebe6
- Functionality to support rewriting function names in the instrumentation engine · 57ebba34
  Kostyantyn Vorobyov authored Sep 28, 2017 and Julien Signoles committed Feb 20, 2018
  
  57ebba34
- Added RTL module for handling format string vulnerabilities · 2ebed92b
  Kostyantyn Vorobyov authored Sep 28, 2017 and Julien Signoles committed Feb 20, 2018
  
  2ebed92b