Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on May 20, 2016

• Mention known uses.

  Toxaris

  committed
  1700024

  Copy full SHA for 1700024

• Insert line breaks in long error messages.

  Toxaris

  committed
  f5f95be

  Copy full SHA for f5f95be

• Improve messages about unresolved underscores.

  Show description for f2c1f62
  Toxaris

  committed
  f2c1f62

  Copy full SHA for f2c1f62

• Refactor reporting of unresolved underscores.

  Show description for 2a8d918
  Toxaris

  committed
  2a8d918

  Copy full SHA for 2a8d918

Commits on Nov 29, 2015

• Merge pull request #143 from mietek/master

  Show description for f2a1902
  Blaisorblade

  committed
  f2a1902

  Copy full SHA for f2a1902

Commits on Nov 28, 2015

• Fix compilation with GHC 7.10.2

  mietek

  committed
  020c0d1

  Copy full SHA for 020c0d1

• Relax build dependencies for GHC 7.10.2

  mietek

  committed
  81e3c18

  Copy full SHA for 81e3c18

• Update .gitignore

  mietek

  committed
  965096f

  Copy full SHA for 965096f

Commits on Mar 10, 2015

• Partly work around #142.

  Show description for 5667d04
  Toxaris

  committed
  5667d04

  Copy full SHA for 5667d04

Commits on Feb 8, 2015

• Make pts quiet by default, add --verbose (fix #125)

  Show description for c4992df
  Blaisorblade

  committed
  c4992df

  Copy full SHA for c4992df

• Merge pull request #135 from Toxaris/topic/travis-simple

  Show description for 0cefcd8
  Blaisorblade

  committed
  0cefcd8

  Copy full SHA for 0cefcd8

• Add missing examples/Syntax.lpts to cabal

  Show description for 84c8321
  Blaisorblade

  committed
  84c8321

  Copy full SHA for 84c8321

• Travis: run allTests.sh in a different way

  Show description for 04a463e
  Blaisorblade

  committed
  04a463e

  Copy full SHA for 04a463e

• Revert "Travis: run additional tests from allTests.sh (v2)"

  Show description for 0954d1b
  Blaisorblade

  committed
  0954d1b

  Copy full SHA for 0954d1b

Commits on Feb 7, 2015

• Travis: run additional tests from allTests.sh (v2)

  Blaisorblade

  committed
  cf6726f

  Copy full SHA for cf6726f

• allTests.sh: Increase maximum-unsuitable-generated-tests (fix #134)

  Blaisorblade

  committed
  5ab6bb6

  Copy full SHA for 5ab6bb6

• Make allTests.sh succeed (#134)

  Show description for 0aecc28
  Blaisorblade

  committed
  0aecc28

  Copy full SHA for 0aecc28

• Travis: Experiment with enabling caching

  Blaisorblade

  committed
  b8505f2

  Copy full SHA for b8505f2

• Travis: Enable container-based infrastructure

  Show description for 4bd5c1b
  Blaisorblade

  committed
  4bd5c1b

  Copy full SHA for 4bd5c1b

Commits on Feb 6, 2015

• allTests.sh: fix for fresh platforms

  Show description for 6f2d007
  Blaisorblade

  committed
  6f2d007

  Copy full SHA for 6f2d007

• Cleanups

  Blaisorblade

  committed
  e1a44c4

  Copy full SHA for e1a44c4

• Merge branches of processStmt for Bind

  Blaisorblade

  committed
  795743e

  Copy full SHA for 795743e

• Prepare to merge branches of processStmt for Bind

  Show description for 90790cf
  Blaisorblade

  committed
  90790cf

  Copy full SHA for 90790cf

• Merge multiple runEnvironmentT

  Blaisorblade

  committed
  2d05377

  Copy full SHA for 2d05377

• Refactor to use checkProperType (#131, #98)

  Show description for 3003413
  Blaisorblade

  committed
  3003413

  Copy full SHA for 3003413

• Clarify error msg a bit

  Blaisorblade

  committed
  c64f95d

  Copy full SHA for c64f95d

• We can have synonyms of Int in STLC (#131)

  Show description for 3e4e128
  Blaisorblade

  committed
  3e4e128

  Copy full SHA for 3e4e128

• .ghci: depend on lens

  Show description for 71a01ae
  Blaisorblade

  committed
  71a01ae

  Copy full SHA for 71a01ae

• Don't get environment needlessly

  Show description for 053b284
  Blaisorblade

  committed
  053b284

  Copy full SHA for 053b284

• Document how to import from PTS.Instances

  Show description for 67aa122
  Blaisorblade

  committed
  67aa122

  Copy full SHA for 67aa122

Commits on Aug 28, 2014

• Extract language from language keyword (fix #127).

  Toxaris

  committed
  81e1063

  Copy full SHA for 81e1063

Commits on Aug 26, 2014

• Highlight language keyword (see #127).

  Toxaris

  committed
  3dea310

  Copy full SHA for 3dea310

Commits on Aug 25, 2014

• Merge pull request #129 from Blaisorblade/topic/enforce-keywords

  Show description for 180e185
  Toxaris

  committed
  180e185

  Copy full SHA for 180e185

• Arguments of keyword must show up in keywords

  Show description for 94b00f6
  Blaisorblade

  committed
  94b00f6

  Copy full SHA for 94b00f6

• Add "language" to the list of keywords

  Blaisorblade

  committed
  4706383

  Copy full SHA for 4706383

Pagination

Previous

Next