Commits · e1f0364f38b0a530a358c3b057b2b1ba90065957 · pub / frama-c

20 Feb, 2018 3 commits
- Added a couple of new options for format and builtin RTL functions · e1f0364f
  Kostyantyn Vorobyov authored Sep 28, 2017 and Julien Signoles committed Feb 20, 2018
  
  e1f0364f
- Handle variable-length arrays · 37e0deb5
  Kostyantyn Vorobyov authored Aug 04, 2017 and Julien Signoles committed Feb 20, 2018
  
  37e0deb5
- Refactoring operations on functions into their own module · d53caa3e
  Kostyantyn Vorobyov authored Aug 04, 2017 and Julien Signoles committed Feb 20, 2018
  
  d53caa3e
16 Feb, 2018 2 commits
- Merge branch 'julien/bugfix/__e_acsl_offset' into 'master' · 4f5b36bb
  Julien Signoles authored Feb 16, 2018
```
function __e_acsl_offset now returns size_t (fixed gitlab issue #10)

Closes #10

See merge request frama-c/e-acsl!194
```
  4f5b36bb
- function __e_acsl_offset now returns size_t (fixed gitlab issue #10) · eb223ff0
  Julien Signoles authored Feb 16, 2018
  
  eb223ff0
15 Feb, 2018 2 commits
- Merge branch 'fix/eva/pointer-comparable' into 'master' · 7fa2cffe
  Andre Maroneze authored Feb 15, 2018
```
Updates a test oracle to synchronize with frama-c/frama-c!1668.

See merge request frama-c/e-acsl!193
```
  7fa2cffe
- Updates a test oracle to synchronize with frama-c/frama-c!1668. · 7d446618
  David Bühler authored Feb 15, 2018
  
  7d446618
13 Feb, 2018 2 commits
- Merge branch 'feature/andre/newer-remove-alloced' into 'master' · 900ab734
  David Bühler authored Feb 13, 2018
```
sync with frama-c/frama-c!1618

See merge request frama-c/e-acsl!183
```
  900ab734
- sync with frama-c/frama-c!1618 · 09031f36
  Andre Maroneze authored Jan 23, 2018 and David Bühler committed Feb 13, 2018
  
  09031f36
07 Feb, 2018 3 commits
- Merge branch 'bugfix/julien/mkBinOp' into 'master' · 37881680
  Virgile Prevosto authored Feb 07, 2018
```
fix typing in presence of comparison operators (gitlab issue 49)

Closes #49

See merge request frama-c/e-acsl!191
```
  37881680
- backport ugly cppo OCI fix from kernel · cb00dea6
  Virgile Prevosto authored Feb 07, 2018
  
  cb00dea6
- fix typing in presence of comparison operators (gitlab issue 49) · f3500fa5
  Virgile Prevosto authored Feb 07, 2018
  
  f3500fa5
06 Feb, 2018 2 commits
- Merge branch 'feature/eva/pointer-comparable' into 'master' · 1f41a63f
  Andre Maroneze authored Feb 06, 2018
```
sync with frama-c/frama-c!1644

See merge request frama-c/e-acsl!190
```
  1f41a63f
- sync with frama-c/frama-c!1644 · 35d7dc09
  Andre Maroneze authored Feb 06, 2018
  
  35d7dc09
30 Jan, 2018 3 commits
- [changelog] add entry for last MR fixing git issue #52 · 6843a783
  Julien Signoles authored Jan 30, 2018
  
  6843a783
- Merge branch 'fix/setrlimit' into 'master' · 701d67d1
  Julien Signoles authored Jan 30, 2018
```
Take into account rlim_max when trying to set stack size

Closes #52

See merge request frama-c/e-acsl!189
```
  701d67d1
- Take into account rlim_max when trying to set stack size · 6a2d3142
  Virgile Prevosto authored Jan 30, 2018
```
Fixes issue #52
```
  6a2d3142
24 Jan, 2018 1 commit
- Merge branch 'fix/andre/realloc-returns-null' into 'master' · dc9a75c8
  David Bühler authored Jan 24, 2018
```
sync with frama-c/frama-c!1646

See merge request frama-c/e-acsl!188
```
  dc9a75c8
23 Jan, 2018 1 commit
- sync with frama-c/frama-c!1646 · 02179b0a
  Andre Maroneze authored Jan 23, 2018
  
  02179b0a
22 Jan, 2018 2 commits
- Merge branch 'fix/oracles' into 'master' · 67d70c32
  Julien Signoles authored Jan 22, 2018
```
update oracle - sync with frama-c master

See merge request frama-c/e-acsl!187
```
  67d70c32
- update oracle - sync with frama-c master · 88f56229
  Andre Maroneze authored Jan 22, 2018
  
  88f56229
15 Jan, 2018 2 commits
- Merge branch 'fix/andre/initialisation-spelling' into 'master' · 9a8c09d7
  Julien Signoles authored Jan 15, 2018
```
sync with frama-c/master!1630

See merge request frama-c/e-acsl!186
```
  9a8c09d7
- sync with frama-c/master!1630 · 2ba9abd5
  Andre Maroneze authored Jan 15, 2018
  
  2ba9abd5
11 Jan, 2018 4 commits
- Merge branch 'feature/eva/preconds-builtins' into 'master' · 7b4723a8
  David Bühler authored Jan 11, 2018
```
Synchronize with trunk (frama-c/frama-c!1572)

See merge request frama-c/e-acsl!178
```
  7b4723a8
- Update oracles with MR frama-c/frama-c!1572. · 920b9528
  Boris Yakobowski authored Dec 04, 2017 and David Bühler committed Jan 11, 2018
```
- changes in libc numbers
- warning on unknown preconds are now reported at callsite
```
  920b9528
- Merge branch 'feature/andre/simplify-tests' into 'master' · aa1aa9ac
  Julien Signoles authored Jan 11, 2018
```
[tests] remove unnecessary Eva options

See merge request frama-c/e-acsl!185
```
  aa1aa9ac
- [tests] remove unnecessary Eva options · 0d7deb4a
  Andre Maroneze authored Jan 11, 2018
  
  0d7deb4a
08 Jan, 2018 3 commits
- preparing E-ACSL bugfix release for Vessedia · d2a43a13
  Julien Signoles authored Jan 08, 2018
  
  d2a43a13
- Merge branch 'bugfix/julien/postcondition' into 'master' · 59729d74
  Julien Signoles authored Jan 08, 2018
```
fix crash when translating a postcondition that generates local variables

See merge request frama-c/e-acsl!184
```
  59729d74
- fix crash when translating a postcondition that generates local variables · f2ce5c29
  Julien Signoles authored Jan 08, 2018
  
  f2ce5c29
20 Dec, 2017 2 commits
- Merge branch 'fix/ocamldoc-gen' into 'master' · 076ca9eb
  Julien Signoles authored Dec 20, 2017
```
allows ocamldoc html generation to succeed

See merge request frama-c/e-acsl!181
```
  076ca9eb
- Merge branch 'fix/headers' into 'master' · 39cc6ad6
  Julien Signoles authored Dec 20, 2017
```
[headers] skip first line starting by '#!' for 'script.sh' files

See merge request frama-c/e-acsl!182
```
  39cc6ad6
18 Dec, 2017 2 commits
- [headers] move '#!/bin/..' line as the first line · 1aaa18e1
  Patrick Baudin authored Dec 18, 2017
  
  1aaa18e1
- [headers] skip first line starting by '#!' for 'script.sh' files · 35fe842c
  Patrick Baudin authored Dec 18, 2017
  
  35fe842c
15 Dec, 2017 2 commits
- Merge branch 'feature/andre/libc-misc-improvements' into 'master' · 33f8fd57
  Virgile Prevosto authored Dec 15, 2017
```
sync with frama-c/frama-c!1602

See merge request frama-c/e-acsl!180
```
  33f8fd57
- allows ocamldoc html generation to succeed · 5d903923
  Virgile Prevosto authored Dec 15, 2017
  
  5d903923
14 Dec, 2017 1 commit
- Merge branch 'fix/kernel/logic-decay' into 'master' · ff54369d
  Virgile Prevosto authored Dec 14, 2017
```
Rejects C arrays as argument of builtin ACSL predicates

See merge request frama-c/e-acsl!177
```
  ff54369d
13 Dec, 2017 1 commit
- sync with frama-c/frama-c!1602 · 70d08f03
  Andre Maroneze authored Dec 13, 2017
  
  70d08f03
11 Dec, 2017 1 commit
- Merge branch 'fix/oracle' into 'master' · 03b92b2a
  Boris Yakobowski authored Dec 11, 2017
```
Fixes an oracle wrt frama-c!1571.

See merge request frama-c/e-acsl!179
```
  03b92b2a
09 Dec, 2017 1 commit
- Fixes an oracle wrt frama-c!1571. · 1d415e2b
  David Bühler authored Dec 09, 2017
```
By default, rte now emits is_finite alarms which are not yet supported.
```
  1d415e2b