Commits

Commit history

1. Commits on Jul 27, 2023

   • copilot-libraries: Fix semantics of since in Copilot.Library.PTLTL. Refs #443.

     Show description for fd43758
     InnovativeInventor

     committed
     fd43758View commit details

     Copy full SHA for fd43758

     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 8a7eb13
     ivanperez-keera

     committed
     8a7eb13View commit details

     Copy full SHA for 8a7eb13

     View code at this pointBrowse repository at this point

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

     Show description for f29e48a
     ivanperez-keera

     committed
     f29e48aView commit details

     Copy full SHA for f29e48a

     View code at this pointBrowse repository at this point

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

     Show description for 5debfa1
     ivanperez-keera

     committed
     5debfa1View commit details

     Copy full SHA for 5debfa1

     View code at this pointBrowse repository at this point

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

     Show description for 497518b
     ivanperez-keera

     committed
     497518bView commit details

     Copy full SHA for 497518b

     View code at this pointBrowse repository at this point

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

     Show description for 68c38f6
     ivanperez-keera

     committed
     68c38f6View commit details

     Copy full SHA for 68c38f6

     View code at this pointBrowse repository at this point

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

     Show description for 712223e
     ivanperez-keera

     committed
     712223eView commit details

     Copy full SHA for 712223e

     View code at this pointBrowse repository at this point

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

     Show description for 858c692
     ivanperez-keera

     committed
     858c692View commit details

     Copy full SHA for 858c692

     View code at this pointBrowse repository at this point

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

     Show description for d41a6f1
     ivanperez-keera

     committed
     d41a6f1View commit details

     Copy full SHA for d41a6f1

     View code at this pointBrowse repository at this point

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

     Show description for 536ee5a
     ivanperez-keera

     committed
     536ee5aView commit details

     Copy full SHA for 536ee5a

     View code at this pointBrowse repository at this point

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

     Show description for ac5d0e9
     ivanperez-keera

     committed
     ac5d0e9View commit details

     Copy full SHA for ac5d0e9

     View code at this pointBrowse repository at this point

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

     Show description for 7701620
     ivanperez-keera

     committed
     7701620View commit details

     Copy full SHA for 7701620

     View code at this pointBrowse repository at this point

   • Style: remove trailing spaces. Refs #316.

     Show description for 6108a76
     ivanperez-keera

     committed
     6108a76View commit details

     Copy full SHA for 6108a76

     View code at this pointBrowse repository at this point

   • Style: remove trailing spaces. Refs #316.

     Show description for e99fa2a
     ivanperez-keera

     committed
     e99fa2aView commit details

     Copy full SHA for e99fa2a

     View code at this pointBrowse repository at this point

   • Style: remove trailing spaces. Refs #316.

     Show description for 6bae9e7
     ivanperez-keera

     committed
     6bae9e7View commit details

     Copy full SHA for 6bae9e7

     View code at this pointBrowse repository at this point

   • Style: remove trailing spaces. Refs #316.

     Show description for 1cb37ec
     ivanperez-keera

     committed
     1cb37ecView commit details

     Copy full SHA for 1cb37ec

     View code at this pointBrowse repository at this point

   • Style: remove trailing spaces. Refs #316.

     Show description for 3582819
     ivanperez-keera

     committed
     3582819View commit details

     Copy full SHA for 3582819

     View code at this pointBrowse repository at this point

   • Style: remove trailing spaces. Refs #316.

     Show description for b9ec45b
     ivanperez-keera

     committed
     b9ec45bView commit details

     Copy full SHA for b9ec45b

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

   • Style: Remove duplicated PRAGMA. Refs #316.

     Show description for c68baf3
     ivanperez-keera

     committed
     c68baf3View commit details

     Copy full SHA for c68baf3

     View code at this pointBrowse repository at this point
4. Commits on Oct 19, 2021

   • Improve documentation of LTL module. Refs #131.

     Show description for 266897a
     ivanperez-keera

     committed
     266897aView commit details

     Copy full SHA for 266897a

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

   • Update links in Haskell haddock. Refs #251.

     Show description for 714e2a1
     ivanperez-keera

     committed
     714e2a1View commit details

     Copy full SHA for 714e2a1

     View code at this pointBrowse repository at this point

   • 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