Commits

Commit history

1. Commits on Mar 30, 2019

   • Track branch heads.

     Show description for 19d9497
     ivanperez-keera

     committed
     19d9497View commit details

     Copy full SHA for 19d9497

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

   • Added copilot-c99 as submodule

     fdedden

     committed
     c7a4400View commit details

     Copy full SHA for c7a4400

     View code at this pointBrowse repository at this point

   • Removed copilot-cbackend submodule

     fdedden

     committed
     ce83fbdView commit details

     Copy full SHA for ce83fbd

     View code at this pointBrowse repository at this point
3. Commits on Feb 11, 2019

   • Removed obsolete submodules

     fdedden

     committed
     fabf997View commit details

     Copy full SHA for fabf997

     View code at this pointBrowse repository at this point
4. 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
5. Commits on Oct 23, 2015

   • build: remove sbv and smtlib2 as submodules.

     Show description for 1aed85a
     leepike

     committed
     1aed85aView commit details

     Copy full SHA for 1aed85a

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

   • New submodules...

     chathhorn

     committed
     90ab6b4View commit details

     Copy full SHA for 90ab6b4

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

   • Copilot-theorem submodule.

     chathhorn

     committed
     a1c9d3eView commit details

     Copy full SHA for a1c9d3e

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

   • Fix submodule links.

     chathhorn

     committed
     cc0798eView commit details

     Copy full SHA for cc0798e

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

   • Update submodules location.

     leepike

     committed
     05390fcView commit details

     Copy full SHA for 05390fc

     View code at this pointBrowse repository at this point
10. Commits on Jun 18, 2012

    • Fixed bug in submodules URLs.

      leepike

      committed
      d584f92View commit details

      Copy full SHA for d584f92

      View code at this pointBrowse repository at this point

    • Public repos for submodules.

      leepike

      committed
      e9056c3View commit details

      Copy full SHA for e9056c3

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