Commits

Commit history

1. Commits on Jul 3, 2016

   • change the type of c2sExpr to [SBV a]

     

     lauratitolo

     committed
     9912e8cView commit details

     Copy full SHA for 9912e8c

     Browse repository at this point
2. Commits on Oct 23, 2015

   • cabal: relax dependencies

     leepike

     committed
     6c92b72View commit details

     Copy full SHA for 6c92b72

     Browse repository at this point

   • cabal: fix package dep

     leepike

     committed
     8c3ce07View commit details

     Copy full SHA for 8c3ce07

     Browse repository at this point

   • cabal: relax constraints

     leepike

     committed
     5aba6a5View commit details

     Copy full SHA for 5aba6a5

     Browse repository at this point

   • relax constraints

     leepike

     committed
     51042c4View commit details

     Copy full SHA for 51042c4

     Browse repository at this point

   • bump submodule

     leepike

     committed
     214b1c2View commit details

     Copy full SHA for 214b1c2

     Browse repository at this point

   • bump copilot-theorem submodule

     leepike

     committed
     af46954View commit details

     Copy full SHA for af46954

     Browse repository at this point

   • build: remove sbv and smtlib2 as submodules.

     Show description for 1aed85a
     leepike

     committed
     1aed85aView commit details

     Copy full SHA for 1aed85a

     Browse repository at this point

   • Removing smtlib2 and sbv source dependencies.

     chathhorn

     committed
     b754fa1View commit details

     Copy full SHA for b754fa1

     Browse repository at this point
3. Commits on Oct 21, 2015

   • Bumping submodules.

     chathhorn

     committed
     22425c0View commit details

     Copy full SHA for 22425c0

     Browse repository at this point
4. Commits on Sep 14, 2015

   • Bumping submodules.

     chathhorn

     committed
     a737da0View commit details

     Copy full SHA for a737da0

     Browse repository at this point

   • Bumping version numbers.

     chathhorn

     committed
     769b9dfView commit details

     Copy full SHA for 769b9df

     Browse repository at this point

   • Fix urls, default makefile target.

     chathhorn

     committed
     34d7348View commit details

     Copy full SHA for 34d7348

     Browse repository at this point
5. Commits on Sep 12, 2015

   • update makefile

     Varmin123

     committed
     f32c784View commit details

     Copy full SHA for f32c784

     Browse repository at this point
6. Commits on Aug 14, 2015

   • Fixed travis config.

     chathhorn

     committed
     ad2e290View commit details

     Copy full SHA for ad2e290

     Browse repository at this point
7. Commits on Aug 13, 2015

   • Reverted copilot-sbv submodule, tweaked makefile.

     chathhorn

     committed
     c230444View commit details

     Copy full SHA for c230444

     Browse repository at this point

   • New submodules...

     chathhorn

     committed
     90ab6b4View commit details

     Copy full SHA for 90ab6b4

     Browse repository at this point

   • Makefile tweaks.

     chathhorn

     committed
     085eca6View commit details

     Copy full SHA for 085eca6

     Browse repository at this point

   • Bump!!

     chathhorn

     committed
     9b569dfView commit details

     Copy full SHA for 9b569df

     Browse repository at this point
8. Commits on Aug 12, 2015

   • Moving SBV dep to Makefile.

     chathhorn

     committed
     b4c6d8eView commit details

     Copy full SHA for b4c6d8e

     Browse repository at this point

   • Attempting to fix build.

     chathhorn

     committed
     6fe10a0View commit details

     Copy full SHA for 6fe10a0

     Browse repository at this point

   • New travis config with sbv, ghc 7.10 deps.

     chathhorn

     committed
     8bd1d96View commit details

     Copy full SHA for 8bd1d96

     Browse repository at this point

   • Bump submodules, update makefile.

     chathhorn

     committed
     ce5ca25View commit details

     Copy full SHA for ce5ca25

     Browse repository at this point

   • Copilot-theorem submodule.

     chathhorn

     committed
     a1c9d3eView commit details

     Copy full SHA for a1c9d3e

     Browse repository at this point
9. Commits on Jul 27, 2015

   • iu

     

     jaloyan

     committed
     ed8d6baView commit details

     Copy full SHA for ed8d6ba

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

    • Prevent travis from choking.

      chathhorn

      committed
      2bca648View commit details

      Copy full SHA for 2bca648

      Browse repository at this point

    • Bumping submodules.

      chathhorn

      committed
      2d1ff15View commit details

      Copy full SHA for 2d1ff15

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

    • Reformulation + style of readme.

      

      jaloyan

      committed
      af6e181View commit details

      Copy full SHA for af6e181

      Browse repository at this point
12. Commits on Jun 18, 2015

    • changed readme

      

      jaloyan

      committed
      ead6122View commit details

      Copy full SHA for ead6122

      Browse repository at this point
13. Commits on Jun 16, 2015

    • Changed some things.

      

      jaloyan

      committed
      42b7164View commit details

      Copy full SHA for 42b7164

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

    • Removing minor version numbers.

      chathhorn

      committed
      a02a8a7View commit details

      Copy full SHA for a02a8a7

      Browse repository at this point
15. 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
16. Commits on May 12, 2015

    • bump submodules

      leepike

      committed
      1c0b916View commit details

      Copy full SHA for 1c0b916

      Browse repository at this point