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

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

   • bump submodule

     leepike

     committed
     214b1c2View commit details

     Copy full SHA for 214b1c2

     View code at this pointBrowse repository at this point

   • bump copilot-theorem submodule

     leepike

     committed
     af46954View commit details

     Copy full SHA for af46954

     View code at this pointBrowse repository at this point

   • 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
3. Commits on Oct 21, 2015

   • Bumping submodules.

     chathhorn

     committed
     22425c0View commit details

     Copy full SHA for 22425c0

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

   • Bumping submodules.

     chathhorn

     committed
     a737da0View commit details

     Copy full SHA for a737da0

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

   • Bump!!

     chathhorn

     committed
     9b569dfView commit details

     Copy full SHA for 9b569df

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

   • Bump submodules, update makefile.

     chathhorn

     committed
     ce5ca25View commit details

     Copy full SHA for ce5ca25

     View code at this pointBrowse repository at this point

   • Copilot-theorem submodule.

     chathhorn

     committed
     a1c9d3eView commit details

     Copy full SHA for a1c9d3e

     View code at this pointBrowse repository at this point
7. Commits on Jul 27, 2015

   • iu

     

     jaloyan

     committed
     ed8d6baView commit details

     Copy full SHA for ed8d6ba

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

   • Bumping submodules.

     chathhorn

     committed
     2d1ff15View commit details

     Copy full SHA for 2d1ff15

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

   • changed readme

     

     jaloyan

     committed
     ead6122View commit details

     Copy full SHA for ead6122

     View code at this pointBrowse repository at this point
10. 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
11. Commits on May 12, 2015

    • bump submodules

      leepike

      committed
      1c0b916View commit details

      Copy full SHA for 1c0b916

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

    • copilot-discussion: bump submodule

      leepike

      committed
      39a6a4aView commit details

      Copy full SHA for 39a6a4a

      View code at this pointBrowse repository at this point

    • submodules: bump.

      leepike

      committed
      7ea9ebdView commit details

      Copy full SHA for 7ea9ebd

      View code at this pointBrowse repository at this point

    • bump submodule (copilot-c99)

      leepike

      committed
      84bc0b1View commit details

      Copy full SHA for 84bc0b1

      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

    • copilot-c99: bump submodule.

      leepike

      committed
      d8c310bView commit details

      Copy full SHA for d8c310b

      View code at this pointBrowse repository at this point
13. Commits on Sep 15, 2014

    • bump submodules.

      leepike

      committed
      29f0325View commit details

      Copy full SHA for 29f0325

      View code at this pointBrowse repository at this point
14. Commits on Jun 20, 2012

    • Updated submodule.

      leepike

      committed
      ea188e4View commit details

      Copy full SHA for ea188e4

      View code at this pointBrowse repository at this point
15. Commits on Jun 7, 2012

    • Add other copilot libraries as Git submodules.

      leepike

      committed
      cc2966aView commit details

      Copy full SHA for cc2966a

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