Commits · 67834b2a0cefc3bdc2fed6c6dde195d9c3cc9b7f · pub / frama-c

12 Apr, 2018 1 commit
- [Headers] Updates copyright year to 2018. · 67834b2a
  David Bühler authored Apr 12, 2018
  
  67834b2a
11 Apr, 2018 3 commits
- Merge branch 'fix/continue-annot-error-reset-env' into 'master' · 1ff62a38
  Andre Maroneze authored Apr 11, 2018
```
Avoid making auxiliary visit in an half-created project

See merge request frama-c/e-acsl!207
```
  1ff62a38
- Merge branch 'manually-fix-printf' into 'master' · 76feb5af
  Andre Maroneze authored Apr 11, 2018
```
update test oracle

See merge request frama-c/e-acsl!208
```
  76feb5af
- update test oracle · fa3f987e
  Andre Maroneze authored Apr 11, 2018
  
  fa3f987e
10 Apr, 2018 1 commit

Avoid making auxiliary visit in an half-created project · c63d958c

Virgile Prevosto authored Apr 10, 2018

It's better to stay in the original project and defer filling of
tables through dedicated mechanism offered by visitor API

c63d958c

09 Apr, 2018 4 commits
- Merge branch '422-log-fix-indent' into 'master' · f714389a
  Virgile Prevosto authored Apr 09, 2018
```
422 log fix indent

See merge request frama-c/e-acsl!206
```
  f714389a
- fix typo in warning message · 5e19fc88
  Virgile Prevosto authored Apr 06, 2018
  
  5e19fc88
- [oci] porting new standard flags to e-acsl's OCI invocations · 1a8d83c5
  Virgile Prevosto authored Apr 09, 2018
  
  1a8d83c5
- second round of oracle updates following kernel API change · 0a30f862
  Virgile Prevosto authored Apr 09, 2018
  
  0a30f862
04 Apr, 2018 2 commits
- Merge branch 'feature/fonenantsoa/let' into 'master' · 20f75b41
  Julien Signoles authored Apr 04, 2018
```
Support for let binding

See merge request frama-c/e-acsl!203
```
  20f75b41
- [refman] update appendix 'Changes' · 391646f7
  Julien Signoles authored Apr 04, 2018
  
  391646f7
30 Mar, 2018 6 commits
- Refman and Changelog. · 385e70f3
  Fonenantsoa Maurica authored Mar 30, 2018
  
  385e70f3
- Clear environment. · 22203ac6
  Fonenantsoa Maurica authored Mar 28, 2018 and Fonenantsoa Maurica committed Mar 30, 2018
  
  22203ac6
- ?ctx added when typing Tlet. · 7db479b9
  Fonenantsoa Maurica authored Mar 27, 2018 and Fonenantsoa Maurica committed Mar 30, 2018
  
  7db479b9
- Test for name capturing. · 5e1fe19c
  Fonenantsoa Maurica authored Mar 27, 2018 and Fonenantsoa Maurica committed Mar 30, 2018
  
  5e1fe19c
- Tests for let binding. · b887b41b
  Fonenantsoa Maurica authored Mar 23, 2018
  
  b887b41b
- Support for let binding. · fd59f66e
  Fonenantsoa Maurica authored Mar 28, 2018
  
  fd59f66e
29 Mar, 2018 3 commits
- Merge branch 'fix/andre/vla-generate-spec' into 'master' · b4567b26
  Virgile Prevosto authored Mar 29, 2018
```
sync with frama-c/frama-c!1756

See merge request frama-c/e-acsl!205
```
  b4567b26
- sync with frama-c/frama-c!1756 · 59118376
  Andre Maroneze authored Mar 22, 2018
  
  59118376
- Merge branch 'feature/andre/warn-missing-spec' into 'master' · 92910ea2
  Virgile Prevosto authored Mar 29, 2018
```
Synchronize with frama-c/frama-c!1723

See merge request frama-c/e-acsl!204
```
  92910ea2
28 Mar, 2018 1 commit
- synchronize with frama-c/frama-c!1723 · b7d5394b
  Andre Maroneze authored Mar 28, 2018
  
  b7d5394b
13 Mar, 2018 1 commit
- Merge branch 'fix/andre/libc-popen-pipe' into 'master' · 6b8742b1
  Valentin Perrelle authored Mar 13, 2018
```
synchronize with frama-c/frama-c!1730

See merge request frama-c/e-acsl!202
```
  6b8742b1
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
08 Mar, 2018 1 commit
- synchronize with frama-c/frama-c!1730 · 20db51ab
  Andre Maroneze authored Mar 08, 2018
  
  20db51ab
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 1 commit
- 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