1. 03 May, 2017 1 commit
  2. 30 Mar, 2017 1 commit
  3. 27 Mar, 2017 1 commit
  4. 11 Mar, 2017 2 commits
  5. 09 Mar, 2017 3 commits
  6. 01 Feb, 2017 3 commits
  7. 31 Jan, 2017 2 commits
  8. 30 Jan, 2017 1 commit
  9. 06 Jan, 2017 1 commit
  10. 04 Jan, 2017 1 commit
  11. 02 Jan, 2017 2 commits
  12. 18 Dec, 2016 1 commit
  13. 10 Nov, 2016 2 commits
  14. 02 Nov, 2016 1 commit
  15. 01 Nov, 2016 2 commits
  16. 28 Oct, 2016 1 commit
  17. 24 Oct, 2016 1 commit
  18. 20 Oct, 2016 2 commits
  19. 19 Oct, 2016 4 commits
  20. 17 Oct, 2016 1 commit
  21. 15 Oct, 2016 1 commit
  22. 13 Oct, 2016 1 commit
  23. 10 Oct, 2016 1 commit
    • Camil Staps's avatar
      Consider type synonyms in unification (#37) · 07493c23
      Camil Staps authored
      To make this user-friendly, a message should be passed to the client
      that the searched type was interpreted differently. Something similar
      should be done for returned types.
      
      Another option would be to make this feature optional (i.e., add a
      checkbox under the advanced fieldset on the frontend).
      07493c23
  24. 09 Oct, 2016 1 commit
  25. 04 Oct, 2016 1 commit
  26. 25 Sep, 2016 1 commit
  27. 22 Sep, 2016 1 commit