Commits

Commit history

1. Commits on Nov 8, 2026

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

     ivanperez-keera

     committed
     c8e5d84View commit details

     Copy full SHA for c8e5d84

     View code at this pointBrowse repository at this point

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

     ivanperez-keera

     committed
     c2b0269View commit details

     Copy full SHA for c2b0269

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

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

     ivanperez-keera

     committed
     8f84c76View commit details

     Copy full SHA for 8f84c76

     View code at this pointBrowse repository at this point

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

     ivanperez-keera

     committed
     80b8ed2View commit details

     Copy full SHA for 80b8ed2

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

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

     ivanperez-keera

     committed
     310c80dView commit details

     Copy full SHA for 310c80d

     View code at this pointBrowse repository at this point

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

     ivanperez-keera

     committed
     2d8b28aView commit details

     Copy full SHA for 2d8b28a

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

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

     ivanperez-keera

     committed
     d1943d5View commit details

     Copy full SHA for d1943d5

     View code at this pointBrowse repository at this point

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

     ivanperez-keera

     committed
     4b1fa51View commit details

     Copy full SHA for 4b1fa51

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

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

     ivanperez-keera

     committed
     3149bccView commit details

     Copy full SHA for 3149bcc

     View code at this pointBrowse repository at this point

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

     ivanperez-keera

     committed
     7710ae2View commit details

     Copy full SHA for 7710ae2

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

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

     ivanperez-keera

     committed
     bf0230aView commit details

     Copy full SHA for bf0230a

     View code at this pointBrowse repository at this point

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

     ivanperez-keera

     committed
     f151430View commit details

     Copy full SHA for f151430

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

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

     ivanperez-keera

     committed
     d6a6578View commit details

     Copy full SHA for d6a6578

     View code at this pointBrowse repository at this point

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

     ivanperez-keera

     committed
     19497c5View commit details

     Copy full SHA for 19497c5

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

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

     ivanperez-keera

     committed
     fb15c4eView commit details

     Copy full SHA for fb15c4e

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

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

     ivanperez-keera

     committed
     f13c9f5View commit details

     Copy full SHA for f13c9f5

     View code at this pointBrowse repository at this point
10. 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
11. 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
12. 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
13. Commits on Mar 6, 2025

    • copilot-prettyprinter: Document changes in CHANGELOG. Refs #254.

      RyanGlScott

      committed
      88a67f5View commit details

      Copy full SHA for 88a67f5

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

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

      Show description for 8e46a13
      RyanGlScott

      committed
      8e46a13View commit details

      Copy full SHA for 8e46a13

      View code at this pointBrowse repository at this point
15. 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
16. Commits on Dec 13, 2024

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

      kaBeech

      committed
      0bbaac5View commit details

      Copy full SHA for 0bbaac5

      View code at this pointBrowse repository at this point

    • copilot-prettyprinter: Remove uses of Copilot.Core.Expr.UExpr.uExprExpr. Refs #565.

      Show description for ec7899a
      kaBeech

      committed
      ec7899aView commit details

      Copy full SHA for ec7899a

      View code at this pointBrowse repository at this point
17. 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
18. 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
19. Commits on Sep 6, 2024

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

      ivanperez-keera

      committed
      b868e93View commit details

      Copy full SHA for b868e93

      View code at this pointBrowse repository at this point

    • copilot-prettyprinter: Pretty-print array update expressions. Refs #36.

      Show description for 1dfc4dd
      

      ivanperez-keera

      and

      InnovativeInventor

      committed
      1dfc4ddView commit details

      Copy full SHA for 1dfc4dd

      View code at this pointBrowse repository at this point

    • copilot-prettyprinter: Update pretty printer access to use the symbol !. Refs #36.

      Show description for 70e67d1
      ivanperez-keera

      committed
      70e67d1View commit details

      Copy full SHA for 70e67d1

      View code at this pointBrowse repository at this point