Commits

Commit history

1. 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
2. Commits on Dec 13, 2024

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

   • 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
4. Commits on Aug 30, 2024

   • 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
5. Commits on Nov 6, 2023

   • 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
6. Commits on Oct 21, 2022

   • copilot-prettyprinter: Create new library for pretty-printer. Refs #383.

     Show description for 0063938
     ivanperez-keera

     committed
     0063938View commit details

     Copy full SHA for 0063938

     View code at this pointBrowse repository at this point
7. Loading