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

     Browse repository at this point
2. Commits on Feb 6, 2024

   • Bump release version to 0.1

     RyanGlScott

     committed
     82751b4View commit details

     Copy full SHA for 82751b4

     Browse repository at this point

   • CI: Run cabal check

     RyanGlScott

     committed
     4c40e37View commit details

     Copy full SHA for 4c40e37

     Browse repository at this point

   • Fix build with llvm-pretty-0.12.*

     RyanGlScott

     committed
     1f1adcfView commit details

     Copy full SHA for 1f1adcf

     Browse repository at this point

   • Swap out submodules for Hackage dependencies

     RyanGlScott

     committed
     0d420c8View commit details

     Copy full SHA for 0d420c8

     Browse repository at this point

   • Add README.md to extra-doc-files

     RyanGlScott

     committed
     058a023View commit details

     Copy full SHA for 058a023

     Browse repository at this point

   • Add .cabal file description

     RyanGlScott

     committed
     cf8feeeView commit details

     Copy full SHA for cf8feee

     Browse repository at this point

   • Use -fprof-top-exported, not -fprof-top-auto

     Show description for 4d54a3e
     RyanGlScott

     committed
     4d54a3eView commit details

     Copy full SHA for 4d54a3e

     Browse repository at this point

   • Add CHANGELOG.md file

     RyanGlScott

     committed
     4567d3bView commit details

     Copy full SHA for 4567d3b

     Browse repository at this point

   • Add source-repository stanza

     RyanGlScott

     committed
     146f55cView commit details

     Copy full SHA for 146f55c

     Browse repository at this point

   • Update copyright years

     RyanGlScott

     committed
     bb3e97aView commit details

     Copy full SHA for bb3e97a

     Browse repository at this point

   • Update maintainer

     RyanGlScott

     committed
     0d92d58View commit details

     Copy full SHA for 0d92d58

     Browse repository at this point
3. Commits on Jan 8, 2024

   • Add regression test for Copilot-Language/copilot#431

     RyanGlScott

     committed
     b37d83bView commit details

     Copy full SHA for b37d83b

     Browse repository at this point

   • Bump copilot submodule to 3.18.1

     Show description for b399ebc
     RyanGlScott

     committed
     b399ebcView commit details

     Copy full SHA for b399ebc

     Browse repository at this point
4. 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

     Browse repository at this point

   • Document installation instructions

     RyanGlScott

     committed
     ea83dd2View commit details

     Copy full SHA for ea83dd2

     Browse repository at this point

   • CI: Test GHC 9.4, drop 9.0, use cabal-3.10.2.0

     RyanGlScott

     committed
     32df417View commit details

     Copy full SHA for 32df417

     Browse repository at this point

   • Pass -ffp-contract=off to Clang when compiling C code

     Show description for bc70ee6
     RyanGlScott

     committed
     bc70ee6View commit details

     Copy full SHA for bc70ee6

     Browse repository at this point

   • Bump dependencies, require copilot >= 3.17

     Show description for 46c83ad
     RyanGlScott

     committed
     46c83adView commit details

     Copy full SHA for 46c83ad

     Browse repository at this point
5. Commits on Apr 10, 2023

   • Log information about proof goals with Noisy verbosity

     Show description for 7a5dc4c
     RyanGlScott

     committed
     7a5dc4cView commit details

     Copy full SHA for 7a5dc4c

     Browse repository at this point

   • Split up Verbosity more

     Show description for 4f63422
     RyanGlScott

     committed
     4f63422View commit details

     Copy full SHA for 4f63422

     Browse repository at this point

   • Convert CopilotLogMessage to a GADT

     RyanGlScott

     committed
     e621fc0View commit details

     Copy full SHA for e621fc0

     Browse repository at this point
6. Commits on Apr 3, 2023

   • Pin against our Copilot fork as a submodule

     Show description for 703e54b
     RyanGlScott

     committed
     703e54bView commit details

     Copy full SHA for 703e54b

     Browse repository at this point
7. Commits on Mar 15, 2023

   • Support logging raw SMT solver interactions

     Show description for ce60fa9
     RyanGlScott

     committed
     ce60fa9View commit details

     Copy full SHA for ce60fa9

     Browse repository at this point
8. Commits on Mar 8, 2023

   • Basic GitHub Actions CI

     Show description for d8dc402
     RyanGlScott

     committed
     d8dc402View commit details

     Copy full SHA for d8dc402

     Browse repository at this point
9. 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

     Browse repository at this point
10. Commits on Jan 8, 2023

    • Add example testing Copilot-Language/copilot#386

      RyanGlScott

      committed
      c6eef4aView commit details

      Copy full SHA for c6eef4a

      Browse repository at this point

    • examples: Switch out deprecated import

      Show description for ce4aa73
      RyanGlScott

      committed
      ce4aa73View commit details

      Copy full SHA for ce4aa73

      Browse repository at this point

    • Bump copilot submodule to 3.13

      Show description for e6e0785
      RyanGlScott

      committed
      e6e0785View commit details

      Copy full SHA for e6e0785

      Browse repository at this point
11. Commits on Jan 3, 2023

    • Fix handling of nested structs

      Show description for c1fd47e
      RyanGlScott

      committed
      c1fd47eView commit details

      Copy full SHA for c1fd47e

      Browse repository at this point
12. Commits on Jan 2, 2023

    • Bump copilot submodule

      RyanGlScott

      committed
      3912e8fView commit details

      Copy full SHA for 3912e8f

      Browse repository at this point
13. Commits on Jan 1, 2023

    • Fix minor buglet when calling verifyStepBisimulation

      Show description for b113053
      RyanGlScott

      committed
      b113053View commit details

      Copy full SHA for b113053

      Browse repository at this point
14. Commits on Oct 25, 2022

    • Bump crucible, what4 submodules

      RyanGlScott

      committed
      ac3affbView commit details

      Copy full SHA for ac3affb

      Browse repository at this point
15. Commits on Oct 12, 2022

    • Use upstream copilot as submodule

      Show description for ed7249f
      RyanGlScott

      committed
      ed7249fView commit details

      Copy full SHA for ed7249f

      Browse repository at this point
16. Commits on Sep 1, 2022

    • Tweak heater example slightly

      RyanGlScott

      committed
      9a65972View commit details

      Copy full SHA for 9a65972

      Browse repository at this point