1. 22 Jan, 2022 2 commits
  2. 17 Jan, 2022 1 commit
  3. 07 Dec, 2020 1 commit
  4. 09 Nov, 2020 1 commit
  5. 13 Jan, 2018 1 commit
  6. 11 Jan, 2018 1 commit
  7. 28 Oct, 2016 1 commit
  8. 04 Apr, 2015 1 commit
  9. 02 Apr, 2015 1 commit
  10. 21 Feb, 2014 1 commit
  11. 09 Jan, 2013 1 commit
  12. 11 Mar, 2012 1 commit
  13. 06 Mar, 2012 1 commit
  14. 04 Feb, 2012 1 commit
    • xleroy's avatar
      Merge of the "volatile" branch: · 25b9b003
      xleroy authored
      - native treatment of volatile accesses in CompCert C's semantics
      - translation of volatile accesses to built-ins in SimplExpr
      - native treatment of struct assignment and passing struct parameter by value
      - only passing struct result by value remains emulated
      - in cparser, remove emulations that are no longer used
      - added C99's type _Bool and used it to express || and && more efficiently.
      
      
      git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1814 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
      25b9b003
  15. 08 May, 2011 1 commit
  16. 14 Mar, 2011 1 commit
  17. 21 Sep, 2010 1 commit
  18. 04 Sep, 2010 1 commit
  19. 30 Mar, 2010 1 commit
  20. 27 Aug, 2009 1 commit
  21. 05 Jun, 2009 1 commit
  22. 05 Jan, 2009 1 commit
  23. 27 Jan, 2008 1 commit