Commits · 19e1ce3fd99dd10eafc217fd827b0463b6f4bcf9 · pub / frama-c

Jul 19, 2016
- [Makefile] Renamed e-acsl-runtime and e-acsl-reject test directories to... · 19e1ce3f
  Kostyantyn Vorobyov authored 8 years ago
  
  [Makefile] Renamed e-acsl-runtime and e-acsl-reject test directories to runtime and reject respectively
  19e1ce3f
Mar 31, 2016
- Adjusted test suite as per changes of RTL prefixes · fbc7ba18
  Kostyantyn Vorobyov authored 9 years ago
  
  fbc7ba18
- Adjusted test suite as per changes of RTL prefixes · 39648f69
  Kostyantyn Vorobyov authored 9 years ago
  
  39648f69
Mar 15, 2016
- [RTL] Changed __literal_string function to __readonly · 18b16a7b
  Kostyantyn Vorobyov authored 9 years ago
  
  18b16a7b
- [RTL] Dynamic guard against compilation using different pointer size · 8e00fc0e
  Kostyantyn Vorobyov authored 9 years ago
  
  8e00fc0e
- [RTL] e_acsl_assert renamed to __e_acsl_assert · 4d741cfd
  Kostyantyn Vorobyov authored 9 years ago
  
  4d741cfd
- Improvements to the C runtime lirbary of E-ACSL from the remote repository · abc6b3bd
  Kostyantyn Vorobyov authored 9 years ago
  
  containing the segment-based memory model.
  abc6b3bd
Mar 11, 2016
- [RTL] Changed __literal_string function to __readonly · 0fd61d31
  Kostyantyn Vorobyov authored 9 years ago and Julien Signoles committed 9 years ago
  
  0fd61d31
- [RTL] Dynamic guard against compilation using different pointer size · b0554d0f
  Kostyantyn Vorobyov authored 9 years ago and Julien Signoles committed 9 years ago
  
  b0554d0f
- [RTL] e_acsl_assert renamed to __e_acsl_assert · 0ee2b795
  Kostyantyn Vorobyov authored 9 years ago and Julien Signoles committed 9 years ago
  
  0ee2b795
- Improvements to the C runtime lirbary of E-ACSL from the remote repository · 2e533161
  Kostyantyn Vorobyov authored 9 years ago and Julien Signoles committed 9 years ago
  
  containing the segment-based memory model.
  2e533161
Feb 10, 2016
- [tests] remove 'COMMENT: no diff' lines from bts and e-acsl-runtime tests · 557a5af3
  Julien Signoles authored 9 years ago
  
  557a5af3
- [tests] only print the output coming from the input file (but no more the libc) · cf5b90ec
  Julien Signoles authored 9 years ago
  
  cf5b90ec
Dec 15, 2015
- Adjust stdio.c test to write a test file in the temporary directory rather than · 374530d7
  Kostyantyn Vorobyov authored 9 years ago
  
  into the project's root
  374530d7
Aug 26, 2015
- [tests] updated wrt libc changes · d40f4feb
  Julien Signoles authored 9 years ago
  
  d40f4feb
Jun 04, 2015
- [tests] update wrt support of literal strings · 3be07742
  Julien Signoles authored 9 years ago
  
  mend
  3be07742
May 28, 2015
- [tests] cherry-picked hack for fopen · 0bf19f5e
  Julien Signoles authored 10 years ago
  
  0bf19f5e
Apr 28, 2015
- hack for fixing issue with fopen · 5ceb9812
  Julien Signoles authored 10 years ago
  
  5ceb9812
Nov 12, 2014
- [tests] update according to libc changes · 7556ef08
  Julien Signoles authored 10 years ago
  
  7556ef08
Oct 27, 2014
- [tests] fix oracles according to libc changes · 7708e362
  Julien Signoles authored 10 years ago
  
  7708e362
Aug 08, 2014
- [visit] fix a inter-project sharing bug, because renaming a variable instead of creating a new one · 28887ed4
  Julien Signoles authored 10 years ago
  
  [tests] update oracles according to various recent kernel changes
  28887ed4
Aug 05, 2014
- fixed bug #1818 about initialization of globals · 72f9bfb7
  Julien Signoles authored 10 years ago
  
  72f9bfb7
- fixed bug #1818 about initialization of globals · b8ce0e2a
  Julien Signoles authored 10 years ago
  
  b8ce0e2a
Jul 20, 2014
- patch the fix of bug #1715 in a way that __memory_size is still usable (no more ghost) · a705f9e9
  Julien Signoles authored 10 years ago
  
  a705f9e9
- patch the fix of bug #1715 in a way that __memory_size is still usable (no more ghost) · 56a7f14e
  Julien Signoles authored 10 years ago
  
  56a7f14e
Jul 08, 2014
- fix bug when using Frama-C-specific names of the libc which prevent linking the generated code · bc153f5c
  Julien Signoles authored 10 years ago
  
  bc153f5c
- fix bug when using Frama-C-specific names of the libc which prevent linking the generated code · 361a4fa8
  Julien Signoles authored 10 years ago
  
  361a4fa8
Jun 30, 2014
- [tests] updated according to pretty printer changes · 3384b7f8
  Julien Signoles authored 10 years ago
  
  [quantif] updated according to AST changes: && is now left-associative
  3384b7f8
Mar 25, 2014
- [memory-model] fix bug #1715 occuring because __memory_size was not declared ghost · 6f31302c
  Julien Signoles authored 11 years ago
  
  6f31302c
- [memory-model] fix bug #1715 occuring because __memory_size was not declared ghost · e873c591
  Julien Signoles authored 11 years ago
  
  e873c591
Mar 13, 2014
- still update oracle according to libc changes · ac977bc5
  Julien Signoles authored 11 years ago
  
  ac977bc5
Mar 07, 2014
- update oracles · a9d03ba9
  Julien Signoles authored 11 years ago
  
  a9d03ba9
Feb 18, 2014
- [tests] update oracles according to kernel changes · 31f85f21
  Julien Signoles authored 11 years ago
  
  31f85f21
Dec 05, 2013
- [E-ACSL] update according to printer's changes · c7112bd6
  Julien Signoles authored 11 years ago
  
  c7112bd6
Dec 03, 2013
- [E-ACSL] update oracles according to printer's changes · 1cadec6d
  Julien Signoles authored 11 years ago
  
  1cadec6d
Sep 25, 2013
- [E-ACSL] again compatible with the trunk and no more with Fluorine · aa5f7cf6
  Julien Signoles authored 11 years ago
  
  aa5f7cf6
Sep 23, 2013
- [E-ACSL] ready for v0_3 · 565aff54
  Julien Signoles authored 11 years ago
  
  565aff54
Sep 19, 2013
- [E-ACSL] __memory_size is not ghost · 249387ad
  Julien Signoles authored 11 years ago
  
  249387ad
Sep 10, 2013

[E-ACSL] update oracles according to Value changes · 8aa4fa00

Julien Signoles authored 11 years ago

[E-ACSL] improve ACSL contracts of its libraries
[E-ACSL] no more unknow locations in translation of quantifications

8aa4fa00

Jun 18, 2013
- [E-ACSL] fix bug when computing RTEs on the EACSL's resulting project · 495b41f0
  Julien Signoles authored 11 years ago
  
  495b41f0