Commits

Commit history

1. Commits on Mar 7, 2025

   • Merge branch 'develop-what4-respect-quantifiers-T254'. Close #254.

     Show description for ca626c0
     ivanperez-keera

     committed
     ca626c0View commit details

     Copy full SHA for ca626c0

     Browse repository at this point
2. Commits on Mar 6, 2025

   • copilot-theorem: Document changes in CHANGELOG. Refs #254.

     RyanGlScott

     committed
     700508aView commit details

     Copy full SHA for 700508a

     Browse repository at this point

   • copilot-prettyprinter: Document changes in CHANGELOG. Refs #254.

     RyanGlScott

     committed
     88a67f5View commit details

     Copy full SHA for 88a67f5

     Browse repository at this point

   • copilot-language: Document changes in CHANGELOG. Refs #254.

     RyanGlScott

     committed
     b4664cdView commit details

     Copy full SHA for b4664cd

     Browse repository at this point

   • copilot-core: Document changes in CHANGELOG. Refs #254.

     RyanGlScott

     committed
     3ea5f12View commit details

     Copy full SHA for 3ea5f12

     Browse repository at this point

   • copilot-theorem: Reject existentially quantified propositions in What4 backend. Refs #254.

     Show description for d139242
     RyanGlScott

     committed
     d139242View commit details

     Copy full SHA for d139242

     Browse repository at this point
3. Commits on Mar 5, 2025

   • copilot-theorem: Preserve proposition quantifiers. Refs Copilot-Language#254.

     Show description for bce4c10
     RyanGlScott

     committed
     bce4c10View commit details

     Copy full SHA for bce4c10

     Browse repository at this point

   • copilot-prettyprinter: Preserve proposition quantifiers. Refs Copilot-Language#254.

     Show description for 8e46a13
     RyanGlScott

     committed
     8e46a13View commit details

     Copy full SHA for 8e46a13

     Browse repository at this point

   • copilot-language: Preserve proposition quantifiers. Refs Copilot-Language#254.

     Show description for 0c3e702
     RyanGlScott

     committed
     0c3e702View commit details

     Copy full SHA for 0c3e702

     Browse repository at this point

   • copilot-core: Preserve proposition quantifiers. Refs Copilot-Language#254.

     Show description for 5b08e81
     RyanGlScott

     committed
     5b08e81View commit details

     Copy full SHA for 5b08e81

     Browse repository at this point

   • Merge branch 'dev-readme-installation'. Close #597.

     Show description for 0845db1
     ivanperez-keera

     committed
     0845db1View commit details

     Copy full SHA for 0845db1

     Browse repository at this point

   • copilot: Document changes in CHANGELOG. Refs #597.

     ivanperez-keera

     committed
     ea702c9View commit details

     Copy full SHA for ea702c9

     Browse repository at this point

   • copilot: List all Copilot packages in installation command in README. Refs #597.

     Show description for 6061af7
     ivanperez-keera

     committed
     6061af7View commit details

     Copy full SHA for 6061af7

     Browse repository at this point
4. Commits on Feb 28, 2025

   • Merge branch 'develop-copilot-theorem-counterexamples-take-three'. Close #589.

     Show description for f39b9da
     ivanperez-keera

     committed
     f39b9daView commit details

     Copy full SHA for f39b9da

     Browse repository at this point
5. Commits on Feb 27, 2025

   • copilot: Document changes in CHANGELOG. Refs #589.

     RyanGlScott

     committed
     9861071View commit details

     Copy full SHA for 9861071

     Browse repository at this point

   • copilot-theorem: Document changes in CHANGELOG. Refs #589.

     RyanGlScott

     committed
     134bbdcView commit details

     Copy full SHA for 134bbdc

     Browse repository at this point

   • copilot-core: Document changes in CHANGELOG. Refs #589.

     RyanGlScott

     committed
     a3d2310View commit details

     Copy full SHA for a3d2310

     Browse repository at this point

   • copilot: Add example of how to use proveWithCounterExample. Refs #589.

     Show description for ed24a0e
     RyanGlScott

     committed
     ed24a0eView commit details

     Copy full SHA for ed24a0e

     Browse repository at this point

   • copilot-theorem: Add test cases for proveWithCounterExample. Refs #589.

     Show description for 0727256
     RyanGlScott

     committed
     0727256View commit details

     Copy full SHA for 0727256

     Browse repository at this point

   • copilot-theorem: Add Show and ShowF instances for counterexamples. Refs #589.

     Show description for 8d2a643
     RyanGlScott

     committed
     8d2a643View commit details

     Copy full SHA for 8d2a643

     Browse repository at this point

   • copilot-theorem: Add function to produce counterexamples for invalid properties. Refs #589.

     Show description for c5ea1c0
     RyanGlScott

     committed
     c5ea1c0View commit details

     Copy full SHA for c5ea1c0

     Browse repository at this point

   • copilot-theorem: Add XEmptyArray and XArray cases for valFromExpr. Refs #589.

     Show description for e23df09
     RyanGlScott

     committed
     e23df09View commit details

     Copy full SHA for e23df09

     Browse repository at this point
6. Commits on Feb 24, 2025

   • copilot-theorem: Record Typed evidence in XEmptyArray and XArray. Refs #589.

     Show description for 86d7543
     RyanGlScott

     committed
     86d7543View commit details

     Copy full SHA for 86d7543

     Browse repository at this point

   • copilot-core: Add Show instance for Type. Refs #589.

     Show description for 0bd29d5
     RyanGlScott

     committed
     0bd29d5View commit details

     Copy full SHA for 0bd29d5

     Browse repository at this point
7. Commits on Feb 3, 2025

   • Merge branch 'develop-readme-ghc9.10'. Close #590.

     Show description for e234f1b
     ivanperez-keera

     committed
     e234f1bView commit details

     Copy full SHA for e234f1b

     Browse repository at this point
8. Commits on Jan 31, 2025

   • copilot: Document changes in CHANGELOG. Refs #590.

     estherdconrad

     committed
     c1829daView commit details

     Copy full SHA for c1829da

     Browse repository at this point

   • copilot: Update version of GHC in README. Refs #590.

     Show description for 565d016
     estherdconrad

     committed
     565d016View commit details

     Copy full SHA for 565d016

     Browse repository at this point

   • Merge branch 'develop-missing-dependencies'. Close #591.

     Show description for da787ad
     ivanperez-keera

     committed
     da787adView commit details

     Copy full SHA for da787ad

     Browse repository at this point

   • copilot: Document changes in CHANGELOG. Refs #591.

     ivanperez-keera

     committed
     b3bc4e4View commit details

     Copy full SHA for b3bc4e4

     Browse repository at this point

   • copilot: Include missing dependencies in installation instructions. Refs #591.

     Show description for 03a8059
     ivanperez-keera

     committed
     03a8059View commit details

     Copy full SHA for 03a8059

     Browse repository at this point
9. Commits on Jan 29, 2025

   • Merge branch 'develop-typos'. Close #587.

     Show description for f055d82
     ivanperez-keera

     committed
     f055d82View commit details

     Copy full SHA for f055d82

     Browse repository at this point

   • copilot-language: Document changes in CHANGELOG. Refs #587.

     ivanperez-keera

     committed
     0d9214eView commit details

     Copy full SHA for 0d9214e

     Browse repository at this point

   • copilot-theorem: Document changes in CHANGELOG. Refs #587.

     ivanperez-keera

     committed
     3233cafView commit details

     Copy full SHA for 3233caf

     Browse repository at this point

   • copilot-core: Document changes in CHANGELOG. Refs #587.

     ivanperez-keera

     committed
     171e5f6View commit details

     Copy full SHA for 171e5f6

     Browse repository at this point

   • copilot-language: Fix typo in documentation. Refs #587.

     Show description for 751767d
     ivanperez-keera

     committed
     751767dView commit details

     Copy full SHA for 751767d

     Browse repository at this point