Commits

Commit history

1. Commits on Oct 27, 2023

   • Java: Split the different layers of virtual dispatch into separate cached stages.

     aschackmull

     committed
     9769953View commit details

     Copy full SHA for 9769953

     View code at this pointBrowse repository at this point
2. 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
3. Commits on Aug 8, 2023

   • Java: Always apply heuristic query regardless of existing models.

     aschackmull

     committed
     ab334f6View commit details

     Copy full SHA for ab334f6

     View code at this pointBrowse repository at this point
4. Commits on Aug 3, 2023

   • Java: Replace ratpack test fix with general heuristic summary.

     aschackmull

     committed
     37455ecView commit details

     Copy full SHA for 37455ec

     View code at this pointBrowse repository at this point
5. Commits on Jul 24, 2023

   • Use new TypeInputStream

     atorralba

     committed
     5330ce1View commit details

     Copy full SHA for 5330ce1

     View code at this pointBrowse repository at this point
6. Commits on Jul 19, 2023

   • Java: Avoid low-confidence dispatch to InputStream methods

     Show description for 2dbbcc2
     atorralba

     committed
     2dbbcc2View commit details

     Copy full SHA for 2dbbcc2

     View code at this pointBrowse repository at this point
7. 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
8. Commits on Mar 14, 2023

   • Java: Add qldoc.

     aschackmull

     committed
     a9d2b93View commit details

     Copy full SHA for a9d2b93

     View code at this pointBrowse repository at this point

   • Java: Remove low-confidence dispatch to known neutrals.

     aschackmull

     committed
     dbfc256View commit details

     Copy full SHA for dbfc256

     View code at this pointBrowse repository at this point
9. 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
10. Commits on Feb 3, 2023

    • Java: Apply deadcode guard to data flow nodes.

      aschackmull

      committed
      a1aeb99View commit details

      Copy full SHA for a1aeb99

      View code at this pointBrowse repository at this point
11. Commits on Dec 8, 2022

    • Java: Switch DispatchFlow to typetracking.

      aschackmull

      committed
      d157e13View commit details

      Copy full SHA for d157e13

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

    • Java: Switch to qualified imports.

      aschackmull

      committed
      f17f19cView commit details

      Copy full SHA for f17f19c

      View code at this pointBrowse repository at this point
13. Commits on Nov 23, 2022

    • Java: Adjust the prioritisation between MaD and source dispatch.

      aschackmull

      committed
      807f87eView commit details

      Copy full SHA for 807f87e

      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 Sep 15, 2022

    • Java: Use MaD summaries for java.util.Hashtable.

      aschackmull

      committed
      a4ae9a0View commit details

      Copy full SHA for a4ae9a0

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

    • Java: Remove low confidence dispatch for which we have a manual summary.

      aschackmull

      committed
      ba3ebeeView commit details

      Copy full SHA for ba3ebee

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

    • Java: Replace ad-hoc variable tracking with union type flow in dispatch.

      aschackmull

      committed
      a8eedceView commit details

      Copy full SHA for a8eedce

      View code at this pointBrowse repository at this point
18. Commits on Aug 29, 2022

    • Java: Allow dispatch to methods on abstract classes without subtypes.

      aschackmull

      committed
      e89b42fView commit details

      Copy full SHA for e89b42f

      View code at this pointBrowse repository at this point

    • Java: Move file.

      aschackmull

      committed
      adfd474View commit details

      Copy full SHA for adfd474

      View code at this pointBrowse repository at this point
19. Commits on Aug 26, 2022

    • Java: Address review comments.

      aschackmull

      committed
      3e5155dView commit details

      Copy full SHA for 3e5155d

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

    • Java: Improve unification check for wildcards with lower bounds.

      aschackmull

      committed
      92f2976View commit details

      Copy full SHA for 92f2976

      View code at this pointBrowse repository at this point

    • Java: Improve unification check for bounded types.

      aschackmull

      committed
      f248c6aView commit details

      Copy full SHA for f248c6a

      View code at this pointBrowse repository at this point

    • Java: Deduplicate unification code as a parameterised module.

      aschackmull

      committed
      6b01f02View commit details

      Copy full SHA for 6b01f02

      View code at this pointBrowse repository at this point
21. Commits on Aug 16, 2022

    • Java: Make synthesized method bodies disjoint from source code.

      aschackmull

      committed
      df40ccdView commit details

      Copy full SHA for df40ccd

      View code at this pointBrowse repository at this point
22. Commits on Aug 2, 2022

    • Java: Improve join-order.

      aschackmull

      committed
      cd356a5View commit details

      Copy full SHA for cd356a5

      View code at this pointBrowse repository at this point
23. Commits on May 10, 2022

    • Kotlin: Performance tweak

      igfoo

      committed
      b9be794View commit details

      Copy full SHA for b9be794

      View code at this pointBrowse repository at this point

    • Remove `ExtensionMethodAccess` and revert all dataflow changes

      

      tamasvajk

      authored and

      igfoo

      committed
      a1842f9View commit details

      Copy full SHA for a1842f9

      View code at this pointBrowse repository at this point

    • Fix data flow through `ExtensionMethodAccess`

      

      tamasvajk

      authored and

      igfoo

      committed
      95cb014View commit details

      Copy full SHA for 95cb014

      View code at this pointBrowse repository at this point

    • Kotlin: Add types for the different kinds of casts that Kotlin has

      Show description for 6566f7b
      igfoo

      committed
      6566f7bView commit details

      Copy full SHA for 6566f7b

      View code at this pointBrowse repository at this point
24. Commits on Feb 21, 2022

    • Java: Performance tweaks

      igfoo

      committed
      7ce9b16View commit details

      Copy full SHA for 7ce9b16

      View code at this pointBrowse repository at this point
25. Commits on Oct 29, 2021

    • Java: Add FieldValueNode to break up cartesian step relation.

      aschackmull

      committed
      abf508eView commit details

      Copy full SHA for abf508e

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

    • Java: Fix bad join-order.

      aschackmull

      committed
      90a50e7View commit details

      Copy full SHA for 90a50e7

      View code at this pointBrowse repository at this point
27. Commits on Sep 13, 2021

    • Java: Add support for callback-based library models.

      aschackmull

      committed
      89a6cdcView commit details

      Copy full SHA for 89a6cdc

      View code at this pointBrowse repository at this point