Commits

Commit history

1. Commits on Jun 9, 2019

   • Testing instalation.

     devmjc

     committed
     097b52fView commit details

     Copy full SHA for 097b52f

     View code at this pointBrowse repository at this point
2. Commits on Apr 9, 2019

   • Added Counter.hs example. Refs #34

     fdedden

     committed
     a58750bView commit details

     Copy full SHA for a58750b

     View code at this pointBrowse repository at this point
3. Commits on Apr 6, 2019

   • Fixed bugs and typos in Heater.hs. Refs #28

     fdedden

     committed
     acb2a9cView commit details

     Copy full SHA for acb2a9c

     View code at this pointBrowse repository at this point
4. Commits on Apr 1, 2019

   • Removed examples.mk

     fdedden

     committed
     7d162b2View commit details

     Copy full SHA for 7d162b2

     View code at this pointBrowse repository at this point

   • Added Struct example

     fdedden

     committed
     16262caView commit details

     Copy full SHA for 16262ca

     View code at this pointBrowse repository at this point

   • Removed most old examples

     fdedden

     committed
     69480a3View commit details

     Copy full SHA for 69480a3

     View code at this pointBrowse repository at this point

   • Added Heater example

     fdedden

     committed
     0158608View commit details

     Copy full SHA for 0158608

     View code at this pointBrowse repository at this point

   • Updated Array example

     fdedden

     committed
     6f18c61View commit details

     Copy full SHA for 6f18c61

     View code at this pointBrowse repository at this point
5. Commits on Jul 12, 2018

   • Renamed examples Makefile

     fdedden

     committed
     84ed3a1View commit details

     Copy full SHA for 84ed3a1

     View code at this pointBrowse repository at this point
6. Commits on Jul 11, 2018

   • Added main functions examples, modified array example

     fdedden

     committed
     a89a7e6View commit details

     Copy full SHA for a89a7e6

     View code at this pointBrowse repository at this point

   • Modified Makefile to include Examples/Makefile, removed CRC.hs and Test.hs

     fdedden

     committed
     9aaeaf0View commit details

     Copy full SHA for 9aaeaf0

     View code at this pointBrowse repository at this point
7. Commits on Jul 6, 2017

   • Section 3.5 1

     mgc1998

     committed
     a7203a8View commit details

     Copy full SHA for a7203a8

     View code at this pointBrowse repository at this point
8. Commits on Jul 5, 2017

   • remove example2 files

     a-goodloe

     committed
     7f7647bView commit details

     Copy full SHA for 7f7647b

     View code at this pointBrowse repository at this point
9. Commits on Jul 3, 2017

   • Merge branch 'master' of https://github.com/Copilot-Language/Copilot

     mgc1998

     committed
     a15918cView commit details

     Copy full SHA for a15918c

     View code at this pointBrowse repository at this point

   • Latch Example Fix

     mgc1998

     committed
     cc23ea2View commit details

     Copy full SHA for cc23ea2

     View code at this pointBrowse repository at this point
10. Commits on Jun 28, 2017

    • use prefix param in examples

      a-goodloe

      committed
      ebc771fView commit details

      Copy full SHA for ebc771f

      View code at this pointBrowse repository at this point
11. 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
12. 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
13. 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
14. 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
15. 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
16. 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
17. 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
18. 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
19. 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
20. 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
21. 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