Commits

Branch selector

 master

User selector

All users

All time

Commit History

Commits on Jul 8, 2013

• Merge pull request #2 from yole/typofix

  Show description for 86c83bd
  kennknowles

  committed
  86c83bd

  Copy full SHA for 86c83bd

Commits on Jul 6, 2013

• fix typos detected by PyCharm

  yole

  committed
  d8796b1

  Copy full SHA for d8796b1

Commits on Apr 10, 2013

• Merge pull request #1 from wuzzeb/master

  Show description for dc53436
  kennknowles

  committed
  dc53436

  Copy full SHA for dc53436

• Basic checking of polymorphic assertions

  

  John Lenz

  committed
  bc26059

  Copy full SHA for bc26059

Commits on Mar 16, 2013

• Update README.md

  kennknowles

  committed
  836f6cb

  Copy full SHA for 836f6cb

• Update README.md

  kennknowles

  committed
  3697d9a

  Copy full SHA for 3697d9a

• Add a build status icon to the README

  kennknowles

  committed
  3870a0c

  Copy full SHA for 3870a0c

• Add travis configuration

  kennknowles

  committed
  b8bedbb

  Copy full SHA for b8bedbb

• Fresh new name

  kennknowles

  committed
  4625b4e

  Copy full SHA for 4625b4e

• Update README

  kennknowles

  committed
  ae78d2d

  Copy full SHA for ae78d2d

Commits on Jan 18, 2013

• Fix typo

  kennknowles

  committed
  9f400ae

  Copy full SHA for 9f400ae

• Add self type to syntax

  kennknowles

  committed
  d6bf339

  Copy full SHA for d6bf339

Commits on Jan 16, 2013

• Packaging and README fixes

  kennknowles

  committed
  b273058

  Copy full SHA for b273058

• Finish up README and packaging

  kennknowles

  committed
  ffe110c

  Copy full SHA for ffe110c

• Fix typo in README.md

  kennknowles

  committed
  60eb300

  Copy full SHA for 60eb300

Commits on Jan 15, 2013

• Add the "any" type

  kennknowles

  committed
  63676b7

  Copy full SHA for 63676b7

• Ignore some emacs files

  kennknowles

  committed
  5251e10

  Copy full SHA for 5251e10

• Correct and simplify @guard

  kennknowles

  committed
  2ad0fe3

  Copy full SHA for 2ad0fe3

• Document new typing and guard features

  kennknowles

  committed
  a844a34

  Copy full SHA for a844a34

• Some enforcement for functions

  kennknowles

  committed
  2bd8813

  Copy full SHA for 2bd8813

• Rename AtomicType to NamedType to respect Pythonic "no primitive types" idea.

  kennknowles

  committed
  dc12594

  Copy full SHA for dc12594

• Add enforcement for object types

  kennknowles

  committed
  a32e726

  Copy full SHA for a32e726

• Enforcing union types

  kennknowles

  committed
  9d390c4

  Copy full SHA for 9d390c4

• Parsing object types

  kennknowles

  committed
  3ae1aaf

  Copy full SHA for 3ae1aaf

• Parsing type variable

  kennknowles

  committed
  44154c3

  Copy full SHA for 44154c3

• Parse union types

  kennknowles

  committed
  7f9a524

  Copy full SHA for 7f9a524

• Rudimentary enforcement and some tests

  kennknowles

  committed
  60e5d84

  Copy full SHA for 60e5d84

• README touch-up

  kennknowles

  committed
  8cfcaae

  Copy full SHA for 8cfcaae

• More details on the project status

  kennknowles

  committed
  b53b1f1

  Copy full SHA for b53b1f1

• Spiff up README to be more accurate

  kennknowles

  committed
  3b74043

  Copy full SHA for 3b74043

• Improve parser to the point where basic types can be lexed and parsed

  kennknowles

  committed
  5aebe1d

  Copy full SHA for 5aebe1d

Commits on Jan 14, 2013

• Add a lexer and a couple tests

  kennknowles

  committed
  353c7ce

  Copy full SHA for 353c7ce

Commits on Jan 10, 2013

• Basic assignment

  kennknowles

  committed
  6540c28

  Copy full SHA for 6540c28

• More constraintgen and README.md exposition to match

  kennknowles

  committed
  30260e0

  Copy full SHA for 30260e0

• Add a couple more cases to constraintgen

  kennknowles

  committed
  017061d

  Copy full SHA for 017061d