Commits

Commit history

1. Commits on Oct 12, 2026

   • copilot-core: Fix errors in the documentation of `Copilot.Core.Spec`. Refs #769.

     Show description for ae91b9a
     ivanperez-keera

     committed
     ae91b9aView commit details

     Copy full SHA for ae91b9a

     View code at this pointBrowse repository at this point

   • copilot-core: Force evaluation of `Proxy` value in `Copilot.Core.Type.Array`. Refs #767.

     Show description for 06c31d0
     ivanperez-keera

     committed
     06c31d0View commit details

     Copy full SHA for 06c31d0

     View code at this pointBrowse repository at this point
2. Commits on Jun 28, 2025

   • copilot-core: Remove deprecated fields of Copilot.Core.Expr.UExpr. Refs #636.

     Show description for 1e24c30
     ivanperez-keera

     committed
     1e24c30View commit details

     Copy full SHA for 1e24c30

     View code at this pointBrowse repository at this point
3. Commits on Apr 21, 2025

   • 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
4. 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
5. 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
6. Commits on Jan 29, 2025

   • 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
7. Commits on Jan 6, 2025

   • 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 13, 2024

   • 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
9. Commits on Oct 29, 2024

   • 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
10. Commits on Oct 19, 2024

    • 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
11. Commits on Sep 6, 2024

    • 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
12. Commits on Jul 8, 2024

    • copilot-core: Add new update operation to Struct. Refs #520.

      Show description for c9998e3
      

      3 peoplecommitted
      c9998e3View commit details

      Copy full SHA for c9998e3

      View code at this pointBrowse repository at this point

    • copilot-core: Introduce new kind of struct field update operator. Refs #520.

      Show description for 6c8ae3f
      

      3 peoplecommitted
      6c8ae3fView commit details

      Copy full SHA for 6c8ae3f

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

    • copilot-core: Remove deprecated function Copilot.Core.Type.Array.arrayelems. Refs #500.

      Show description for 2002451
      ivanperez-keera

      committed
      2002451View commit details

      Copy full SHA for 2002451

      View code at this pointBrowse repository at this point

    • copilot-core: Remove deprecated function Copilot.Core.Type.accessorname. Refs #500.

      Show description for 8794bec
      ivanperez-keera

      committed
      8794becView commit details

      Copy full SHA for 8794bec

      View code at this pointBrowse repository at this point

    • copilot-core: Remove deprecated function Copilot.Core.Type.fieldname. Refs #500.

      Show description for a7cf5a4
      ivanperez-keera

      committed
      a7cf5a4View commit details

      Copy full SHA for a7cf5a4

      View code at this pointBrowse repository at this point

    • copilot-core: Remove deprecated function Copilot.Core.Type.typename. Refs #500.

      Show description for d14323e
      ivanperez-keera

      committed
      d14323eView commit details

      Copy full SHA for d14323e

      View code at this pointBrowse repository at this point

    • copilot-core: Remove deprecated function Copilot.Core.Type.tylength. Refs #500.

      Show description for d68c03d
      ivanperez-keera

      committed
      d68c03dView commit details

      Copy full SHA for d68c03d

      View code at this pointBrowse repository at this point

    • copilot-core: Remove deprecated function Copilot.Core.Type.tysize. Refs #500.

      Show description for 89e22b5
      ivanperez-keera

      committed
      89e22b5View commit details

      Copy full SHA for 89e22b5

      View code at this pointBrowse repository at this point
14. Commits on Nov 6, 2023

    • copilot-core: Update uses of tylength. Refs #457.

      Show description for 613b7b2
      ivanperez-keera

      committed
      613b7b2View commit details

      Copy full SHA for 613b7b2

      View code at this pointBrowse repository at this point

    • copilot-core: Update uses of tysize. Refs #457.

      Show description for c235a2a
      ivanperez-keera

      committed
      c235a2aView commit details

      Copy full SHA for c235a2a

      View code at this pointBrowse repository at this point

    • copilot-core: Rename arrayelems to arrayElems. Refs #457.

      Show description for 0a53d01
      ivanperez-keera

      committed
      0a53d01View commit details

      Copy full SHA for 0a53d01

      View code at this pointBrowse repository at this point

    • copilot-core: Rename accessorname to accessorName. Refs #457.

      Show description for 6349d83
      ivanperez-keera

      committed
      6349d83View commit details

      Copy full SHA for 6349d83

      View code at this pointBrowse repository at this point

    • copilot-core: Rename fieldname to fieldName. Refs #457.

      Show description for 2a7ce84
      ivanperez-keera

      committed
      2a7ce84View commit details

      Copy full SHA for 2a7ce84

      View code at this pointBrowse repository at this point

    • copilot-core: Rename typename to typeName. Refs #457.

      Show description for 30e5b3a
      ivanperez-keera

      committed
      30e5b3aView commit details

      Copy full SHA for 30e5b3a

      View code at this pointBrowse repository at this point

    • copilot-core: Rename tylength to typeLength. Refs #457.

      Show description for ed84627
      ivanperez-keera

      committed
      ed84627View commit details

      Copy full SHA for ed84627

      View code at this pointBrowse repository at this point

    • copilot-core: Rename tysize to typeSize. Refs #457.

      Show description for 957fdd2
      ivanperez-keera

      committed
      957fdd2View commit details

      Copy full SHA for 957fdd2

      View code at this pointBrowse repository at this point
15. Commits on Apr 19, 2023

    • copilot-core: Remove module Copilot.Core.Type.Show. Refs #426.

      Show description for 6d1e27b
      ivanperez-keera

      committed
      6d1e27bView commit details

      Copy full SHA for 6d1e27b

      View code at this pointBrowse repository at this point

    • copilot-core: Remove module Copilot.Core.Error. Refs #426.

      Show description for 566875e
      ivanperez-keera

      committed
      566875eView commit details

      Copy full SHA for 566875e

      View code at this pointBrowse repository at this point

    • copilot-core: Remove module Copilot.Core.PrettyPrint. Refs #426.

      Show description for dd491ba
      ivanperez-keera

      committed
      dd491baView commit details

      Copy full SHA for dd491ba

      View code at this pointBrowse repository at this point
16. Commits on Apr 17, 2023

    • copilot-core: Remove module Copilot.Core.Type.Equality. Refs #427.

      Show description for c173628
      ivanperez-keera

      committed
      c173628View commit details

      Copy full SHA for c173628

      View code at this pointBrowse repository at this point