Commits

Commit history

1. Commits on Oct 24, 2023

   • Mass rename L/RValue -> VarWrite/Read

     smowton

     authored
     ac38d4cView commit details

     Copy full SHA for ac38d4c

     View code at this pointBrowse repository at this point

   • Mass-rename MethodAccess -> MethodCall

     smowton

     authored
     f552a15View commit details

     Copy full SHA for f552a15

     View code at this pointBrowse repository at this point
2. Commits on Aug 23, 2023

   • Java: Use nested names in MaD signatures.

     aschackmull

     committed
     410c092View commit details

     Copy full SHA for 410c092

     View code at this pointBrowse repository at this point
3. Commits on Jun 30, 2023

   • Remove pragma[assume_small_delta]

     cklin

     committed
     ce464a7View commit details

     Copy full SHA for ce464a7

     View code at this pointBrowse repository at this point
4. Commits on Apr 27, 2023

   • Java: Add SrcCallable.isImplicitlyPublic convenience predicate.

     aschackmull

     committed
     9df2ee0View commit details

     Copy full SHA for 9df2ee0

     View code at this pointBrowse repository at this point
5. Commits on Apr 25, 2023

   • Apply suggestions from code review

     Show description for 934a455
     aschackmull

     authored
     934a455View commit details

     Copy full SHA for 934a455

     View code at this pointBrowse repository at this point
6. Commits on Apr 20, 2023

   • Java: remove isImplicitlyPublic predicate since not needed for this use-case

     

     Jami Cogswell

     authored and

     Jami Cogswell

     committed
     2ca8103View commit details

     Copy full SHA for 2ca8103

     View code at this pointBrowse repository at this point

   • Java: move veryPublic predicate

     

     Jami Cogswell

     authored and

     Jami Cogswell

     committed
     5dbd11aView commit details

     Copy full SHA for 5dbd11a

     View code at this pointBrowse repository at this point

   • Java: add class and predicates to approximate an effectively public method

     

     Jami Cogswell

     authored and

     Jami Cogswell

     committed
     2e76e12View commit details

     Copy full SHA for 2e76e12

     View code at this pointBrowse repository at this point
7. Commits on Feb 14, 2023

   • Improve join ordering

     smowton

     committed
     62d10f9View commit details

     Copy full SHA for 62d10f9

     View code at this pointBrowse repository at this point
8. Commits on Jan 10, 2023

   • Java: Remove omittable exists variables

     atorralba

     committed
     32471d3View commit details

     Copy full SHA for 32471d3

     View code at this pointBrowse repository at this point
9. Commits on Dec 12, 2022

   • Java: add isParameterless predicate to Constructor class

     

     Jami Cogswell

     authored and

     Jami Cogswell

     committed
     5113041View commit details

     Copy full SHA for 5113041

     View code at this pointBrowse repository at this point
10. Commits on Dec 9, 2022

    • Adjust `getExtensionReceiverParameterIndex` predicate name and change note

      tamasvajk

      committed
      6bcfdfcView commit details

      Copy full SHA for 6bcfdfc

      View code at this pointBrowse repository at this point

    • Kotlin: Fix extension and dispatch parameter order in `$default` functions

      tamasvajk

      committed
      d93dce0View commit details

      Copy full SHA for d93dce0

      View code at this pointBrowse repository at this point
11. Commits on Nov 4, 2022

    • Merge pull request #10904 from aschackmull/java/joinorders

      Show description for 331b8c0
      aschackmull

      authored
      331b8c0View commit details

      Copy full SHA for 331b8c0

      View code at this pointBrowse repository at this point
12. Commits on Oct 25, 2022

    • Merge pull request #10876 from smowton/smowton/feature/kotlin-default-method-auto-mad

      Show description for b9f4856
      smowton

      authored
      b9f4856View commit details

      Copy full SHA for b9f4856

      View code at this pointBrowse repository at this point
13. Commits on Oct 21, 2022

    • Kotlin: Fix varargs dataflow, and varargs default handling

      Show description for 1fe9e84
      smowton

      committed
      1fe9e84View commit details

      Copy full SHA for 1fe9e84

      View code at this pointBrowse repository at this point
14. Commits on Oct 20, 2022

    • Java: Fix some join-orders.

      aschackmull

      committed
      9ebcaf8View commit details

      Copy full SHA for 9ebcaf8

      View code at this pointBrowse repository at this point
15. Commits on Oct 18, 2022

    • Java models-as-data: infer Kotlin $default models from that of its parent function

      smowton

      committed
      b148e31View commit details

      Copy full SHA for b148e31

      View code at this pointBrowse repository at this point
16. Commits on Oct 17, 2022

    • Implement Kotlin default interface method forwarding

      Show description for e8a3598
      smowton

      committed
      e8a3598View commit details

      Copy full SHA for e8a3598

      View code at this pointBrowse repository at this point
17. Commits on Oct 12, 2022

    • Kotlin: Add Callable.getKotlinParameterDefaultsProxy

      smowton

      committed
      3b49594View commit details

      Copy full SHA for 3b49594

      View code at this pointBrowse repository at this point
18. Commits on Sep 14, 2022

    • Java: Format QL

      igfoo

      committed
      d735b9eView commit details

      Copy full SHA for d735b9e

      View code at this pointBrowse repository at this point
19. Commits on Sep 13, 2022

    • Java: Member.getQualifiedName() tweaked

      Show description for 6a63b86
      igfoo

      committed
      6a63b86View commit details

      Copy full SHA for 6a63b86

      View code at this pointBrowse repository at this point
20. 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
21. Commits on May 10, 2022

    • Extract functions using their name from `JvmName` annotation

      

      tamasvajk

      authored and

      igfoo

      committed
      b66a314View commit details

      Copy full SHA for b66a314

      View code at this pointBrowse repository at this point

    • Add DelegatedProperty QL class and use it in tests

      

      tamasvajk

      authored and

      igfoo

      committed
      d4701d7View commit details

      Copy full SHA for d4701d7

      View code at this pointBrowse repository at this point

    • Retain Member.getInitializer for Kotlin programs

      Show description for 13cd145
      

      smowton

      authored and

      igfoo

      committed
      13cd145View commit details

      Copy full SHA for 13cd145

      View code at this pointBrowse repository at this point

    • Kotlin: Pull Kotlin type for params out into its own table

      igfoo

      committed
      7862229View commit details

      Copy full SHA for 7862229

      View code at this pointBrowse repository at this point

    • Kotlin: Pull Kotlin type for methods/constrs out into their own tables

      igfoo

      committed
      dc26abeView commit details

      Copy full SHA for dc26abe

      View code at this pointBrowse repository at this point

    • Kotlin: Pull Kotlin type for fields out into its own table

      igfoo

      committed
      ee00877View commit details

      Copy full SHA for ee00877

      View code at this pointBrowse repository at this point

    • Add ktLocalFunction relation and tests for local and anonymous classes

      

      tamasvajk

      authored and

      igfoo

      committed
      ef2795cView commit details

      Copy full SHA for ef2795c

      View code at this pointBrowse repository at this point

    • Kotlin: Extract visibility for properties

      igfoo

      committed
      fb90c70View commit details

      Copy full SHA for fb90c70

      View code at this pointBrowse repository at this point

    • Kotlin: Handle properties better

      igfoo

      committed
      e6e5623View commit details

      Copy full SHA for e6e5623

      View code at this pointBrowse repository at this point

    • Kotlin: Add KotlinType to ExtensionMethod

      igfoo

      committed
      e61ff60View commit details

      Copy full SHA for e61ff60

      View code at this pointBrowse repository at this point

    • Kotlin: Add KotlinTypes to arrays

      igfoo

      committed
      06a41b3View commit details

      Copy full SHA for 06a41b3

      View code at this pointBrowse repository at this point