1. 26 Feb, 2018 1 commit
  2. 20 Feb, 2018 1 commit
  3. 27 Nov, 2017 1 commit
  4. 02 Aug, 2017 1 commit
  5. 12 Apr, 2017 1 commit
  6. 27 Sep, 2016 1 commit
  7. 11 Feb, 2016 1 commit
  8. 29 Jan, 2015 1 commit
  9. 24 Mar, 2014 1 commit
  10. 14 Mar, 2014 1 commit
  11. 07 Mar, 2014 1 commit
  12. 06 Feb, 2014 1 commit
  13. 25 Sep, 2013 1 commit
  14. 23 Sep, 2013 1 commit
  15. 25 Jun, 2013 1 commit
  16. 23 Apr, 2013 1 commit
  17. 12 Apr, 2013 1 commit
  18. 30 Jan, 2013 1 commit
  19. 18 Jan, 2013 1 commit
  20. 25 Oct, 2012 1 commit
  21. 23 Jan, 2012 1 commit
  22. 28 Dec, 2011 1 commit
    • Julien Signoles's avatar
      [e-acsl] Hollydays works (now ready for alpha release): · b2009ccd
      Julien Signoles authored
      * fixes bug:
        - fixed bug in quantifications when the bound variable got C type
        - fixed bug with DEV_FLAGS in Makefile.in
      * implements new E-ACSL features:
        - invariant as assertion
        - existential quantification \exists over integers
        - equivalence <==>
        - \at as a predicate
        - conditional _ ? _ : _ (for terms and predicates)
        - binary boolean operations over terms
        - mixed assumes and ensures in function contracts
      * other new features:
        - better error messages when runtime checks fail 
          (replace e_acsl_fail by e_acsl_assert)
        - remove option -e-acsl-assert
        - add E-ACSL manuals in doc/manuals
        - add files doc/Changelog, INSTALL, README and VERSION
        - new option -e-acsl-version
        - check Frama-C version at configure
        - make src-distrib
        - header 2012
      b2009ccd
  23. 07 Dec, 2011 1 commit
    • Julien Signoles's avatar
      [e-acsl] update headers · b1f8150d
      Julien Signoles authored
      [e-acsl] universal quantifiers over integers. Not yet finished: work only in some cases
      [e-acsl] logic variables (required by univ quantif)
      b1f8150d
  24. 25 Nov, 2011 2 commits
  25. 23 Aug, 2011 1 commit
  26. 22 Mar, 2011 1 commit
  27. 17 Mar, 2011 1 commit
  28. 22 Feb, 2011 1 commit
  29. 21 Feb, 2011 1 commit