Commits

Commit history

1. Commits on Mar 7, 2025

   • copilot-language: Remove deprecated function Copilot.Language.Operators.Array.(.!!). Refs #599.

     Show description for 83086bf
     ivanperez-keera

     committed
     83086bfView commit details

     Copy full SHA for 83086bf

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

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

     Show description for 0c3e702
     RyanGlScott

     committed
     0c3e702View commit details

     Copy full SHA for 0c3e702

     View code at this pointBrowse repository at this point
3. Commits on Jan 29, 2025

   • copilot-language: Fix typo in documentation. Refs #587.

     Show description for 751767d
     ivanperez-keera

     committed
     751767dView commit details

     Copy full SHA for 751767d

     View code at this pointBrowse repository at this point
4. Commits on Oct 15, 2024

   • copilot-language: Detect duplicate extern names in properties and theorems. Refs #536.

     Show description for 58610b4
     RyanGlScott

     committed
     58610b4View commit details

     Copy full SHA for 58610b4

     View code at this pointBrowse repository at this point
5. Commits on Sep 6, 2024

   • copilot-language: Introduce new kind of array element update operation. Refs #36.

     Show description for 9b297a0
     

     ivanperez-keera

     and

     InnovativeInventor

     committed
     9b297a0View commit details

     Copy full SHA for 9b297a0

     View code at this pointBrowse repository at this point

   • copilot-language: Rename operator for uniformity. Refs #36.

     Show description for 25f1c03
     ivanperez-keera

     committed
     25f1c03View commit details

     Copy full SHA for 25f1c03

     View code at this pointBrowse repository at this point
6. Commits on Jul 8, 2024

   • copilot-language: High-level array update operator. Refs #520.

     Show description for 05d616c
     

     3 peoplecommitted
     05d616cView commit details

     Copy full SHA for 05d616c

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

   • copilot-language: Remove deprecated function Copilot.Language.Spec.forall. Refs #518.

     Show description for c603bc8
     ivanperez-keera

     committed
     c603bc8View commit details

     Copy full SHA for c603bc8

     View code at this pointBrowse repository at this point
8. Commits on Dec 28, 2023

   • copilot-language: Rename forall to forAll. Refs #470.

     Show description for 1a02b68
     ivanperez-keera

     committed
     1a02b68View commit details

     Copy full SHA for 1a02b68

     View code at this pointBrowse repository at this point
9. Commits on Jul 7, 2023

   • copilot-language: Move Copilot.Language.Stream.Arg to Copilot.Language.Spec. Refs #446.

     Show description for 9f1c439
     ivanperez-keera

     committed
     9f1c439View commit details

     Copy full SHA for 9f1c439

     View code at this pointBrowse repository at this point
10. Commits on Apr 18, 2023

    • copilot-language: Remove outdated comment about pretty-printer. Refs #428.

      Show description for 030852b
      ivanperez-keera

      committed
      030852bView commit details

      Copy full SHA for 030852b

      View code at this pointBrowse repository at this point
11. Commits on Mar 8, 2023

    • copilot-language: Avoid name clashes with names in base 4.17. Refs #423.

      Show description for ee6557a
      ivanperez-keera

      committed
      ee6557aView commit details

      Copy full SHA for ee6557a

      View code at this pointBrowse repository at this point
12. Commits on Mar 6, 2023

    • copilot-language: Remove Copilot.Language.prettyPrint. Refs #412.

      Show description for 90905f9
      willpog

      committed
      90905f9View commit details

      Copy full SHA for 90905f9

      View code at this pointBrowse repository at this point
13. Commits on Oct 21, 2022

    • copilot-language: Use pretty-printer from copilot-prettyprinter. Refs #383.

      Show description for 8dd9d9b
      ivanperez-keera

      committed
      8dd9d9bView commit details

      Copy full SHA for 8dd9d9b

      View code at this pointBrowse repository at this point
14. Commits on Aug 25, 2022

    • copilot-language: Remove unnecessary type constraints. Refs #369.

      Show description for e951da6
      ivanperez-keera

      committed
      e951da6View commit details

      Copy full SHA for e951da6

      View code at this pointBrowse repository at this point
15. Commits on Aug 23, 2022

    • copilot-language: Use interpreter from copilot-interpreter. Refs #361.

      Show description for c833b0a
      ivanperez-keera

      committed
      c833b0aView commit details

      Copy full SHA for c833b0a

      View code at this pointBrowse repository at this point
16. Commits on Aug 8, 2022

    • copilot-language: Deprecate prettyPrint. Refs #362.

      Show description for 9ab7a07
      ivanperez-keera

      committed
      9ab7a07View commit details

      Copy full SHA for 9ab7a07

      View code at this pointBrowse repository at this point
17. Commits on Jun 13, 2022

    • copilot-language: Fix typos in Copilot.Language.Interpret. Refs #331.

      Show description for 360fbc1
      willpog

      committed
      360fbc1View commit details

      Copy full SHA for 360fbc1

      View code at this pointBrowse repository at this point
18. Commits on Apr 27, 2022

    • Style: make where keyword stand alone on one line. Refs #316.

      Show description for 5bdb023
      ivanperez-keera

      committed
      5bdb023View commit details

      Copy full SHA for 5bdb023

      View code at this pointBrowse repository at this point

    • Style: remove separating line in comment. Refs #316.

      Show description for 5d0f158
      ivanperez-keera

      committed
      5d0f158View commit details

      Copy full SHA for 5d0f158

      View code at this pointBrowse repository at this point

    • Style: remove separating line in comment. Refs #316.

      Show description for bfe795d
      ivanperez-keera

      committed
      bfe795dView commit details

      Copy full SHA for bfe795d

      View code at this pointBrowse repository at this point

    • Style: remove separating line in comment. Refs #316.

      Show description for 2f0fd47
      ivanperez-keera

      committed
      2f0fd47View commit details

      Copy full SHA for 2f0fd47

      View code at this pointBrowse repository at this point

    • Style: remove separating line in comment. Refs #316.

      Show description for 5af6707
      ivanperez-keera

      committed
      5af6707View commit details

      Copy full SHA for 5af6707

      View code at this pointBrowse repository at this point

    • Style: remove separating line in comment. Refs #316.

      Show description for df00d40
      ivanperez-keera

      committed
      df00d40View commit details

      Copy full SHA for df00d40

      View code at this pointBrowse repository at this point

    • Style: remove separating line in comment. Refs #316.

      Show description for b35e21d
      ivanperez-keera

      committed
      b35e21dView commit details

      Copy full SHA for b35e21d

      View code at this pointBrowse repository at this point

    • Style: remove separating line in comment. Refs #316.

      Show description for 31791e7
      ivanperez-keera

      committed
      31791e7View commit details

      Copy full SHA for 31791e7

      View code at this pointBrowse repository at this point

    • Style: remove separating line in comment. Refs #316.

      Show description for 2543188
      ivanperez-keera

      committed
      2543188View commit details

      Copy full SHA for 2543188

      View code at this pointBrowse repository at this point

    • Style: remove separating line in comment. Refs #316.

      Show description for f562882
      ivanperez-keera

      committed
      f562882View commit details

      Copy full SHA for f562882

      View code at this pointBrowse repository at this point

    • Style: remove separating line in comment. Refs #316.

      Show description for 080915f
      ivanperez-keera

      committed
      080915fView commit details

      Copy full SHA for 080915f

      View code at this pointBrowse repository at this point

    • Style: remove separating line in comment. Refs #316.

      Show description for b2e769a
      ivanperez-keera

      committed
      b2e769aView commit details

      Copy full SHA for b2e769a

      View code at this pointBrowse repository at this point

    • Style: remove separating line in comment. Refs #316.

      Show description for ba6ef2c
      ivanperez-keera

      committed
      ba6ef2cView commit details

      Copy full SHA for ba6ef2c

      View code at this pointBrowse repository at this point

    • Style: remove separating line in comment. Refs #316.

      Show description for e2095c3
      ivanperez-keera

      committed
      e2095c3View commit details

      Copy full SHA for e2095c3

      View code at this pointBrowse repository at this point

    • Style: remove separating line in comment. Refs #316.

      Show description for 789d603
      ivanperez-keera

      committed
      789d603View commit details

      Copy full SHA for 789d603

      View code at this pointBrowse repository at this point

    • Style: remove separating line in comment. Refs #316.

      Show description for 78d54af
      ivanperez-keera

      committed
      78d54afView commit details

      Copy full SHA for 78d54af

      View code at this pointBrowse repository at this point

    • Style: remove separating line in comment. Refs #316.

      Show description for 353a4e5
      ivanperez-keera

      committed
      353a4e5View commit details

      Copy full SHA for 353a4e5

      View code at this pointBrowse repository at this point