Commits

Commit history

1. Commits on May 8, 2025

   • Document changes in CHANGELOG. Refs #618.

     ivanperez-keera

     committed
     2ff7d9fView commit details

     Copy full SHA for 2ff7d9f

     View code at this pointBrowse repository at this point

   • Bump versions and constraints. Refs #618.

     ivanperez-keera

     committed
     faa9ba7View commit details

     Copy full SHA for faa9ba7

     View code at this pointBrowse repository at this point
2. Commits on Apr 17, 2025

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

     RyanGlScott

     committed
     3b51c96View commit details

     Copy full SHA for 3b51c96

     View code at this pointBrowse repository at this point

   • copilot-theorem: Translate quantifiers correctly in Kind2 backend. Refs #594.

     Show description for a007efa
     RyanGlScott

     committed
     a007efaView commit details

     Copy full SHA for a007efa

     View code at this pointBrowse repository at this point

   • copilot-theorem: Add Props to specProps. Refs #594.

     Show description for 007e80a
     RyanGlScott

     committed
     007e80aView commit details

     Copy full SHA for 007e80a

     View code at this pointBrowse repository at this point
3. Commits on Mar 8, 2025

   • Document changes in CHANGELOG. Refs #604.

     ivanperez-keera

     committed
     04f7bc4View commit details

     Copy full SHA for 04f7bc4

     View code at this pointBrowse repository at this point

   • Bump versions and constraints. Refs #604.

     ivanperez-keera

     committed
     bfc176aView commit details

     Copy full SHA for bfc176a

     View code at this pointBrowse repository at this point
4. Commits on Mar 6, 2025

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

     RyanGlScott

     committed
     700508aView commit details

     Copy full SHA for 700508a

     View code at this pointBrowse 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

     View code at this pointBrowse repository at this point
5. 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

     View code at this pointBrowse repository at this point
6. Commits on Feb 27, 2025

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

     RyanGlScott

     committed
     134bbdcView commit details

     Copy full SHA for 134bbdc

     View code at this pointBrowse 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

     View code at this pointBrowse 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

     View code at this pointBrowse 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

     View code at this pointBrowse 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

     View code at this pointBrowse repository at this point
7. 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

     View code at this pointBrowse repository at this point
8. Commits on Jan 29, 2025

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

     ivanperez-keera

     committed
     3233cafView commit details

     Copy full SHA for 3233caf

     View code at this pointBrowse repository at this point

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

     Show description for 6bfb6a1
     ivanperez-keera

     committed
     6bfb6a1View commit details

     Copy full SHA for 6bfb6a1

     View code at this pointBrowse repository at this point
9. Commits on Jan 26, 2025

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

     ivanperez-keera

     committed
     2d7a06eView commit details

     Copy full SHA for 2d7a06e

     View code at this pointBrowse repository at this point

   • copilot-theorem: Fix multiple typos in README. Refs #560.

     Show description for f652dea
     ivanperez-keera

     committed
     f652deaView commit details

     Copy full SHA for f652dea

     View code at this pointBrowse repository at this point
10. Commits on Jan 7, 2025

    • Document changes in CHANGELOG. Refs #577.

      ivanperez-keera

      committed
      e2f3f03View commit details

      Copy full SHA for e2f3f03

      View code at this pointBrowse repository at this point

    • Bump versions and constraints. Refs #577.

      ivanperez-keera

      committed
      d44bebdView commit details

      Copy full SHA for d44bebd

      View code at this pointBrowse repository at this point
11. Commits on Jan 3, 2025

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

      kaBeech

      committed
      a31eb04View commit details

      Copy full SHA for a31eb04

      View code at this pointBrowse repository at this point

    • copilot-theorem: Bump upper version constraint on data-default. Refs #570.

      Show description for 40d5f16
      kaBeech

      committed
      40d5f16View commit details

      Copy full SHA for 40d5f16

      View code at this pointBrowse repository at this point

    • copilot-theorem: Bump upper version constraint on containers. Refs #570.

      Show description for 0c7c266
      kaBeech

      committed
      0c7c266View commit details

      Copy full SHA for 0c7c266

      View code at this pointBrowse repository at this point
12. Commits on Dec 13, 2024

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

      kaBeech

      committed
      0cdc163View commit details

      Copy full SHA for 0cdc163

      View code at this pointBrowse repository at this point

    • copilot-theorem: Remove uses of Copilot.Core.Expr.UExpr.uExprType,uExprExpr. Refs #565.

      Show description for 8852cc3
      kaBeech

      committed
      8852cc3View commit details

      Copy full SHA for 8852cc3

      View code at this pointBrowse repository at this point
13. Commits on Nov 8, 2024

    • Document changes in CHANGELOG. Refs #561.

      ivanperez-keera

      committed
      22aec9cView commit details

      Copy full SHA for 22aec9c

      View code at this pointBrowse repository at this point

    • Bump versions and constraints. Refs #561.

      ivanperez-keera

      committed
      fb38f27View commit details

      Copy full SHA for fb38f27

      View code at this pointBrowse repository at this point
14. Commits on Oct 19, 2024

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

      ivanperez-keera

      committed
      6edc8b5View commit details

      Copy full SHA for 6edc8b5

      View code at this pointBrowse repository at this point

    • copilot-theorem: Remove maintainer from entry. Refs #550.

      Show description for b1b2196
      ivanperez-keera

      committed
      b1b2196View commit details

      Copy full SHA for b1b2196

      View code at this pointBrowse repository at this point

    • copilot-theorem: Add missing issue number. Refs #550.

      Show description for 827d410
      ivanperez-keera

      committed
      827d410View commit details

      Copy full SHA for 827d410

      View code at this pointBrowse repository at this point

    • copilot-theorem: Standardize issue references in changelog. Refs #550.

      Show description for c97ef57
      ivanperez-keera

      committed
      c97ef57View commit details

      Copy full SHA for c97ef57

      View code at this pointBrowse repository at this point
15. Commits on Sep 8, 2024

    • Document changes in CHANGELOG. Refs #532.

      ivanperez-keera

      committed
      2cea27dView commit details

      Copy full SHA for 2cea27d

      View code at this pointBrowse repository at this point

    • Bump versions and constraints. Refs #532.

      ivanperez-keera

      committed
      ccfb96eView commit details

      Copy full SHA for ccfb96e

      View code at this pointBrowse repository at this point