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 7, 2025

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

     ivanperez-keera

     committed
     f5bad96View commit details

     Copy full SHA for f5bad96

     View code at this pointBrowse repository at this point

   • 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
4. 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
5. 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
6. 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
7. 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
8. 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
9. 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
10. 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
11. 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
12. 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
13. 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
14. 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
15. 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
16. 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