Search

Pull requests

• Type inference: Improve base type matching

  RustUnified
  #22761·hvitved opened Oct 6, 2026Contributor·

  ·

• Type inference: Improve constraint matching

  Rust
  #22759·hvitved opened Oct 6, 2026Contributor·

  ·

• UnboundList: More compact string representation take 2

  no-change-note-required
  #22623·hvitved opened Sep 18, 2026Contributor·

  ·
  2

• Swift: prototype implementation of type inference in QL

  RustSwift
  #21837·hvitved opened May 12, 2026Contributor·

  ·
  9

• py/tarslip: detect shutil.unpack_archive and subprocess tar extraction

  Python
  #21720·hvitved with CopilotAI opened Apr 16, 2026·

  ·
  1

  8

  

• Rust: Jump-to-def for operations and indexing

  no-change-note-requiredRust
  #20900·hvitved opened Nov 24, 2025Contributor·

  ·
  18

• Rust [EXPERIMENT]: Reintroduce extractor resolution

  Rust
  #20753·hvitved opened Nov 4, 2025Contributor·

  ·
  15

• Rust [EXPERIMENT]: Reduce all query suites to just type inference

  Rust
  #20721·hvitved opened Oct 30, 2025Contributor·

  ·
  1

• temp

  Rust
  #18230·hvitved opened Dec 6, 2024Contributor·

  ·
  5

• Data flow: Remove allowParameterReturnInSelf restriction

  C#C++DataFlow LibraryGoJavaPythonRubyRustSwift
  #18217·hvitved opened Dec 5, 2024Contributor·

  ·

• Data flow: Rework reverse flow through parameters

  C#C++DataFlow LibraryGoJavaRubySwift
  #18109·hvitved opened Nov 26, 2024Contributor·

  ·
  8

• SSA: Lift barrier guards to logical operations

  C#Ruby
  #17673·hvitved opened Oct 7, 2024Contributor·

  ·
  2

• Data flow: Store/load matching in pruning stage 3

  DataFlow Library
  #16741·hvitved opened Jun 12, 2024Contributor·

  ·
  18

• Data flow: Improve pruning when calculating flow through

  DataFlow Library
  #16182·hvitved opened Apr 11, 2024Contributor·

  ·

• Dataflow perf investigations

  C#C++DataFlow LibraryGoJavaPythonRubySwift
  #15444·hvitved opened Jan 26, 2024Contributor·

  ·
  22

• C#: Add static call graph tests

  C#
  #12262·hvitved opened Feb 20, 2023Contributor·

  ·