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 21, 2025

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

     ivanperez-keera

     committed
     3e0b13dView commit details

     Copy full SHA for 3e0b13d

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

     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-core: Document changes in CHANGELOG. Refs #254.

     RyanGlScott

     committed
     3ea5f12View commit details

     Copy full SHA for 3ea5f12

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

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

     Show description for 5b08e81
     RyanGlScott

     committed
     5b08e81View commit details

     Copy full SHA for 5b08e81

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

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

     RyanGlScott

     committed
     a3d2310View commit details

     Copy full SHA for a3d2310

     View code at this pointBrowse repository at this point
7. Commits on Feb 24, 2025

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

     Show description for 0bd29d5
     RyanGlScott

     committed
     0bd29d5View commit details

     Copy full SHA for 0bd29d5

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

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

     ivanperez-keera

     committed
     171e5f6View commit details

     Copy full SHA for 171e5f6

     View code at this pointBrowse repository at this point

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

     Show description for 7e8829b
     ivanperez-keera

     committed
     7e8829bView commit details

     Copy full SHA for 7e8829b

     View code at this pointBrowse repository at this point
9. 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
10. Commits on Jan 6, 2025

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

      RyanGlScott

      committed
      24201b5View commit details

      Copy full SHA for 24201b5

      View code at this pointBrowse repository at this point

    • copilot-core: Warn about future generic default for updateField. Refs #564.

      Show description for 428209e
      RyanGlScott

      committed
      428209eView commit details

      Copy full SHA for 428209e

      View code at this pointBrowse repository at this point

    • copilot-core: Define generic implementations of Struct and Typed methods. Refs #564.

      Show description for b447d1c
      RyanGlScott

      committed
      b447d1cView commit details

      Copy full SHA for b447d1c

      View code at this pointBrowse repository at this point
11. Commits on Dec 30, 2024

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

      ivanperez-keera

      committed
      51b0580View commit details

      Copy full SHA for 51b0580

      View code at this pointBrowse repository at this point

    • copilot-core: Increase test coverage of Copilot.Core.Type.Array. Refs #555.

      Show description for 07ff3f7
      ivanperez-keera

      committed
      07ff3f7View commit details

      Copy full SHA for 07ff3f7

      View code at this pointBrowse repository at this point

    • copilot-core: Increase test coverage of Copilot.Core.Type. Refs #555.

      Show description for 233b5db
      ivanperez-keera

      committed
      233b5dbView commit details

      Copy full SHA for 233b5db

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

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

      kaBeech

      committed
      4d8431dView commit details

      Copy full SHA for 4d8431d

      View code at this pointBrowse repository at this point

    • copilot-core: Deprecate fields of Copilot.Core.Expr.UExpr. Refs #565.

      Show description for af61c37
      kaBeech

      committed
      af61c37View commit details

      Copy full SHA for af61c37

      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 29, 2024

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

      ivanperez-keera

      committed
      2a47663View commit details

      Copy full SHA for 2a47663

      View code at this pointBrowse repository at this point

    • copilot-core: Deprecate Copilot.Core.Type.UType.uTypeType. Refs #484.

      Show description for 7de5f4a
      ivanperez-keera

      committed
      7de5f4aView commit details

      Copy full SHA for 7de5f4a

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

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

      ivanperez-keera

      committed
      980cc5fView commit details

      Copy full SHA for 980cc5f

      View code at this pointBrowse repository at this point

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

      Show description for ca4f6d1
      ivanperez-keera

      committed
      ca4f6d1View commit details

      Copy full SHA for ca4f6d1

      View code at this pointBrowse repository at this point

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

      Show description for 36a92ef
      ivanperez-keera

      committed
      36a92efView commit details

      Copy full SHA for 36a92ef

      View code at this pointBrowse repository at this point

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

      Show description for 7a77646
      ivanperez-keera

      committed
      7a77646View commit details

      Copy full SHA for 7a77646

      View code at this pointBrowse repository at this point

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

      RyanGlScott

      committed
      75a3d90View commit details

      Copy full SHA for 75a3d90

      View code at this pointBrowse repository at this point

    • copilot-core: Make error message for unimplemented updateField more informative. Refs #525.

      Show description for b80e947
      RyanGlScott

      committed
      b80e947View commit details

      Copy full SHA for b80e947

      View code at this pointBrowse repository at this point

    • copilot-core: Add Haddocks for updateField. Refs #525.

      Show description for 93c3520
      RyanGlScott

      committed
      93c3520View commit details

      Copy full SHA for 93c3520

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