Skip to content
This repository

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP

Feb 13, 2012

  1. Eq is not implied by Num in GHC 7.4.

    authored February 12, 2012

Feb 10, 2012

  1. updated description.

    authored February 10, 2012

Feb 06, 2012

  1. Simplify building from srcs.

    authored February 05, 2012

Feb 04, 2012

  1. Lee Pike

    Add dependency, bump version.

    authored February 03, 2012
  2. Lee Pike

    bump version.

    authored February 03, 2012

Feb 03, 2012

  1. Lee Pike

    More examples.

    authored February 02, 2012

Jan 31, 2012

  1. Lee Pike

    Updated examples to use 'arg' rather than 'funArg'.

    authored January 31, 2012

Jan 28, 2012

  1. Lee Pike

    Bump version.

    authored January 28, 2012
  2. Lee Pike

    Updated examples.

    authored January 28, 2012
  3. Lee Pike

    Check for the existence of dirs/files before running tests!

    authored January 28, 2012
  4. Lee Pike

    move unused function to comments to prevent warnings.

    authored January 28, 2012

Jan 23, 2012

  1. Lee Pike

    Sat example.

    authored January 23, 2012

Jan 16, 2012

  1. Lee Pike

    More examples.

    authored January 15, 2012

Jan 13, 2012

  1. Lee Pike

    Modified languages example.

    authored January 12, 2012

Jan 05, 2012

  1. Lee Pike

    Updates to Languages example.

    authored January 04, 2012

Jan 04, 2012

  1. Lee Pike

    New examples...

    authored January 03, 2012
  2. Lee Pike

    Clean up imports.

    authored January 03, 2012

Jan 01, 2012

  1. Lee Pike

    Add examples as other modules.

    authored January 01, 2012
  2. Lee Pike

    Update tests to delete CBMC stuff.

    authored January 01, 2012
  3. Lee Pike

    comment.

    authored January 01, 2012

Dec 31, 2011

  1. Lee Pike

    Updated README and syntax tweak in Examples.hs.

    authored December 31, 2011
  2. Lee Pike

    More fixing up tests...

    authored December 31, 2011
  3. Lee Pike

    Updated examples --- seem to work.

    authored December 31, 2011
  4. Lee Pike

    Major update of examples, fixing them up. Not done!

    authored December 30, 2011

Dec 30, 2011

  1. Lee Pike

    Fix README bug.

    authored December 29, 2011
  2. Lee Pike

    Update external functions example to work with latest release.

    authored December 29, 2011

Dec 22, 2011

  1. Lee Pike

    Testing external functions.

    authored December 21, 2011

Nov 10, 2011

  1. Lee Pike

    updated version.

    authored November 10, 2011
  2. Lee Pike

    base constraint.

    authored November 09, 2011
  3. Lee Pike

    Tweaks to examples.

    authored November 09, 2011

Nov 07, 2011

  1. Lee Pike

    Testing for casting, external functions.

    authored November 07, 2011

Nov 05, 2011

  1. Lee Pike

    Casting examples.

    authored November 05, 2011
  2. Lee Pike

    Testing sampling functions...

    authored November 05, 2011
  3. Lee Pike

    Arrays seem to work.

    authored November 05, 2011

Nov 04, 2011

  1. Lee Pike

    regression tests...

    authored November 03, 2011
Something went wrong with that request. Please try again.