All pull requests

Pull requests

• Restore parallel formal verification and retain CI progress

  #740·theoden8 opened Oct 17, 2026Owner·

  ·

• Cut the UI freezes and bridge round trips off a cold start

  #739·theoden8 opened Oct 16, 2026Owner·4 of 6 tasks·

  ·

• WebKit content rule lists on Linux

  #738·theoden8 opened Oct 16, 2026Owner·

  ·

• Let any notification site veto the JS pause; tick while inactive

  #737·theoden8 opened Oct 16, 2026Owner·

  ·

• Prove the activation model's invariants for any number of inputs

  #736·theoden8 opened Oct 16, 2026Owner·

  ·

• Show each site's own Tor exit country on the Tor screen

  #735·theoden8 opened Oct 16, 2026Owner·

  ·

• Keep a revealed tab strip through a site switch

  #734·theoden8 opened Oct 16, 2026Owner·

  ·

• Make the webview theme a per-site setting

  #733·theoden8 opened Oct 16, 2026Owner·

  ·

• Add an offline flatpak build with WPE WebKit from source

  #719·theoden8 opened Oct 14, 2026Owner·

  ·
  2

• Badge sites with their unread count

  #633·theoden8 opened Sep 26, 2026Owner·

  ·

• fix(webview): persist only settled page state to fix stale-URL black screen (#333)

  #335·theoden8 opened May 13, 2026Owner·

  ·
  1

• test: assert onUrlChanged domain-change contract end to end

  #296·theoden8 opened May 4, 2026Owner·

  ·

• Bump desktop-mode viewport rewrite to width=1366

  Android
  #280·theoden8 opened May 1, 2026Owner·

  ·
  1

• Add protocol support specs: Tor, IPFS, Gemini, Magnet

  #200·theoden8 opened Apr 13, 2026Owner·4 tasks·

  ·