Commits

Commit history

1. Commits on Feb 7, 2024

   • Extract and print call sites of trigger invocations from copilot spec

     

     Alex Mahrer

     authored and

     RyanGlScott

     committed
     7643610View commit details

     Copy full SHA for 7643610

     View code at this pointBrowse repository at this point
2. Commits on Feb 6, 2024

   • Swap out submodules for Hackage dependencies

     RyanGlScott

     committed
     0d420c8View commit details

     Copy full SHA for 0d420c8

     View code at this pointBrowse repository at this point
3. Commits on Dec 13, 2023

   • Don't build llvm-pretty-bc-parser with tests enabled

     Show description for 75a7c06
     RyanGlScott

     committed
     75a7c06View commit details

     Copy full SHA for 75a7c06

     View code at this pointBrowse repository at this point
4. Commits on Feb 16, 2023

   • copilot-verifier demo from YouTube video

     Show description for 276c498
     RyanGlScott

     committed
     276c498View commit details

     Copy full SHA for 276c498

     View code at this pointBrowse repository at this point
5. Commits on Jan 8, 2023

   • Bump copilot submodule to 3.13

     Show description for e6e0785
     RyanGlScott

     committed
     e6e0785View commit details

     Copy full SHA for e6e0785

     View code at this pointBrowse repository at this point
6. Commits on Aug 24, 2022

   • Rebase copilot submodule on top of upstream master

     RyanGlScott

     committed
     4f4ba4cView commit details

     Copy full SHA for 4f4ba4c

     View code at this pointBrowse repository at this point
7. Commits on Aug 23, 2022

   • Rebase copilot submodule on top of upstream master

     RyanGlScott

     committed
     4787cdcView commit details

     Copy full SHA for 4787cdc

     View code at this pointBrowse repository at this point
8. Commits on Dec 6, 2021

   • Make FPOps example work for both Floats and Doubles

     Show description for 6fe812b
     RyanGlScott

     committed
     6fe812bView commit details

     Copy full SHA for 6fe812b

     View code at this pointBrowse repository at this point
9. Commits on Sep 21, 2021

   • Pull from upstream copilot and rebase.

     robdockins

     committed
     9d0b58aView commit details

     Copy full SHA for 9d0b58a

     View code at this pointBrowse repository at this point
10. Commits on Sep 20, 2021

    • Some more examples

      robdockins

      committed
      f2366d4View commit details

      Copy full SHA for f2366d4

      View code at this pointBrowse repository at this point
11. Commits on Sep 14, 2021

    • Progress on the coinductive step of bisimulation proof.

      robdockins

      committed
      621a526View commit details

      Copy full SHA for 621a526

      View code at this pointBrowse repository at this point
12. Commits on Sep 9, 2021

    • Start pulling the pieces together.

      Show description for 93a5a62
      robdockins

      committed
      93a5a62View commit details

      Copy full SHA for 93a5a62

      View code at this pointBrowse repository at this point

    • Initial project structure

      robdockins

      committed
      1b8e4b2View commit details

      Copy full SHA for 1b8e4b2

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