Commits

Commit history

1. Commits on Jun 24, 2025

   • Overlay: Add overlay annotations to Java & shared libraries

     kaspersv

     committed
     c207cfdView commit details

     Copy full SHA for c207cfd

     View code at this pointBrowse repository at this point
2. Commits on Sep 24, 2024

   • Java: Deprecate Field.getSourceDeclaration() and Field.isSourceDeclaration()

     Show description for bda779a
     igfoo

     committed
     bda779aView commit details

     Copy full SHA for bda779a

     View code at this pointBrowse repository at this point
3. Commits on Mar 25, 2024

   • Implement multiple pattern case and fall-through pattern case support

     smowton

     committed
     f44beceView commit details

     Copy full SHA for f44bece

     View code at this pointBrowse repository at this point
4. Commits on Nov 30, 2023

   • Restrict getCheckedType to unrestricted records, introduce getSyntacticCheckedType and use that where appropriate

     smowton

     committed
     bbc0f29View commit details

     Copy full SHA for bbc0f29

     View code at this pointBrowse repository at this point

   • Adapt ancillary analyses to record patterns

     smowton

     committed
     936c020View commit details

     Copy full SHA for 936c020

     View code at this pointBrowse repository at this point

   • Basic extraction of record patterns

     smowton

     committed
     daccd04View commit details

     Copy full SHA for daccd04

     View code at this pointBrowse repository at this point

   • usesType: support pattern cases

     smowton

     committed
     b6622d2View commit details

     Copy full SHA for b6622d2

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

   • Java: Deprecate error-prone and rarely used annotation predicates

     

     Marcono1234

     authored and

     smowton

     committed
     4ef2d15View commit details

     Copy full SHA for 4ef2d15

     View code at this pointBrowse repository at this point

   • Java: Add convenience array value Annotation predicates

     

     Marcono1234

     authored and

     smowton

     committed
     998aa95View commit details

     Copy full SHA for 998aa95

     View code at this pointBrowse repository at this point
6. Commits on Aug 24, 2022

   • Make *.qll non-executable

     igfoo

     committed
     501a9b3View commit details

     Copy full SHA for 501a9b3

     View code at this pointBrowse repository at this point
7. Commits on Aug 19, 2021

   • Packaging: Java refactoring

     Show description for 8e750f1
     aeisenberg

     committed
     8e750f1View commit details

     Copy full SHA for 8e750f1

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