1. 06 Jun, 2018 1 commit
  2. 09 Apr, 2018 1 commit
  3. 28 Mar, 2018 1 commit
  4. 28 Jan, 2018 2 commits
  5. 15 Jan, 2018 1 commit
  6. 04 Dec, 2017 1 commit
  7. 01 Dec, 2017 1 commit
  8. 23 Oct, 2017 1 commit
  9. 19 Oct, 2017 1 commit
  10. 28 Sep, 2017 2 commits
  11. 15 Sep, 2017 1 commit
    • Some more examples · 1188cb70
      Dan Frumin authored
      From "The effects of higher-order state and control on local relational reasoning"
  12. 09 Sep, 2017 4 commits
  13. 06 Sep, 2017 1 commit
  14. 05 Sep, 2017 2 commits
  15. 22 Aug, 2017 1 commit
  16. 21 Aug, 2017 2 commits
  17. 17 Aug, 2017 1 commit
    • Twiggle the notation · 11948e6e
      Dan Frumin authored
      - Use the type of literals in `val`
      - Notation for `match`
      - "Better" coercions
  18. 15 Aug, 2017 2 commits
  19. 14 Aug, 2017 2 commits
  20. 11 Aug, 2017 2 commits
  21. 10 Aug, 2017 1 commit
  22. 09 Aug, 2017 1 commit
  23. 08 Aug, 2017 1 commit
  24. 07 Aug, 2017 5 commits
  25. 20 Jul, 2017 1 commit
  26. 19 Jul, 2017 1 commit
    • Clean up some proofs · 9b373cca
      Dan Frumin authored
      - rename `bin_log_related_bind_l` to `bin_log_related_wp_l`
      - use `bin_log_related_wp_l` to simplify derived rules