1. 22 Feb, 2019 1 commit
  2. 08 Nov, 2018 1 commit
  3. 22 Feb, 2018 1 commit
  4. 02 Nov, 2017 1 commit
  5. 30 Oct, 2017 1 commit
  6. 30 Mar, 2017 1 commit
  7. 10 Feb, 2017 1 commit
  8. 26 Jan, 2017 2 commits
  9. 13 Jan, 2017 1 commit
  10. 06 Jan, 2017 1 commit
  11. 04 Jan, 2017 2 commits
  12. 21 Dec, 2016 1 commit
  13. 26 Nov, 2016 1 commit
  14. 23 Nov, 2016 1 commit
  15. 08 Nov, 2016 1 commit
  16. 07 Nov, 2016 1 commit
  17. 04 Nov, 2016 1 commit
  18. 03 Nov, 2016 1 commit
  19. 28 Oct, 2016 1 commit
  20. 27 Oct, 2016 2 commits
  21. 03 Oct, 2016 1 commit
  22. 26 Aug, 2016 1 commit
  23. 08 Aug, 2016 1 commit
  24. 21 Jul, 2016 5 commits
  25. 13 Jul, 2016 2 commits
    • Robbert Krebbers's avatar
      Make memcpy a value and make it Opaque. · e34cab03
      Robbert Krebbers authored
      This reduces the compilation time of mempcy.v from 7m to 8s.
      
      Also, avoid unfolding wexpr and wexpr' which create a term whose size is
      28497 lines when shown with Set Printing All. (Even pretty printing took
      ages!)
      e34cab03
    • Jacques-Henri Jourdan's avatar
      - Proofmode for rust_lang (TODO : CAS, Free, Fork?, Skip?, memcpy) · ee61e51f
      Jacques-Henri Jourdan authored
         + Put laters around heap assumptions in heap.v
      - A few fixes in substitutions.v :
         + Replaced csimpl by cbn [subst_l subst'] in simpl_subst for
           better performances
         + Enforce the right order for rewriting do_subst
         + added list constructors instances for WSubstL
         + Fixed the hint extern for WSubst Rec
      - Compatibility with new intro patterns
      - Better notations for language constructs : function parameters are
        listed within []
      - Proved memcpy. TODO : improve perforamnces (time and memory).
      ee61e51f