Commits

Commit history

1. Commits on Apr 9, 2019

   • Updated submodules to 3.0.1 release

     fdedden

     committed
     76e62c3View commit details

     Copy full SHA for 76e62c3

     View code at this pointBrowse repository at this point
2. Commits on Apr 1, 2019

   • Updated submodules for 3.0 release

     fdedden

     committed
     74ad09dView commit details

     Copy full SHA for 74ad09d

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

   • Point to latest masters in submodules.

     Show description for 8b6bb31
     ivanperez-keera

     committed
     8b6bb31View commit details

     Copy full SHA for 8b6bb31

     View code at this pointBrowse repository at this point

   • Makes libraries point to the respective HEADS of the right branches.

     Show description for 994a86b
     ivanperez-keera

     committed
     994a86bView commit details

     Copy full SHA for 994a86b

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

   • Updated submodules to new array implementation

     fdedden

     committed
     1fdcd4aView commit details

     Copy full SHA for 1fdcd4a

     View code at this pointBrowse repository at this point
7. Commits on Mar 9, 2018

   • Updated copilot-cbackend to include acsl

     fdedden

     committed
     bd2d5f7View commit details

     Copy full SHA for bd2d5f7

     View code at this pointBrowse repository at this point
8. Commits on Feb 28, 2018

   • Updated submodules

     fdedden

     committed
     494df1aView commit details

     Copy full SHA for 494df1a

     View code at this pointBrowse repository at this point
9. Commits on Feb 5, 2018

   • Updated submodules to today's versions

     fdedden

     committed
     8307065View commit details

     Copy full SHA for 8307065

     View code at this pointBrowse repository at this point
10. 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
11. Commits on Dec 14, 2017

    • Removed .DS_Store files and added them to .gitignore

      fdedden

      committed
      3208b89View commit details

      Copy full SHA for 3208b89

      View code at this pointBrowse repository at this point

    • Updated repos of submodules

      fdedden

      committed
      abaf1d5View commit details

      Copy full SHA for abaf1d5

      View code at this pointBrowse repository at this point
12. Commits on Jul 6, 2017

    • Section 3.5 1

      mgc1998

      committed
      a7203a8View commit details

      Copy full SHA for a7203a8

      View code at this pointBrowse repository at this point
13. Commits on Jul 5, 2017

    • fix links

      a-goodloe

      committed
      84ec61cView commit details

      Copy full SHA for 84ec61c

      View code at this pointBrowse repository at this point
14. Commits on Jul 3, 2017

    • Latch Example 2

      mgc1998

      committed
      f678e65View commit details

      Copy full SHA for f678e65

      View code at this pointBrowse repository at this point

    • Merge branch 'master' of https://github.com/Copilot-Language/Copilot

      mgc1998

      committed
      a15918cView commit details

      Copy full SHA for a15918c

      View code at this pointBrowse repository at this point

    • Latch Example Fix

      mgc1998

      committed
      cc23ea2View commit details

      Copy full SHA for cc23ea2

      View code at this pointBrowse repository at this point
15. Commits on Jun 28, 2017

    • Getting submodules in order

      a-goodloe

      committed
      e6933eaView commit details

      Copy full SHA for e6933ea

      View code at this pointBrowse repository at this point
16. 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
17. 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
18. 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
19. 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
20. 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
21. 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
22. 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
23. 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
24. 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
25. 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