1. 07 Jun, 2013 1 commit
  2. 27 May, 2013 1 commit
  3. 02 May, 2013 2 commits
  4. 22 Apr, 2013 1 commit
  5. 16 Apr, 2013 1 commit
  6. 15 Mar, 2013 1 commit
  7. 25 Feb, 2013 1 commit
  8. 15 Feb, 2013 1 commit
  9. 11 Feb, 2013 3 commits
  10. 08 Feb, 2013 1 commit
  11. 03 Feb, 2013 2 commits
  12. 26 Jan, 2013 1 commit
  13. 25 Jan, 2013 1 commit
  14. 24 Jan, 2013 1 commit
  15. 13 Oct, 2012 1 commit
  16. 13 Aug, 2012 1 commit
  17. 06 Jul, 2012 1 commit
  18. 23 May, 2012 1 commit
  19. 22 May, 2012 1 commit
  20. 14 May, 2012 1 commit
  21. 27 Apr, 2012 1 commit
  22. 26 Apr, 2012 1 commit
  23. 23 Apr, 2012 1 commit
    • pcapriotti's avatar
      Add combined_output option. · ef0d0b70
      pcapriotti authored
      Added an option to combine stdout and stderr into a single file. This is
      useful for ghci scripts that produce interleaved errors and normal
      output.
      
      Also modified check_stderr_ok so that it normalizes stderr in the same
      way as compile tests.
      ef0d0b70
  24. 12 Apr, 2012 1 commit
  25. 11 Apr, 2012 1 commit
  26. 31 Mar, 2012 1 commit
  27. 01 Mar, 2012 1 commit
  28. 13 Feb, 2012 1 commit
  29. 10 Feb, 2012 1 commit
  30. 12 Jan, 2012 1 commit
  31. 25 Oct, 2011 2 commits
  32. 22 Oct, 2011 1 commit
  33. 21 Oct, 2011 1 commit
  34. 18 Oct, 2011 1 commit
  35. 06 Oct, 2011 1 commit