Commits · 3aaeeca66d79d56530bd2289f21c2a9d37ca1c3c · pub / frama-c

Sep 17, 2013
- How dare a punny plug-in use Makefile variables belonging to the mighty kernel? · 3aaeeca6
  Virgile Prevosto authored 11 years ago
  
  3aaeeca6
Sep 12, 2013
- no need to use readlink here · ef3e562b
  Virgile Prevosto authored 11 years ago
  
  ef3e562b
- [E-ACSL] hopefully lsl-cloud will be happy · e59f37f9
  Julien Signoles authored 11 years ago
  
  e59f37f9
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

Sep 06, 2013
- [E-ACSL] loop invariants · f9dfde16
  Julien Signoles authored 11 years ago
  
  f9dfde16
Sep 05, 2013
- [E-ACSL] code factorisation which improves translation of ghost stmts · 1157b716
  Julien Signoles authored 11 years ago
  
  1157b716
Sep 04, 2013
- [E-ACSL] fix previous commit in case of multiple initializers (requires an... · 48d16df9
  Julien Signoles authored 11 years ago
  
  [E-ACSL] fix previous commit in case of multiple initializers (requires an up-to-date Frama-C kernel)
  48d16df9
- [E-ACSL] fixed bug #1478 when monitored global variables have initializers · fbc77baf
  Julien Signoles authored 11 years ago
  
  fbc77baf
- [E-ACSL] fixed bug #1473 about removing the default project on a corner case · 8d4a45fa
  Julien Signoles authored 11 years ago
  
  8d4a45fa
Sep 02, 2013
- better interpretation of ACSL annotations after commit 23496 · cdbacc6c
  Virgile Prevosto authored 11 years ago
  
  cdbacc6c
Aug 29, 2013
- reconcile internal and external compilation wrt test oracles · 90d1f0f4
  Virgile Prevosto authored 11 years ago
  
  90d1f0f4
Aug 28, 2013
- [e-acsl] Update oracles wrt. change in Filepath.pretty (and possibly dataflow strategy) · 65fcf883
  Boris Yakobowski authored 11 years ago
  
  65fcf883
Aug 08, 2013
- [E-ACSL] update according to last kernel commit · 7abf3202
  Julien Signoles authored 11 years ago
  
  7abf3202
Aug 07, 2013
- [E-ACSL] my previous tentative patch did not work. I prefer to have E-ACSL... · 1b363ce6
  Julien Signoles authored 11 years ago
  
  [E-ACSL] my previous tentative patch did not work. I prefer to have E-ACSL that works than non-regression tests...
  1b363ce6
Aug 05, 2013
- [E-ACSL] was mostly unusable since the last change of quantum Filepath.normalize · 950ee5fb
  Julien Signoles authored 11 years ago
  
  950ee5fb
Jul 30, 2013
- update oracles against changes in kernel+value · e8045ac9
  Virgile Prevosto authored 11 years ago
  
  e8045ac9
Jul 18, 2013
- fixes running tests in internal mode + DO NOT generate varinfo if the plug-in is not running · fc90887c
  Virgile Prevosto authored 11 years ago
  
  fc90887c
Jul 08, 2013
- [e-acsl] +list, tree, & splay tree implementation · 110433f9
  Guillaume Petiot authored 11 years ago
  
  110433f9
Jul 04, 2013
- [e-acsl] +macro E_ACSL_WARNING · a9061fbb
  Guillaume Petiot authored 11 years ago
  
  a9061fbb
Jun 26, 2013
- [E-ACSL] fix crash with typedef on pointer types · c4b845a0
  Julien Signoles authored 11 years ago
  
  c4b845a0
Jun 25, 2013
- [E-ACSL] compatibility with kernel's changes · adafe5b9
  Julien Signoles authored 11 years ago
  
  adafe5b9
Jun 21, 2013
- [E-ACSL] still fewer unknown locations · 1374b94f
  Julien Signoles authored 11 years ago
  
  1374b94f
- [E-ACSL] fewer unknown locations · 44bb94f0
  Julien Signoles authored 11 years ago
  
  44bb94f0
- [E-ACSL] update oracles according to printer changes · 29bd6ccb
  Julien Signoles authored 11 years ago
  
  29bd6ccb
Jun 18, 2013
- [E-ACSL] fix bug when computing RTEs on the EACSL's resulting project · 495b41f0
  Julien Signoles authored 11 years ago
  
  495b41f0
May 30, 2013
- [E-ACSL] add demo · c079a19e
  Julien Signoles authored 11 years ago
  
  [E-ACSL] fixed bug in debug mode [E-ACSL] add missing headers
  c079a19e
May 28, 2013
- [E-ACSL] compatibility with kernel API changes · f37c65b6
  Julien Signoles authored 11 years ago
  
  f37c65b6
May 27, 2013
- [E-ACSL] version 0.2 ready to be released · eec72901
  Julien Signoles authored 11 years ago
  
  eec72901
- [E-ACSL] fixed README · cbbe71fd
  Julien Signoles authored 11 years ago
  
  cbbe71fd
- [E-ACSL] rename __clean and e_acsl_global_init · 607e2e0c
  Julien Signoles authored 11 years ago
  
  607e2e0c
- [E-ACSL] manual: Nikolai's comments · dc9088e1
  Julien Signoles authored 11 years ago
  
  dc9088e1
- [E-ACSL] fixed bug with series of addresses · fe218b78
  Julien Signoles authored 11 years ago
  
  fe218b78
- [E-ACSL] manual: Florent's comments · ae1b5fc5
  Julien Signoles authored 11 years ago
  
  ae1b5fc5
May 24, 2013
- [E-ACSL] fixing Makefile's distrib target · 78354f41
  Julien Signoles authored 11 years ago
  
  78354f41
- [E-ACSL] configure, install and readme · 4e0b464d
  Julien Signoles authored 11 years ago
  
  4e0b464d
May 23, 2013
- [E-ACSL] installing manuals · 1e15fc5c
  Julien Signoles authored 11 years ago
  
  1e15fc5c
- [E-ACSL] fixing typos in the manual · ca9b0378
  Julien Signoles authored 11 years ago
  
  ca9b0378
- [E-ACSL] improve handling of -e-acsl-prepare resulting in one warning less + end of manual · 299e6d62
  Julien Signoles authored 11 years ago
  
  299e6d62
May 22, 2013
- [E-ACSL] manual: only one section remaining :) · 61f36448
  Julien Signoles authored 11 years ago
  
  61f36448
- [E-ACSL] fixing -e-acsl-check + manual · 4c354e56
  Julien Signoles authored 11 years ago
  
  4c354e56