Commits · 1c7363e64d03e223a4f03eb122b4bde29a931116 · pub / frama-c

Apr 22, 2013
- [E-ACSL] fixed interprocedural dataflow analysis on function calls · 1c7363e6
  Julien Signoles authored 11 years ago
  
  1c7363e6
Apr 19, 2013
- [E-ACSL] fixed bug #1398 about calling variadic functions · 99f261fe
  Julien Signoles authored 11 years ago
  
  99f261fe
- [E-ACSL] fixed bug #1399 about typing of index of arrays in field · 30bae7ef
  Julien Signoles authored 11 years ago
  
  [E-ACSL] prevent RTE while executing memory-related constructs
  30bae7ef
- [E-ACSL] fixed warning messages · 511ab9e7
  Julien Signoles authored 11 years ago
  
  511ab9e7
- [E-ACSL] do not monitor anymore memory locations involved in constructs not... · 3e0535e4
  Julien Signoles authored 11 years ago
  
  [E-ACSL] do not monitor anymore memory locations involved in constructs not yet supported like \freeable
  3e0535e4
Apr 18, 2013
- [E-ACSL] more precise pre-analysis · d71fc0af
  Julien Signoles authored 11 years ago
  
  d71fc0af
Apr 16, 2013

[E-ACSL] fixed bug #1390 about typing of logic variables of type long long · 1e75b7af

Julien Signoles authored 11 years ago

[E-ACSL] compute a more precise type for quantified variable with a strict upper bound
[E-ACSL] do not modify the type of a quantified variable anymore

1e75b7af

Apr 12, 2013
- [E-ACSL] new option -e-acsl-full-mmodel to monitor all pointers · 347c233b
  Julien Signoles authored 11 years ago
  
  347c233b
- [E-ACSL] restore compatibility with Frama-C kernel · 36586faf
  Julien Signoles authored 11 years ago
  
  36586faf
Apr 10, 2013
- [e-acsl] +number of dyn allocated bytes · 623a44af
  Guillaume Petiot authored 11 years ago
  
  623a44af
Apr 02, 2013
- [e-acsl] article déplacé · 30588d10
  Guillaume Petiot authored 11 years ago
  
  30588d10
Mar 28, 2013
- [e-acsl] resync for new definition of Cil_types.logic_real · 7c296de9
  Guillaume Petiot authored 12 years ago
  
  7c296de9
Mar 14, 2013
- [e-acsl] issue #1379 : __out_of_bound implemented · 296931a7
  Guillaume Petiot authored 12 years ago
  
  296931a7
Mar 13, 2013
- fixed again according to kernel changes and fixed compatibility with the -no-obj mode · 5a0ab6a0
  Julien Signoles authored 12 years ago
  
  5a0ab6a0
- [E-ACSL] fixed bug with property which are false if reachable · f7388753
  Julien Signoles authored 12 years ago
  
  f7388753
- [E-ACSL] update according to kernel changes · fd5de66a
  Julien Signoles authored 12 years ago
  
  fd5de66a
Mar 07, 2013
- + get_sub · 01c55716
  Guillaume Petiot authored 12 years ago
  
  01c55716
Mar 04, 2013
- No commit message · 053d885d
  Guillaume Petiot authored 12 years ago
  
  No commit message
  053d885d
Feb 26, 2013
- [e-acsl] article in progress · 2baff9ce
  Guillaume Petiot authored 12 years ago
  
  2baff9ce
- [e-acsl] article in progress · c7f54cde
  Guillaume Petiot authored 12 years ago
  
  c7f54cde
- [e-acsl] __get_cont fixed · 43a06ae5
  Guillaume Petiot authored 12 years ago
  
  43a06ae5
Feb 22, 2013
- [e-acsl] + matmult example for experiments · 5fd78d4f
  Guillaume Petiot authored 12 years ago
  
  5fd78d4f
- [e-acsl] article in progress · dd6cf3a5
  Guillaume Petiot authored 12 years ago
  
  dd6cf3a5
Feb 21, 2013
- [e-acsl] article on progress · 2951fca9
  Guillaume Petiot authored 12 years ago
  
  2951fca9
Feb 20, 2013
- [e-acsl] article in progress · 088ac9a8
  Guillaume Petiot authored 12 years ago
  
  088ac9a8
- [e-acsl] memory-model article in progress · 7fc53e95
  Guillaume Petiot authored 12 years ago
  
  7fc53e95
Feb 19, 2013
- [e-acsl] memory-model article in progress · 0096fe19
  Guillaume Petiot authored 12 years ago
  
  0096fe19
Feb 08, 2013
- [E-acsl] Fix wrt change in Machdep · 03161035
  Boris Yakobowski authored 12 years ago
  
  03161035
Feb 04, 2013
- [e-acsl] bugfix 32 bits · 6c5d037b
  Guillaume Petiot authored 12 years ago
  
  6c5d037b
- [e-acsl] bugfix add_element · 662a5886
  Guillaume Petiot authored 12 years ago
  
  662a5886
- [e-acsl] father's mask recomputed after remove_element · a392ef02
  Guillaume Petiot authored 12 years ago
  
  a392ef02
- [e-acsl] Renamed function Cil.alignOf_int into Cil.bytesAlignOf · 5141907f
  Guillaume Petiot authored 12 years ago
  
  5141907f
Feb 01, 2013
- [e-acsl] algos are now correct · be25b486
  Guillaume Petiot authored 12 years ago
  
  be25b486
- [E-ACSL] update oracles according to kernel's and Value's changes · 675f630f
  Julien Signoles authored 12 years ago
  
  675f630f
- [e-acsl] - unused functions · e4544e85
  Guillaume Petiot authored 12 years ago
  
  e4544e85
Jan 31, 2013
- [E-ACSL] update oracles according to Value's changes (again) · 650812a4
  Julien Signoles authored 12 years ago
  
  650812a4
- [e-acsl] now using size_t instead of ulong · e9f65994
  Guillaume Petiot authored 12 years ago
  
  e9f65994
- [E-ACSL] update oracles according to Value's changes · 3fcc928e
  Julien Signoles authored 12 years ago
  
  3fcc928e
- [e-acsl] fix _get_exact · 01531700
  Guillaume Petiot authored 12 years ago
  
  01531700
- [e-acsl] better __debug function · 084bf338
  Guillaume Petiot authored 12 years ago
  
  084bf338