1. 18 Oct, 2017 1 commit
  2. 10 Oct, 2017 1 commit
  3. 07 Oct, 2017 1 commit
  4. 28 Sep, 2017 1 commit
  5. 27 Sep, 2017 1 commit
  6. 22 Sep, 2017 2 commits
  7. 22 Aug, 2017 2 commits
  8. 31 Jul, 2017 1 commit
  9. 17 Mar, 2017 2 commits
  10. 10 Jan, 2017 6 commits
  11. 03 Jan, 2017 3 commits
  12. 22 Dec, 2016 3 commits
  13. 14 Dec, 2016 1 commit
  14. 13 Dec, 2016 3 commits
  15. 12 Dec, 2016 5 commits
  16. 16 Nov, 2016 1 commit
  17. 14 Nov, 2016 2 commits
  18. 13 Nov, 2016 2 commits
  19. 08 Nov, 2016 1 commit
    • Ralf Jung's avatar
      Merge branch 'ci' into 'master' · 7c6793f3
      Ralf Jung authored
      Iris as submodule; CI support
      
      This adds Iris as a submodule, matching the structure in https://gitlab.mpi-sws.org/FP/LambdaRust-coq/. Furthermore, it sets up the CI so after pushing, the repo is built against the given Iris version (with a cache to avoid needless rebuilding of Iris).
      
      @zhangz if you have any unpushed changes, please push them. This branch moves all files to a subfolder `theories/`, so it will conflict with any other change.
      
      See merge request !2
      7c6793f3
  20. 07 Nov, 2016 1 commit