Commits · 88f56229a8380afec48b59dba8bc9807b20e2c50 · pub / frama-c · GitLab

Snippets Groups Projects

Jan 22, 2018
- update oracle - sync with frama-c master · 88f56229
  Andre Maroneze authored 7 years ago
  
  88f56229
Jan 15, 2018
- sync with frama-c/master!1630 · 2ba9abd5
  Andre Maroneze authored 7 years ago
  
  2ba9abd5
Jan 11, 2018
- Update oracles with MR frama-c/frama-c!1572. · 920b9528
  Boris Yakobowski authored 7 years ago and David Bühler committed 7 years ago
  
  - changes in libc numbers - warning on unknown preconds are now reported at callsite
  920b9528
- [tests] remove unnecessary Eva options · 0d7deb4a
  Andre Maroneze authored 7 years ago
  
  0d7deb4a
Jan 08, 2018
- preparing E-ACSL bugfix release for Vessedia · d2a43a13
  Julien Signoles authored 7 years ago
  
  d2a43a13
- fix crash when translating a postcondition that generates local variables · f2ce5c29
  Julien Signoles authored 7 years ago
  
  f2ce5c29
Dec 18, 2017
- [headers] move '#!/bin/..' line as the first line · 1aaa18e1
  Patrick Baudin authored 7 years ago
  
  1aaa18e1
- [headers] skip first line starting by '#!' for 'script.sh' files · 35fe842c
  Patrick Baudin authored 7 years ago
  
  35fe842c
Dec 15, 2017
- allows ocamldoc html generation to succeed · 5d903923
  Virgile Prevosto authored 7 years ago
  
  5d903923
Dec 13, 2017
- sync with frama-c/frama-c!1602 · 70d08f03
  Andre Maroneze authored 7 years ago
  
  70d08f03
Dec 09, 2017
- Fixes an oracle wrt frama-c!1571. · 1d415e2b
  David Bühler authored 7 years ago
  
  By default, rte now emits is_finite alarms which are not yet supported.
  1d415e2b
Dec 06, 2017
- [tests] improved tests for base_addr · 2ee422c3
  Julien Signoles authored 7 years ago
  
  2ee422c3
Dec 05, 2017
- do not distribute .depend · 23a52612
  Andre Maroneze authored 7 years ago and Julien Signoles committed 7 years ago
  
  23a52612
- update changelog for sulfur · 2672e3e1
  Andre Maroneze authored 7 years ago and Julien Signoles committed 7 years ago
  
  2672e3e1
- update copyright and convert ISO-8859 to UTF-8 · 989a6e4f
  Andre Maroneze authored 7 years ago and Julien Signoles committed 7 years ago
  
  989a6e4f
- next to frama-c!1574: annotation changed in test files (preserving the semantics) · dc4995f7
  Patrick Baudin authored 7 years ago
  
  dc4995f7
Nov 28, 2017
- [changelog] introducing categories · d43e633b
  Julien Signoles authored 7 years ago
  
  d43e633b
- [e-acsl-gcc] several files may be given as inputs · 2ad18186
  Julien Signoles authored 7 years ago
  
  2ad18186
Nov 27, 2017
- fix 'segfault' in the generated code when the main has a precondition depending on the memory model · 3bc56749
  Julien Signoles authored 7 years ago
  
  3bc56749
- restore behavior of -e-acsl-valid which was broken since Jan. 2017 or so · d3e80f65
  Julien Signoles authored 7 years ago
  
  d3e80f65
Nov 15, 2017
- update oracles wrt kernel changes · 4e848baf
  Virgile Prevosto authored 7 years ago
  
  4e848baf
- synchronize with frama-c!1539 · 36a34525
  Andre Maroneze authored 7 years ago
  
  36a34525
Nov 13, 2017
- Fix test currently broken · f6d069d4
  Boris Yakobowski authored 7 years ago
  
  (See frama-c/e-acsl!169)
  f6d069d4
- Fix oracle · dce66325
  Boris Yakobowski authored 7 years ago
  
  dce66325
Oct 31, 2017
- Fixes wrong path for files to be included in distribution · ce681e6f
  Virgile Prevosto authored 7 years ago
  
  `PLUGIN_DISTRIB_EXTERNAL` expects path **relative to the plugin directory**
  ce681e6f
Oct 25, 2017
- comment for previous bug fix · 992d082c
  Julien Signoles authored 7 years ago
  
  992d082c
- [changelog] minor improvement · ba279162
  Julien Signoles authored 7 years ago
  
  ba279162
- fix Changelog and extend it with the latest bug fix · 38e2ca40
  Julien Signoles authored 7 years ago
  
  38e2ca40
- fix bts bug #2303 about unamed formals (cannot be easily tested through an... · 6a126ee8
  Julien Signoles authored 7 years ago
  
  fix bts bug #2303 about unamed formals (cannot be easily tested through an executable program that prints the issue)
  6a126ee8
Oct 18, 2017
- [Kernel] update wrt new logic label type · ec9e2503
  Loïc Correnson authored 7 years ago
  
  ec9e2503
Oct 15, 2017
- Remove useless struct in test · afbe17c6
  Virgile Prevosto authored 7 years ago
  
  See @signoles' comment in MR!165
  afbe17c6
Oct 14, 2017
- Update tests and oracles against kernel modifications · 7db690c0
  Virgile Prevosto authored 7 years ago
  
  - improvement in Variadic - local variables are now always kept, even if unused.
  7db690c0
Oct 12, 2017
- synchronize with frama-c/frama-c!1205 · b6748176
  Andre Maroneze authored 7 years ago
  
  b6748176
Sep 06, 2017
- Fix incompatible types in test · a4b6c340
  Andre Maroneze authored 7 years ago
  
  a4b6c340
Sep 04, 2017
- sync with frama-c/frama-c!1450 · e71091a9
  Andre Maroneze authored 7 years ago
  
  e71091a9
Sep 01, 2017
- Updates test oracles wrt Eva changes. · 39360453
  David Bühler authored 7 years ago
  
  39360453
Aug 24, 2017
- Split formal labels from builtin labels. · a6aa016a
  Michele Alberti authored 7 years ago and Virgile Prevosto committed 7 years ago
  
  a6aa016a
- Update due to logic label typing. · 52fb85f3
  Michele Alberti authored 7 years ago and Virgile Prevosto committed 7 years ago
  
  52fb85f3
Aug 10, 2017
- sync with frama-c/frama-c!1439 · d24fdf11
  Andre Maroneze authored 7 years ago
  
  d24fdf11
Aug 02, 2017
- Update test oracle output as per renamed files in RTL · 6306695f
  Kostyantyn Vorobyov authored 7 years ago
  
  6306695f