Commits

Commit history

1. Commits on Mar 6, 2025

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

     RyanGlScott

     committed
     b4664cdView commit details

     Copy full SHA for b4664cd

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

     ivanperez-keera

     committed
     0d9214eView commit details

     Copy full SHA for 0d9214e

     View code at this pointBrowse repository at this point

   • 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 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
5. Commits on Jan 3, 2025

   • copilot-language: Document changes in CHANGELOG. Refs #570.

     kaBeech

     committed
     68cd361View commit details

     Copy full SHA for 68cd361

     View code at this pointBrowse repository at this point

   • copilot-language: Bump upper version constraint on containers. Refs #570.

     Show description for ddef348
     kaBeech

     committed
     ddef348View commit details

     Copy full SHA for ddef348

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

   • copilot-language: Document changes in CHANGELOG. Refs #550.

     ivanperez-keera

     committed
     fe188d1View commit details

     Copy full SHA for fe188d1

     View code at this pointBrowse repository at this point

   • copilot-language: Remove maintainer from entry. Refs #550.

     Show description for 22ca316
     ivanperez-keera

     committed
     22ca316View commit details

     Copy full SHA for 22ca316

     View code at this pointBrowse repository at this point

   • copilot-language: Add missing issue number. Refs #550.

     Show description for 45deee9
     ivanperez-keera

     committed
     45deee9View commit details

     Copy full SHA for 45deee9

     View code at this pointBrowse repository at this point

   • copilot-language: Standardize issue references in changelog. Refs #550.

     Show description for 7db6774
     ivanperez-keera

     committed
     7db6774View commit details

     Copy full SHA for 7db6774

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

   • copilot-language: Document changes in CHANGELOG. Refs #536.

     RyanGlScott

     committed
     7873c02View commit details

     Copy full SHA for 7873c02

     View code at this pointBrowse repository at this point

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

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

      ivanperez-keera

      committed
      2bc48dcView commit details

      Copy full SHA for 2bc48dc

      View code at this pointBrowse repository at this point

    • 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
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

    • copilot-language: Document changes in CHANGELOG. Refs #520.

      ivanperez-keera

      committed
      5fb6d60View commit details

      Copy full SHA for 5fb6d60

      View code at this pointBrowse repository at this point

    • 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
12. Commits on Jul 7, 2024

    • copilot-language: Document changes in CHANGELOG. Refs #518.

      ivanperez-keera

      committed
      41bb643View commit details

      Copy full SHA for 41bb643

      View code at this pointBrowse repository at this point

    • 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
13. 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
14. 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
15. 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
16. 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