Commits

Commit history

1. 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

   • Close #24: Removed test from Makefile

     fdedden

     committed
     cf0f8d4View commit details

     Copy full SHA for cf0f8d4

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

   • Adds everything under lib as reference. Refs #14.

     ivanperez-keera

     committed
     bc33068View commit details

     Copy full SHA for bc33068

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

   • Added copilot-c99 to sources in Makefile

     fdedden

     committed
     13af8d5View commit details

     Copy full SHA for 13af8d5

     View code at this pointBrowse repository at this point

   • Remove copilot-cbackend from Makefile

     fdedden

     committed
     7ba09d1View commit details

     Copy full SHA for 7ba09d1

     View code at this pointBrowse repository at this point
4. 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
5. Commits on Jul 11, 2018

   • 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
6. 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
7. Commits on Jan 15, 2018

   • Added cbackend to Makefile

     fdedden

     committed
     d9888b9View commit details

     Copy full SHA for d9888b9

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

   • Right now there have been updates to dependencies (SBV and smtlib2)

     Show description for 3305377
     a-goodloe

     committed
     3305377View commit details

     Copy full SHA for 3305377

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

   • Removing smtlib2 and sbv source dependencies.

     chathhorn

     committed
     b754fa1View commit details

     Copy full SHA for b754fa1

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

    • Fix urls, default makefile target.

      chathhorn

      committed
      34d7348View commit details

      Copy full SHA for 34d7348

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

    • update makefile

      Varmin123

      committed
      f32c784View commit details

      Copy full SHA for f32c784

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

    • Reverted copilot-sbv submodule, tweaked makefile.

      chathhorn

      committed
      c230444View commit details

      Copy full SHA for c230444

      View code at this pointBrowse repository at this point

    • New submodules...

      chathhorn

      committed
      90ab6b4View commit details

      Copy full SHA for 90ab6b4

      View code at this pointBrowse repository at this point

    • Makefile tweaks.

      chathhorn

      committed
      085eca6View commit details

      Copy full SHA for 085eca6

      View code at this pointBrowse repository at this point

    • Bump!!

      chathhorn

      committed
      9b569dfView commit details

      Copy full SHA for 9b569df

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

    • Moving SBV dep to Makefile.

      chathhorn

      committed
      b4c6d8eView commit details

      Copy full SHA for b4c6d8e

      View code at this pointBrowse repository at this point

    • Attempting to fix build.

      chathhorn

      committed
      6fe10a0View commit details

      Copy full SHA for 6fe10a0

      View code at this pointBrowse repository at this point

    • Bump submodules, update makefile.

      chathhorn

      committed
      ce5ca25View commit details

      Copy full SHA for ce5ca25

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

    • Prevent travis from choking.

      chathhorn

      committed
      2bca648View commit details

      Copy full SHA for 2bca648

      View code at this pointBrowse repository at this point
15. Commits on Jan 3, 2015

    • makefile: remove hackage upload stuff.

      leepike

      committed
      8a0a3f8View commit details

      Copy full SHA for 8a0a3f8

      View code at this pointBrowse repository at this point

    • build fixes

      leepike

      committed
      930c31cView commit details

      Copy full SHA for 930c31c

      View code at this pointBrowse repository at this point

    • updates for ghc 7.8.3, Travis build.

      leepike

      committed
      0a7df8dView commit details

      Copy full SHA for 0a7df8d

      View code at this pointBrowse repository at this point
16. 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

      View code at this pointBrowse repository at this point
17. Commits on Feb 25, 2013

    • Makefile distribution target, update dependencies.

      leepike

      committed
      e81302aView commit details

      Copy full SHA for e81302a

      View code at this pointBrowse repository at this point
18. 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

      View code at this pointBrowse repository at this point
19. Commits on Jan 13, 2013

    • Makefile: update to use cabal-dev.

      leepike

      committed
      f8fb403View commit details

      Copy full SHA for f8fb403

      View code at this pointBrowse repository at this point
20. Commits on Nov 24, 2012

    • updated Makefile.

      leepike

      committed
      4c4470bView commit details

      Copy full SHA for 4c4470b

      View code at this pointBrowse repository at this point

    • Updated makefile for building locally.

      leepike

      committed
      5532351View commit details

      Copy full SHA for 5532351

      View code at this pointBrowse repository at this point

    • Updated cabal file.

      leepike

      committed
      086e971View commit details

      Copy full SHA for 086e971

      View code at this pointBrowse repository at this point
21. Commits on Mar 2, 2012

    • Parameterize makefile to build with cabal or cabal-dev.

      leepike

      committed
      8f7dcceView commit details

      Copy full SHA for 8f7dcce

      View code at this pointBrowse repository at this point
22. Commits on Feb 6, 2012

    • Simplify building from srcs.

      

      LeePike

      committed
      c96525aView commit details

      Copy full SHA for c96525a

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