Commits

Commit history

1. Commits on May 17, 2025

   • Future time LTL.

     Show description for 3c09c81
     ivanperez-keera

     committed
     3c09c81View commit details

     Copy full SHA for 3c09c81

     Browse repository at this point
2. Commits on May 8, 2025

   • Merge branch 'release-4.4'. Close #618.

     Show description for 1b03ab5
     ivanperez-keera

     committed
     1b03ab5View commit details

     Copy full SHA for 1b03ab5

     Browse repository at this point

   • Document changes in CHANGELOG. Refs #618.

     ivanperez-keera

     committed
     2ff7d9fView commit details

     Copy full SHA for 2ff7d9f

     Browse repository at this point

   • Bump versions and constraints. Refs #618.

     ivanperez-keera

     committed
     faa9ba7View commit details

     Copy full SHA for faa9ba7

     Browse repository at this point
3. Commits on May 1, 2025

   • Merge branch 'fix-build-status-icon'. Close #612.

     ivanperez-keera

     committed
     0d99a80View commit details

     Copy full SHA for 0d99a80

     Browse repository at this point
4. Commits on Apr 29, 2025

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

     

     kaBeech

     authored and

     Kyle Beechly

     committed
     e54f7c0View commit details

     Copy full SHA for e54f7c0

     Browse repository at this point

   • copilot: Update build status URL. Refs #612.

     Show description for bb3a109
     

     kaBeech

     authored and

     Kyle Beechly

     committed
     bb3a109View commit details

     Copy full SHA for bb3a109

     Browse repository at this point
5. Commits on Apr 23, 2025

   • Merge branch 'develop-remove-uTypeType'. Close #615.

     Show description for 17b918f
     ivanperez-keera

     committed
     17b918fView commit details

     Copy full SHA for 17b918f

     Browse repository at this point
6. Commits on Apr 21, 2025

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

     ivanperez-keera

     committed
     3e0b13dView commit details

     Copy full SHA for 3e0b13d

     Browse repository at this point

   • copilot-core: Remove deprecated Copilot.Core.Type.uTypeType. Refs #615.

     Show description for 03b7adc
     ivanperez-keera

     committed
     03b7adcView commit details

     Copy full SHA for 03b7adc

     Browse repository at this point
7. Commits on Apr 19, 2025

   • Merge branch 'develop-kind2-respect-quantifiers-T594'. Close #594.

     Show description for f16e417
     ivanperez-keera

     committed
     f16e417View commit details

     Copy full SHA for f16e417

     Browse repository at this point
8. Commits on Apr 17, 2025

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

     RyanGlScott

     committed
     3b51c96View commit details

     Copy full SHA for 3b51c96

     Browse 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

     Browse 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

     Browse repository at this point
9. Commits on Mar 8, 2025

   • Merge branch 'release-4.3'. Close #604.

     Show description for e042933
     ivanperez-keera

     committed
     e042933View commit details

     Copy full SHA for e042933

     Browse repository at this point

   • Document changes in CHANGELOG. Refs #604.

     ivanperez-keera

     committed
     04f7bc4View commit details

     Copy full SHA for 04f7bc4

     Browse repository at this point

   • Bump versions and constraints. Refs #604.

     ivanperez-keera

     committed
     bfc176aView commit details

     Copy full SHA for bfc176a

     Browse repository at this point
10. Commits on Mar 7, 2025

    • Merge branch 'develop-deprecate-arrayAccess'. Close #599.

      Show description for 4e22d07
      ivanperez-keera

      committed
      4e22d07View commit details

      Copy full SHA for 4e22d07

      Browse repository at this point

    • copilot-libraries: Document changes in CHANGELOG. Refs #599.

      ivanperez-keera

      committed
      7d22a1bView commit details

      Copy full SHA for 7d22a1b

      Browse repository at this point

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

      ivanperez-keera

      committed
      f5bad96View commit details

      Copy full SHA for f5bad96

      Browse repository at this point

    • copilot-libraries: Remove deprecated function Copilot.Library.Utils.(!!). Refs #599.

      Show description for 7414eba
      ivanperez-keera

      committed
      7414ebaView commit details

      Copy full SHA for 7414eba

      Browse repository at this point

    • copilot-language: Remove deprecated function Copilot.Language.Operators.Array.(.!!). Refs #599.

      Show description for 83086bf
      ivanperez-keera

      committed
      83086bfView commit details

      Copy full SHA for 83086bf

      Browse repository at this point

    • 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
11. 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
12. 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