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 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
3. 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
4. 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
5. 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
6. 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
7. 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
8. 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
9. 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
10. Commits on Aug 30, 2024

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

      RyanGlScott

      committed
      cc9ca22View commit details

      Copy full SHA for cc9ca22

      View code at this pointBrowse repository at this point

    • copilot-prettyprinter: Pretty-print struct update expressions. Refs #526.

      Show description for fc261ea
      RyanGlScott

      committed
      fc261eaView commit details

      Copy full SHA for fc261ea

      View code at this pointBrowse repository at this point
11. 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
12. Commits on May 8, 2024

    • Document changes in CHANGELOG. Refs #512.

      ivanperez-keera

      committed
      3a2be02View commit details

      Copy full SHA for 3a2be02

      View code at this pointBrowse repository at this point

    • Bump versions and constraints. Refs #512.

      ivanperez-keera

      committed
      5834d44View commit details

      Copy full SHA for 5834d44

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

    • Document changes in CHANGELOG. Refs #504.

      ivanperez-keera

      committed
      5880972View commit details

      Copy full SHA for 5880972

      View code at this pointBrowse repository at this point

    • Bump versions and constraints. Refs #504.

      ivanperez-keera

      committed
      4202e39View commit details

      Copy full SHA for 4202e39

      View code at this pointBrowse repository at this point
14. Commits on Jan 8, 2024

    • Document changes in CHANGELOG. Refs #493.

      ivanperez-keera

      committed
      70da64aView commit details

      Copy full SHA for 70da64a

      View code at this pointBrowse repository at this point

    • Bump versions and constraints. Refs #493.

      ivanperez-keera

      committed
      574cefbView commit details

      Copy full SHA for 574cefb

      View code at this pointBrowse repository at this point
15. Commits on Jan 7, 2024

    • Document changes in CHANGELOG. Refs #487.

      ivanperez-keera

      committed
      d3f5a5dView commit details

      Copy full SHA for d3f5a5d

      View code at this pointBrowse repository at this point

    • Bump versions and constraints. Refs #487.

      ivanperez-keera

      committed
      085259bView commit details

      Copy full SHA for 085259b

      View code at this pointBrowse repository at this point
16. Commits on Nov 7, 2023

    • Document changes in CHANGELOG. Refs #466.

      ivanperez-keera

      committed
      fe10732View commit details

      Copy full SHA for fe10732

      View code at this pointBrowse repository at this point

    • Bump versions and constraints. Refs #466.

      ivanperez-keera

      committed
      a835d3bView commit details

      Copy full SHA for a835d3b

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

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

      ivanperez-keera

      committed
      25c67cbView commit details

      Copy full SHA for 25c67cb

      View code at this pointBrowse repository at this point

    • copilot-prettyprinter: Update uses of accessorname. Refs #457.

      Show description for 7a76d8b
      ivanperez-keera

      committed
      7a76d8bView commit details

      Copy full SHA for 7a76d8b

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

    • Document changes in CHANGELOG. Refs #455.

      ivanperez-keera

      committed
      b84017cView commit details

      Copy full SHA for b84017c

      View code at this pointBrowse repository at this point

    • Bump versions and constraints. Refs #455.

      ivanperez-keera

      committed
      3006a79View commit details

      Copy full SHA for 3006a79

      View code at this pointBrowse repository at this point