Commits

Commit history

1. 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
2. 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
3. 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
4. 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
5. 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
6. 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
7. 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
8. 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
9. 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
10. 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
11. 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
12. 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
13. 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
14. Commits on Sep 6, 2024

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

      ivanperez-keera

      committed
      165e430View commit details

      Copy full SHA for 165e430

      View code at this pointBrowse repository at this point

    • copilot-core: Introduce operations to update arrays. Refs #36.

      Show description for fc47b39
      

      ivanperez-keera

      and

      InnovativeInventor

      committed
      fc47b39View commit details

      Copy full SHA for fc47b39

      View code at this pointBrowse repository at this point

    • copilot-core: Introduce new kind of array element update operator. Refs #36.

      Show description for b2cc118
      

      ivanperez-keera

      and

      InnovativeInventor

      committed
      b2cc118View commit details

      Copy full SHA for b2cc118

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

    • Document changes in CHANGELOG. Refs #522.

      ivanperez-keera

      committed
      76bbefeView commit details

      Copy full SHA for 76bbefe

      View code at this pointBrowse repository at this point

    • Bump versions and constraints. Refs #522.

      ivanperez-keera

      committed
      2fcf3a7View commit details

      Copy full SHA for 2fcf3a7

      View code at this pointBrowse repository at this point

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

      ivanperez-keera

      committed
      51996b7View commit details

      Copy full SHA for 51996b7

      View code at this pointBrowse repository at this point