Commits

Commit history

1. Commits on Dec 13, 2023

   • Document installation instructions

     RyanGlScott

     committed
     ea83dd2View commit details

     Copy full SHA for ea83dd2

     View code at this pointBrowse repository at this point
2. Commits on Jun 21, 2022

   • Add option for assuming side conditions from partial operations

     Show description for 2011954
     RyanGlScott

     committed
     2011954View commit details

     Copy full SHA for 2011954

     View code at this pointBrowse repository at this point
3. Commits on Jan 4, 2022

   • Apply suggestions from code review

     Show description for 34d0cd8
     

     robdockins

     and

     RyanGlScott

     authored
     34d0cd8View commit details

     Copy full SHA for 34d0cd8

     View code at this pointBrowse repository at this point
4. Commits on Dec 23, 2021

   • Additional comments in the README

     robdockins

     committed
     9c7b0aaView commit details

     Copy full SHA for 9c7b0aa

     View code at this pointBrowse repository at this point

   • Add an actual README that explains what copilot-verifier is,

     Show description for 11c1a15
     robdockins

     committed
     11c1a15View commit details

     Copy full SHA for 11c1a15

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

   • Initial project structure

     robdockins

     committed
     1b8e4b2View commit details

     Copy full SHA for 1b8e4b2

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