Commits

Commit history

1. Commits on Oct 29, 2019

   • Updated Heater example and added it to copilot.cabal. Refs #41.

     fdedden

     committed
     68c6971View commit details

     Copy full SHA for 68c6971

     View code at this pointBrowse repository at this point

   • Updated and clearified Voting example and added it to copilot.cabal. Refs #41

     fdedden

     committed
     5b6bab7View commit details

     Copy full SHA for 5b6bab7

     View code at this pointBrowse repository at this point

   • Updated Engine example and added it to copilot.cabal. Refs #41

     fdedden

     committed
     80cdd84View commit details

     Copy full SHA for 80cdd84

     View code at this pointBrowse repository at this point
2. Commits on Oct 28, 2019

   • Updated Clounter example and added it to copilot.cabal. Refs #41

     fdedden

     committed
     efefc31View commit details

     Copy full SHA for efefc31

     View code at this pointBrowse repository at this point

   • Updated Clock example and added it to copilot.cabal. Refs #41

     fdedden

     committed
     5687e1cView commit details

     Copy full SHA for 5687e1c

     View code at this pointBrowse repository at this point

   • Removed depdency on copilot-c99 for AddMult example. Refs #41

     fdedden

     committed
     a282dd1View commit details

     Copy full SHA for a282dd1

     View code at this pointBrowse repository at this point

   • Removed depdency on copilot-c99 for Array example. Refs #41

     fdedden

     committed
     e460b69View commit details

     Copy full SHA for e460b69

     View code at this pointBrowse repository at this point

   • Updated Cast example and added entry to copilot.cabal. Refs #41

     fdedden

     committed
     a99288cView commit details

     Copy full SHA for a99288c

     View code at this pointBrowse repository at this point
3. Commits on Oct 27, 2019

   • Updated Array example and added copilot.cabal entry. Refs #41

     fdedden

     committed
     57e9a35View commit details

     Copy full SHA for 57e9a35

     View code at this pointBrowse repository at this point

   • Updated AddMult example and added copilot.cabal entrya. Refs #41

     fdedden

     committed
     a3e0b59View commit details

     Copy full SHA for a3e0b59

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

   • Added Counter.hs to extra-source-files. Refs #34

     fdedden

     committed
     5793559View commit details

     Copy full SHA for 5793559

     View code at this pointBrowse repository at this point

   • Updated dependency versions. Refs #33

     fdedden

     committed
     36b40dfView commit details

     Copy full SHA for 36b40df

     View code at this pointBrowse repository at this point

   • Updated version to 3.0.1. Refs #33

     fdedden

     committed
     e708577View commit details

     Copy full SHA for e708577

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

   • Added Examples to .cabal

     fdedden

     committed
     06657fbView commit details

     Copy full SHA for 06657fb

     View code at this pointBrowse repository at this point
6. Commits on Mar 30, 2019

   • Wides version boundaries, sorts dependencies. Refs #13.

     ivanperez-keera

     committed
     9b337c9View commit details

     Copy full SHA for 9b337c9

     View code at this pointBrowse repository at this point

   • Fixes links. Refs #19.

     Show description for f720026
     ivanperez-keera

     committed
     f720026View commit details

     Copy full SHA for f720026

     View code at this pointBrowse repository at this point
7. Commits on Mar 29, 2019

   • Added copilot-c99 as dependency to .cabal file

     fdedden

     committed
     afa4a36View commit details

     Copy full SHA for afa4a36

     View code at this pointBrowse repository at this point

   • Removed dependency to copilot-cbackend in .cabal file

     fdedden

     committed
     4a78340View commit details

     Copy full SHA for 4a78340

     View code at this pointBrowse repository at this point
8. Commits on Mar 27, 2019

   • Updated repo link from git:// to https://

     fdedden

     committed
     0111f1bView commit details

     Copy full SHA for 0111f1b

     View code at this pointBrowse repository at this point

   • Removed ghc profiling options from .cabal

     fdedden

     committed
     61a0ab0View commit details

     Copy full SHA for 61a0ab0

     View code at this pointBrowse repository at this point

   • Removed old commented out sections of .cabal

     fdedden

     committed
     0e3c067View commit details

     Copy full SHA for 0e3c067

     View code at this pointBrowse repository at this point

   • Update source repo location to new github location

     fdedden

     committed
     5e4091eView commit details

     Copy full SHA for 5e4091e

     View code at this pointBrowse repository at this point

   • Updated author, maintainer and homepage fields of .cabal file

     fdedden

     committed
     093c1b3View commit details

     Copy full SHA for 093c1b3

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

   • Added copilotMain and defaultMain functions

     fdedden

     committed
     6f6142dView commit details

     Copy full SHA for 6f6142d

     View code at this pointBrowse repository at this point
10. Commits on Jan 19, 2018

    • Removed sbv, c99 and cbmc from build, temporarily disabled tests

      fdedden

      committed
      c964ec8View commit details

      Copy full SHA for c964ec8

      View code at this pointBrowse repository at this point
11. Commits on Jan 15, 2018

    • Added copilot-cbackend as submodule and added to .cabal

      fdedden

      committed
      c0c57a9View commit details

      Copy full SHA for c0c57a9

      View code at this pointBrowse repository at this point

    • Bumped version to 3.0

      fdedden

      committed
      624c251View commit details

      Copy full SHA for 624c251

      View code at this pointBrowse repository at this point
12. Commits on Jun 27, 2017

    • bumping version nums

      a-goodloe

      committed
      1be5e2bView commit details

      Copy full SHA for 1be5e2b

      View code at this pointBrowse repository at this point
13. Commits on Oct 23, 2015

    • cabal: relax dependencies

      leepike

      committed
      6c92b72View commit details

      Copy full SHA for 6c92b72

      View code at this pointBrowse repository at this point

    • cabal: fix package dep

      leepike

      committed
      8c3ce07View commit details

      Copy full SHA for 8c3ce07

      View code at this pointBrowse repository at this point

    • cabal: relax constraints

      leepike

      committed
      5aba6a5View commit details

      Copy full SHA for 5aba6a5

      View code at this pointBrowse repository at this point

    • relax constraints

      leepike

      committed
      51042c4View commit details

      Copy full SHA for 51042c4

      View code at this pointBrowse repository at this point
14. Commits on Sep 14, 2015

    • Bumping version numbers.

      chathhorn

      committed
      769b9dfView commit details

      Copy full SHA for 769b9df

      View code at this pointBrowse repository at this point
15. Commits on Aug 12, 2015

    • Attempting to fix build.

      chathhorn

      committed
      6fe10a0View commit details

      Copy full SHA for 6fe10a0

      View code at this pointBrowse repository at this point
16. Commits on Jun 16, 2015

    • Changed some things.

      

      jaloyan

      committed
      42b7164View commit details

      Copy full SHA for 42b7164

      View code at this pointBrowse repository at this point