Commits

Commit history

1. Commits on Dec 28, 2023

   • copilot-theorem: Update uses of forall. Refs #470.

     Show description for 4bc82bc
     ivanperez-keera

     committed
     4bc82bcView commit details

     Copy full SHA for 4bc82bc

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

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

     Show description for 24872eb
     ivanperez-keera

     committed
     24872ebView commit details

     Copy full SHA for 24872eb

     View code at this pointBrowse repository at this point

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

     Show description for 7e3281e
     ivanperez-keera

     committed
     7e3281eView commit details

     Copy full SHA for 7e3281e

     View code at this pointBrowse repository at this point

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

     Show description for 2244b5b
     ivanperez-keera

     committed
     2244b5bView commit details

     Copy full SHA for 2244b5b

     View code at this pointBrowse repository at this point

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

     Show description for 5e44793
     ivanperez-keera

     committed
     5e44793View commit details

     Copy full SHA for 5e44793

     View code at this pointBrowse repository at this point

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

     Show description for 5a0aa5c
     ivanperez-keera

     committed
     5a0aa5cView commit details

     Copy full SHA for 5a0aa5c

     View code at this pointBrowse repository at this point

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

     Show description for d067f79
     ivanperez-keera

     committed
     d067f79View commit details

     Copy full SHA for d067f79

     View code at this pointBrowse repository at this point

   • Style: squash multiple consecutive empty lines. Refs #316.

     Show description for c616cfa
     ivanperez-keera

     committed
     c616cfaView commit details

     Copy full SHA for c616cfa

     View code at this pointBrowse repository at this point

   • Style: squash multiple consecutive empty lines. Refs #316.

     Show description for 1dbd641
     ivanperez-keera

     committed
     1dbd641View commit details

     Copy full SHA for 1dbd641

     View code at this pointBrowse repository at this point

   • Style: squash multiple consecutive empty lines. Refs #316.

     Show description for 1e41c10
     ivanperez-keera

     committed
     1e41c10View commit details

     Copy full SHA for 1e41c10

     View code at this pointBrowse repository at this point

   • Style: remove trailing empty lines. Refs #316.

     Show description for 75130f3
     ivanperez-keera

     committed
     75130f3View commit details

     Copy full SHA for 75130f3

     View code at this pointBrowse repository at this point

   • Style: remove trailing empty lines. Refs #316.

     Show description for 8345717
     ivanperez-keera

     committed
     8345717View commit details

     Copy full SHA for 8345717

     View code at this pointBrowse repository at this point

   • Style: align PRAGMA comment brackets horizontally. Refs #316.

     Show description for 07dfffa
     ivanperez-keera

     committed
     07dfffaView commit details

     Copy full SHA for 07dfffa

     View code at this pointBrowse repository at this point
3. Commits on Apr 25, 2022

   • Style: PRAGMAs are listed one per line. Refs #316.

     Show description for 5eadd29
     ivanperez-keera

     committed
     5eadd29View commit details

     Copy full SHA for 5eadd29

     View code at this pointBrowse repository at this point
4. Commits on Nov 5, 2021

   • Deprecate copilot-core:Copilot.Core.Type.Uninitialized.uninitialized. Refs #270.

     Show description for a72543d
     ivanperez-keera

     committed
     a72543dView commit details

     Copy full SHA for a72543d

     View code at this pointBrowse repository at this point
5. Commits on Sep 16, 2021

   • Re-organize project in folders. Refs #248.

     Show description for da084f4
     ivanperez-keera

     committed
     da084f4View commit details

     Copy full SHA for da084f4

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