Commits

Commit history

1. Commits on Nov 11, 2026

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

     ivanperez-keera

     committed
     50def0fView commit details

     Copy full SHA for 50def0f

     View code at this pointBrowse repository at this point

   • copilot-core: Fix inaccurate Haddock comment of test property. Refs #787.

     Show description for a003e98
     ivanperez-keera

     committed
     a003e98View commit details

     Copy full SHA for a003e98

     View code at this pointBrowse repository at this point
2. Commits on Nov 8, 2026

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

     ivanperez-keera

     committed
     9a6a2d4View commit details

     Copy full SHA for 9a6a2d4

     View code at this pointBrowse repository at this point

   • copilot-core: Version bump (4.8.2). Refs #792.

     ivanperez-keera

     committed
     1a137a8View commit details

     Copy full SHA for 1a137a8

     View code at this pointBrowse repository at this point
3. Commits on Oct 18, 2026

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

     ivanperez-keera

     committed
     1aac617View commit details

     Copy full SHA for 1aac617

     View code at this pointBrowse repository at this point

   • copilot-core: Fix test to use `typeSize` instead of `typeLength`. Refs #784.

     Show description for 6046703
     ivanperez-keera

     committed
     6046703View commit details

     Copy full SHA for 6046703

     View code at this pointBrowse repository at this point

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

     ivanperez-keera

     committed
     7c9c43fView commit details

     Copy full SHA for 7c9c43f

     View code at this pointBrowse repository at this point

   • copilot-core: Fix typo in Haddock comment of test property. Refs #783.

     Show description for 570cda7
     ivanperez-keera

     committed
     570cda7View commit details

     Copy full SHA for 570cda7

     View code at this pointBrowse repository at this point
4. Commits on Oct 16, 2026

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

     kavehz-nasa

     committed
     54f18efView commit details

     Copy full SHA for 54f18ef

     View code at this pointBrowse repository at this point

   • copilot-core: Fix comments for two tests in `Test.Copilot.Core.Type`. Refs #781.

     Show description for 7c2cbbd
     kavehz-nasa

     committed
     7c2cbbdView commit details

     Copy full SHA for 7c2cbbd

     View code at this pointBrowse repository at this point
5. Commits on Oct 12, 2026

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

     ivanperez-keera

     committed
     9835d83View commit details

     Copy full SHA for 9835d83

     View code at this pointBrowse repository at this point

   • copilot-core: Replace tab in CHANGELOG. Refs #772.

     Show description for d567a73
     ivanperez-keera

     committed
     d567a73View commit details

     Copy full SHA for d567a73

     View code at this pointBrowse repository at this point

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

     ivanperez-keera

     committed
     ae2dfdbView commit details

     Copy full SHA for ae2dfdb

     View code at this pointBrowse repository at this point

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

     ivanperez-keera

     committed
     34cc907View commit details

     Copy full SHA for 34cc907

     View code at this pointBrowse repository at this point

   • copilot-core: Test default functions in `Show` instance for `Array`. Refs #767.

     Show description for fa1d30a
     ivanperez-keera

     committed
     fa1d30aView commit details

     Copy full SHA for fa1d30a

     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
6. Commits on Sep 8, 2026

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

     ivanperez-keera

     committed
     69468e7View commit details

     Copy full SHA for 69468e7

     View code at this pointBrowse repository at this point

   • copilot-core: Version bump (4.8.1). Refs #760.

     ivanperez-keera

     committed
     2489e6aView commit details

     Copy full SHA for 2489e6a

     View code at this pointBrowse repository at this point
7. Commits on Jul 8, 2026

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

     ivanperez-keera

     committed
     254abaaView commit details

     Copy full SHA for 254abaa

     View code at this pointBrowse repository at this point

   • copilot-core: Version bump (4.8). Refs #745.

     ivanperez-keera

     committed
     423e4bdView commit details

     Copy full SHA for 423e4bd

     View code at this pointBrowse repository at this point
8. Commits on May 8, 2026

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

     ivanperez-keera

     committed
     df290fbView commit details

     Copy full SHA for df290fb

     View code at this pointBrowse repository at this point

   • copilot-core: Version bump (4.7.1). Refs #730.

     ivanperez-keera

     committed
     2d3d845View commit details

     Copy full SHA for 2d3d845

     View code at this pointBrowse repository at this point
9. Commits on Mar 8, 2026

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

     ivanperez-keera

     committed
     58a46b1View commit details

     Copy full SHA for 58a46b1

     View code at this pointBrowse repository at this point

   • copilot-core: Version bump (4.7). Refs #714.

     ivanperez-keera

     committed
     de96e47View commit details

     Copy full SHA for de96e47

     View code at this pointBrowse repository at this point
10. Commits on Jan 8, 2026

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

      ivanperez-keera

      committed
      eb078b9View commit details

      Copy full SHA for eb078b9

      View code at this pointBrowse repository at this point

    • copilot-core: Version bump (4.6.1). Refs #705.

      ivanperez-keera

      committed
      9b80035View commit details

      Copy full SHA for 9b80035

      View code at this pointBrowse repository at this point
11. Commits on Nov 8, 2025

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

      ivanperez-keera

      committed
      c0d4bedView commit details

      Copy full SHA for c0d4bed

      View code at this pointBrowse repository at this point

    • copilot-core: Version bump (4.6). Refs #679.

      ivanperez-keera

      committed
      de6c50aView commit details

      Copy full SHA for de6c50a

      View code at this pointBrowse repository at this point
12. Commits on Sep 8, 2025

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

      ivanperez-keera

      committed
      051b913View commit details

      Copy full SHA for 051b913

      View code at this pointBrowse repository at this point
13. Commits on Sep 7, 2025

    • copilot-core: Version bump (4.5.1). Refs #666.

      ivanperez-keera

      committed
      3614cc1View commit details

      Copy full SHA for 3614cc1

      View code at this pointBrowse repository at this point
14. Commits on Jul 8, 2025

    • Document changes in CHANGELOG. Refs #642.

      ivanperez-keera

      committed
      3d8674aView commit details

      Copy full SHA for 3d8674a

      View code at this pointBrowse repository at this point

    • Bump versions and constraints. Refs #642.

      ivanperez-keera

      committed
      a9545d7View commit details

      Copy full SHA for a9545d7

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

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

      ivanperez-keera

      committed
      2f4cc73View commit details

      Copy full SHA for 2f4cc73

      View code at this pointBrowse repository at this point

    • 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