Commits

Commit history

1. Commits on Feb 13, 2012

   • Eq is not implied by Num in GHC 7.4.

     

     LeePike

     committed
     c5bd3bbView commit details

     Copy full SHA for c5bd3bb

     View code at this pointBrowse repository at this point
2. Commits on Feb 3, 2012

   • More examples.

     

     Lee Pike

     committed
     4440f80View commit details

     Copy full SHA for 4440f80

     View code at this pointBrowse repository at this point
3. Commits on Jan 31, 2012

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

     

     Lee Pike

     committed
     93db1efView commit details

     Copy full SHA for 93db1ef

     View code at this pointBrowse repository at this point
4. Commits on Jan 28, 2012

   • Updated examples.

     

     Lee Pike

     committed
     0ebad84View commit details

     Copy full SHA for 0ebad84

     View code at this pointBrowse repository at this point

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

     

     Lee Pike

     committed
     7e0a0bfView commit details

     Copy full SHA for 7e0a0bf

     View code at this pointBrowse repository at this point

   • move unused function to comments to prevent warnings.

     

     Lee Pike

     committed
     c5da887View commit details

     Copy full SHA for c5da887

     View code at this pointBrowse repository at this point
5. Commits on Jan 23, 2012

   • Sat example.

     

     Lee Pike

     committed
     222f245View commit details

     Copy full SHA for 222f245

     View code at this pointBrowse repository at this point
6. Commits on Jan 16, 2012

   • More examples.

     

     Lee Pike

     committed
     f9f8a28View commit details

     Copy full SHA for f9f8a28

     View code at this pointBrowse repository at this point
7. Commits on Jan 13, 2012

   • Modified languages example.

     

     Lee Pike

     committed
     e308694View commit details

     Copy full SHA for e308694

     View code at this pointBrowse repository at this point
8. Commits on Jan 5, 2012

   • Updates to Languages example.

     

     Lee Pike

     committed
     f035b68View commit details

     Copy full SHA for f035b68

     View code at this pointBrowse repository at this point
9. Commits on Jan 4, 2012

   • New examples...

     

     Lee Pike

     committed
     74fdab9View commit details

     Copy full SHA for 74fdab9

     View code at this pointBrowse repository at this point

   • Clean up imports.

     

     Lee Pike

     committed
     68cc043View commit details

     Copy full SHA for 68cc043

     View code at this pointBrowse repository at this point
10. Commits on Jan 1, 2012

    • Add examples as other modules.

      

      Lee Pike

      committed
      448ddb9View commit details

      Copy full SHA for 448ddb9

      View code at this pointBrowse repository at this point

    • Update tests to delete CBMC stuff.

      

      Lee Pike

      committed
      cb3eb7dView commit details

      Copy full SHA for cb3eb7d

      View code at this pointBrowse repository at this point

    • comment.

      

      Lee Pike

      committed
      11991fcView commit details

      Copy full SHA for 11991fc

      View code at this pointBrowse repository at this point
11. Commits on Dec 31, 2011

    • Updated README and syntax tweak in Examples.hs.

      

      Lee Pike

      committed
      bb98a29View commit details

      Copy full SHA for bb98a29

      View code at this pointBrowse repository at this point

    • More fixing up tests...

      

      Lee Pike

      committed
      aadab6eView commit details

      Copy full SHA for aadab6e

      View code at this pointBrowse repository at this point

    • Updated examples --- seem to work.

      

      Lee Pike

      committed
      317f067View commit details

      Copy full SHA for 317f067

      View code at this pointBrowse repository at this point

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

      

      Lee Pike

      committed
      77885d8View commit details

      Copy full SHA for 77885d8

      View code at this pointBrowse repository at this point
12. Commits on Dec 30, 2011

    • Update external functions example to work with latest release.

      

      Lee Pike

      committed
      1d2215eView commit details

      Copy full SHA for 1d2215e

      View code at this pointBrowse repository at this point
13. Commits on Dec 22, 2011

    • Testing external functions.

      

      Lee Pike

      committed
      4dd6a6dView commit details

      Copy full SHA for 4dd6a6d

      View code at this pointBrowse repository at this point
14. Commits on Nov 10, 2011

    • Tweaks to examples.

      

      Lee Pike

      committed
      bdb29acView commit details

      Copy full SHA for bdb29ac

      View code at this pointBrowse repository at this point
15. Commits on Nov 7, 2011

    • Testing for casting, external functions.

      

      Lee Pike

      committed
      5783358View commit details

      Copy full SHA for 5783358

      View code at this pointBrowse repository at this point
16. Commits on Nov 5, 2011

    • Casting examples.

      

      Lee Pike

      committed
      554fc47View commit details

      Copy full SHA for 554fc47

      View code at this pointBrowse repository at this point

    • Testing sampling functions...

      

      Lee Pike

      committed
      ccfa185View commit details

      Copy full SHA for ccfa185

      View code at this pointBrowse repository at this point

    • Arrays seem to work.

      

      Lee Pike

      committed
      58f6686View commit details

      Copy full SHA for 58f6686

      View code at this pointBrowse repository at this point
17. Commits on Nov 3, 2011

    • Changes to examples.

      

      Lee Pike

      committed
      cba5c9dView commit details

      Copy full SHA for cba5c9d

      View code at this pointBrowse repository at this point

    • Tweak to examples.

      

      Lee Pike

      committed
      4ea893dView commit details

      Copy full SHA for 4ea893d

      View code at this pointBrowse repository at this point
18. Commits on Sep 30, 2011

    • Documentation updates.

      

      Lee Pike

      committed
      abcdc2fView commit details

      Copy full SHA for abcdc2f

      View code at this pointBrowse repository at this point
19. Commits on Sep 11, 2011

    • Moving examples over from sub-packages.

      

      Lee Pike

      committed
      d636587View commit details

      Copy full SHA for d636587

      View code at this pointBrowse repository at this point
20. Loading