Commits

Commit history

1. Commits on Oct 10, 2024

   • Create haskell.yml

     AYUSHMIT

     authored
     29616adView commit details

     Copy full SHA for 29616ad

     Browse repository at this point
2. Commits on Sep 8, 2024

   • Merge branch 'release-4.0'. Close #532.

     Show description for 068c06d
     ivanperez-keera

     committed
     068c06dView commit details

     Copy full SHA for 068c06d

     Browse repository at this point

   • Document changes in CHANGELOG. Refs #532.

     ivanperez-keera

     committed
     2cea27dView commit details

     Copy full SHA for 2cea27d

     Browse repository at this point

   • Bump versions and constraints. Refs #532.

     ivanperez-keera

     committed
     ccfb96eView commit details

     Copy full SHA for ccfb96e

     Browse repository at this point
3. Commits on Sep 6, 2024

   • Merge branch 'develop-update-arrays'. Close #36.

     Show description for 8c63a4e
     ivanperez-keera

     committed
     8c63a4eView commit details

     Copy full SHA for 8c63a4e

     Browse repository at this point

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

     ivanperez-keera

     committed
     191a75fView commit details

     Copy full SHA for 191a75f

     Browse repository at this point

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

     ivanperez-keera

     committed
     f7fc2deView commit details

     Copy full SHA for f7fc2de

     Browse repository at this point

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

     ivanperez-keera

     committed
     02c89d2View commit details

     Copy full SHA for 02c89d2

     Browse repository at this point

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

     ivanperez-keera

     committed
     b868e93View commit details

     Copy full SHA for b868e93

     Browse repository at this point

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

     ivanperez-keera

     committed
     7a1a371View commit details

     Copy full SHA for 7a1a371

     Browse repository at this point

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

     ivanperez-keera

     committed
     2d60f80View commit details

     Copy full SHA for 2d60f80

     Browse repository at this point

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

     ivanperez-keera

     committed
     2bc48dcView commit details

     Copy full SHA for 2bc48dc

     Browse repository at this point

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

     ivanperez-keera

     committed
     165e430View commit details

     Copy full SHA for 165e430

     Browse repository at this point

   • copilot: Introduce example reasoning about array updates. Refs #36.

     Show description for 8e3bbba
     ivanperez-keera

     committed
     8e3bbbaView commit details

     Copy full SHA for 8e3bbba

     Browse repository at this point

   • copilot: Update array example to demonstrate array updates. Refs #36.

     Show description for b776616
     ivanperez-keera

     committed
     b776616View commit details

     Copy full SHA for b776616

     Browse repository at this point

   • copilot-theorem: Translate array updates to What4. Refs #36.

     Show description for a5d50f9
     

     RyanGlScott

     authored and

     ivanperez-keera

     committed
     a5d50f9View commit details

     Copy full SHA for a5d50f9

     Browse 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

     Browse repository at this point

   • copilot-interpreter: Interpret array update expressions. Refs #36.

     Show description for 04a8964
     

     ivanperez-keera

     and

     InnovativeInventor

     committed
     04a8964View commit details

     Copy full SHA for 04a8964

     Browse repository at this point

   • copilot-c99: Translate array updates to C. Refs #36.

     Show description for dc63487
     

     ivanperez-keera

     and

     InnovativeInventor

     committed
     dc63487View commit details

     Copy full SHA for dc63487

     Browse 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

     Browse repository at this point

   • copilot-core: Introduce operations to update arrays. Refs #36.

     Show description for fc47b39
     

     ivanperez-keera

     and

     InnovativeInventor

     committed
     fc47b39View commit details

     Copy full SHA for fc47b39

     Browse repository at this point

   • copilot-core: Introduce new kind of array element update operator. Refs #36.

     Show description for b2cc118
     

     ivanperez-keera

     and

     InnovativeInventor

     committed
     b2cc118View commit details

     Copy full SHA for b2cc118

     Browse repository at this point

   • copilot-libraries: Rename function to avoid name clash. Refs #36.

     Show description for 6649dfd
     ivanperez-keera

     committed
     6649dfdView commit details

     Copy full SHA for 6649dfd

     Browse repository at this point

   • copilot: Update array example to use new syntax. Refs #36.

     Show description for 219bd86
     ivanperez-keera

     committed
     219bd86View commit details

     Copy full SHA for 219bd86

     Browse 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

     Browse 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

     Browse repository at this point
4. Commits on Sep 2, 2024

   • Merge branch 'develop-copilot-prettyprinter-UpdateField'. Close #526.

     Show description for 6ea0338
     ivanperez-keera

     committed
     6ea0338View commit details

     Copy full SHA for 6ea0338

     Browse repository at this point
5. Commits on Aug 30, 2024

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

     RyanGlScott

     committed
     cc9ca22View commit details

     Copy full SHA for cc9ca22

     Browse 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

     Browse repository at this point

   • Merge branch 'develop-copilot-theorem-UpdateField'. Close #524.

     Show description for 0f5055e
     ivanperez-keera

     committed
     0f5055eView commit details

     Copy full SHA for 0f5055e

     Browse repository at this point

   • copilot: Document changes in CHANGELOG. Refs #524.

     RyanGlScott

     committed
     bf0f454View commit details

     Copy full SHA for bf0f454

     Browse repository at this point

   • copilot-theorem: Document changes in CHANGELOG. Refs #524.

     RyanGlScott

     committed
     1818c72View commit details

     Copy full SHA for 1818c72

     Browse repository at this point

   • copilot-theorem: Add a test case for struct updates. Refs #524.

     Show description for 0ee80cc
     RyanGlScott

     committed
     0ee80ccView commit details

     Copy full SHA for 0ee80cc

     Browse repository at this point

   • copilot: Update example to demonstrate struct update support. Refs #524.

     Show description for 634b928
     RyanGlScott

     committed
     634b928View commit details

     Copy full SHA for 634b928

     Browse repository at this point

   • copilot-theorem: Support translating `UpdateField` to what4. Refs #524.

     Show description for d939de5
     RyanGlScott

     committed
     d939de5View commit details

     Copy full SHA for d939de5

     Browse repository at this point