Commits

Commit history

1. Commits on Jun 12, 2015

   • Add C Struct Semantic Unit Test

     rdspring1

     committed
     2538a43View commit details

     Copy full SHA for 2538a43

     Browse repository at this point
2. Commits on Jun 11, 2015

   • Removing minor version numbers.

     chathhorn

     committed
     a02a8a7View commit details

     Copy full SHA for a02a8a7

     Browse repository at this point
3. Commits on Jun 10, 2015

   • Trying out default travis notification behavior.

     chathhorn

     committed
     17cfa0bView commit details

     Copy full SHA for 17cfa0b

     Browse repository at this point

   • Updated build status icon, testing travis.

     chathhorn

     committed
     5db891cView commit details

     Copy full SHA for 5db891c

     Browse repository at this point

   • Fix submodule links.

     chathhorn

     committed
     cc0798eView commit details

     Copy full SHA for cc0798e

     Browse repository at this point
4. Commits on May 12, 2015

   • bump submodules

     leepike

     committed
     1c0b916View commit details

     Copy full SHA for 1c0b916

     Browse repository at this point
5. Commits on Jan 3, 2015

   • copilot-discussion: bump submodule

     leepike

     committed
     39a6a4aView commit details

     Copy full SHA for 39a6a4a

     Browse repository at this point

   • README: formatting wibbles.

     leepike

     committed
     124689eView commit details

     Copy full SHA for 124689e

     Browse repository at this point

   • README: updates.

     leepike

     committed
     915278dView commit details

     Copy full SHA for 915278d

     Browse repository at this point

   • cabal: add base deps.

     leepike

     committed
     5c58e48View commit details

     Copy full SHA for 5c58e48

     Browse repository at this point

   • makefile: remove hackage upload stuff.

     leepike

     committed
     8a0a3f8View commit details

     Copy full SHA for 8a0a3f8

     Browse repository at this point

   • submodules: bump.

     leepike

     committed
     7ea9ebdView commit details

     Copy full SHA for 7ea9ebd

     Browse repository at this point

   • build fixes

     leepike

     committed
     930c31cView commit details

     Copy full SHA for 930c31c

     Browse repository at this point

   • bump submodule (copilot-c99)

     leepike

     committed
     84bc0b1View commit details

     Copy full SHA for 84bc0b1

     Browse repository at this point

   • try to disable default Haskell rules.

     leepike

     committed
     1adfa68View commit details

     Copy full SHA for 1adfa68

     Browse repository at this point

   • other email.

     leepike

     committed
     53f44c2View commit details

     Copy full SHA for 53f44c2

     Browse repository at this point

   • update README with travis link.

     leepike

     committed
     dc5e203View commit details

     Copy full SHA for dc5e203

     Browse repository at this point

   • updates for ghc 7.8.3, Travis build.

     leepike

     committed
     0a7df8dView commit details

     Copy full SHA for 0a7df8d

     Browse repository at this point

   • copilot-c99: bump submodule.

     leepike

     committed
     d8c310bView commit details

     Copy full SHA for d8c310b

     Browse repository at this point
6. Commits on Sep 15, 2014

   • bump submodules.

     leepike

     committed
     29f0325View commit details

     Copy full SHA for 29f0325

     Browse repository at this point
7. Commits on May 12, 2014

   • build: remove depricated cabal-dev build, make global build default (as per user request).

     leepike

     committed
     eb32fb6View commit details

     Copy full SHA for eb32fb6

     Browse repository at this point
8. Commits on Feb 25, 2013

   • Makefile distribution target, update dependencies.

     leepike

     committed
     e81302aView commit details

     Copy full SHA for e81302a

     Browse repository at this point

   • Bump version for Hackage.

     leepike

     committed
     6e35086View commit details

     Copy full SHA for 6e35086

     Browse repository at this point
9. Commits on Jan 27, 2013

   • Update Makefile to build all in one cabal-dev package.

     leepike

     committed
     0132d34View commit details

     Copy full SHA for 0132d34

     Browse repository at this point
10. Commits on Jan 13, 2013

    • cabal file: update.

      leepike

      committed
      e9d53b0View commit details

      Copy full SHA for e9d53b0

      Browse repository at this point

    • Makefile: update to use cabal-dev.

      leepike

      committed
      f8fb403View commit details

      Copy full SHA for f8fb403

      Browse repository at this point
11. Commits on Nov 24, 2012

    • updated Makefile.

      leepike

      committed
      4c4470bView commit details

      Copy full SHA for 4c4470b

      Browse repository at this point

    • Updated makefile for building locally.

      leepike

      committed
      5532351View commit details

      Copy full SHA for 5532351

      Browse repository at this point

    • Updated cabal file.

      leepike

      committed
      086e971View commit details

      Copy full SHA for 086e971

      Browse repository at this point
12. Commits on Jun 20, 2012

    • Updated submodule.

      leepike

      committed
      ea188e4View commit details

      Copy full SHA for ea188e4

      Browse repository at this point

    • Update submodules location.

      leepike

      committed
      05390fcView commit details

      Copy full SHA for 05390fc

      Browse repository at this point
13. Commits on Jun 19, 2012

    • Ensure we're building with the latest copilot-sbv.

      leepike

      committed
      11d190cView commit details

      Copy full SHA for 11d190c

      Browse repository at this point
14. Commits on Jun 18, 2012

    • Fixed bug in submodules URLs.

      leepike

      committed
      d584f92View commit details

      Copy full SHA for d584f92

      Browse repository at this point

    • Public repos for submodules.

      leepike

      committed
      e9056c3View commit details

      Copy full SHA for e9056c3

      Browse repository at this point
15. Commits on Jun 7, 2012

    • Updated README noting Git submodules.

      leepike

      committed
      e669ac6View commit details

      Copy full SHA for e669ac6

      Browse repository at this point