Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Commits on Sep 28, 2012
  1. @simonpj

    Tons of error message wibbles

    simonpj authored
  2. @simonpj
  3. @simonpj
Commits on Sep 21, 2012
  1. @simonpj

    A ton of error message wibbles

    simonpj authored
    Notably
     * Showing relevant bindings
     * Not suggesting add instance (Num T); see Trac #7222
  2. @simonpj

    Merge with master

    simonpj authored
  3. @dreixel

    Update test output

    dreixel authored
Commits on Sep 20, 2012
  1. @igfoo

    Update perf bounds

    igfoo authored
  2. @igfoo

    Follow module removals in base

    igfoo authored
  3. @igfoo

    Raise T5837 bounds

    igfoo authored
Commits on Sep 18, 2012
  1. @simonpj
  2. @simonpj

    Add a test directory for ext-core, and test Trac #7239

    simonpj authored
    We have basically no tests for External Core, which needs love.
  3. @simonpj

    Test Trac #7238

    simonpj authored
  4. @simonpj

    Test Trac #7224 and #7230

    simonpj authored
  5. @simonpj

    Test Trac #5252 (again)

    simonpj authored
  6. @simonpj

    Test Trac #7237

    simonpj authored
Commits on Sep 17, 2012
  1. @igfoo

    Update perf test bounds

    igfoo authored
    Some wibbles due to recent changes. Some things got better, some got
    worse, but nothing drastic.
Commits on Sep 9, 2012
  1. @pcapriotti
  2. @pcapriotti
  3. @pcapriotti

    Fix warning in T4464.

    pcapriotti authored
  4. @pcapriotti
Commits on Sep 6, 2012
  1. @pcapriotti

    Add test for #7210.

    pcapriotti authored
  2. @simonmar

    accept

    simonmar authored
Commits on Sep 5, 2012
  1. @simonmar

    add a test for #7215

    simonmar authored
Commits on Sep 3, 2012
  1. @simonmar
  2. @pcapriotti
Commits on Aug 31, 2012
  1. @simonmar
  2. @simonpj

    Accept error message changes

    simonpj authored
Commits on Aug 30, 2012
  1. @simonpj

    Update performance figure

    simonpj authored
  2. @simonpj

    Accept error message changes

    simonpj authored
Commits on Aug 29, 2012
  1. @simonpj

    Teat Trac #7175

    simonpj authored
  2. @simonpj

    Test Trac #7196

    simonpj authored
  3. @simonpj
Commits on Aug 28, 2012
  1. @simonpj

    Merge ../../HEAD/testsuite

    simonpj authored
  2. @simonpj
  3. @simonpj

    Test Trac #7194

    simonpj authored
Something went wrong with that request. Please try again.