All pull requests

Pull requests

• fix[lang]: cap element size of INF dynarrays at 2**64 bytes

  #5364·sequent-dev-bot opened Nov 11, 2026Contributor·

  ·
  1

  2

• chore[docs]: fix typos in comments

  #5361·ninglinLiu opened Nov 11, 2026·

  ·
  2

• fix[ux]: improve the error message for invalid function names

  #5360·DigitalA7 opened Nov 10, 2026·

  ·
  1

  2

• feat[venom]: small dse improvement for abstarct allocations

  #5359·HodanPlodky opened Nov 10, 2026Collaborator·

  ·
  4

• feat[venom]: allow loops over list literals of INF types

  #5358·harkal opened Nov 9, 2026Collaborator·

  ·
  4

• fix[venom]: reject a subscript whose index writes its base

  #5356·sequent-dev-bot opened Nov 9, 2026Contributor·

  ·
  1

  3

• fix[venom]: preserve shared phi origins across siblings

  #5354·sequent-dev-bot opened Nov 8, 2026Contributor·

  ·
  1

  1

• fix[venom]: follow abstract overrides in overlap checks

  #5352·sequent-dev-bot opened Nov 8, 2026Contributor·

  ·
  1

  3

• fix[venom]: reject a risky overlap on a pop() subscript base

  #5350·sequent-dev-bot opened Nov 8, 2026Contributor·

  ·

• perf[ir]: skip re-optimizing nodes when no local rewrite fired

  #5348·DicksonWu654 opened Nov 6, 2026·

  ·
  1

• fix[venom]: store nested dynamic values by length

  #5347·sequent-dev-bot opened Nov 6, 2026Contributor·

  ·
  7

• fix[codegen]: stop iterating a storage array at its current length

  #5346·sequent-dev-bot opened Nov 6, 2026Contributor·

  ·
  1

  17

• build(deps): bump the github-actions group across 1 directory with 11 updates

  dependenciesgithub_actions
  #5343·dependabot[bot] opened Nov 5, 2026Bot·

  ·
  3

• feat[venom]: filter DFT effect dependencies with alias analysis (revived)

  #5341·harkal opened Nov 4, 2026Collaborator·

  ·
  8

• fix[lang]: fix nested list literals passed to wildcard parameters

  #5328·harkal opened Nov 1, 2026Collaborator·

  ·
  25

• fix[venom]: order gas reads against calls and each other

  #5321·heswithme opened Oct 23, 2026·

  ·
  1

  1

• fix[lang]: fix implements with interface return

  #5317·Sporarum opened Oct 22, 2026Collaborator·

  ·
  2

  7

• fix[ux]: locate natspec docstrings by node position

  #5312·wavebyrd opened Oct 17, 2026·

  ·
  1

  18

• chore[docs]: add security contact

  #5307·charles-cooper opened Oct 13, 2026Member·

  ·
  5

• docs: fix code examples that don't compile

  #5305·mikeua opened Oct 12, 2026·

  ·
  1

• fix[tool]: reject bundles with relative imports crossing the cwd

  #5304·JulienKervarrec opened Oct 12, 2026Contributor·

  ·
  1

  9

• fix[ux]: warn on ambiguous import resolution

  #5301·kenny-ish opened Oct 9, 2026Contributor·

  ·
  1

  9

• fix[parser]: fix source spans for form feeds and non-ascii source

  #5294·Kshot3000 opened Oct 5, 2026·

  ·
  1

  10

  

• fix[lang]: reject abi encoding of HashMap

  #5290·kenny-ish opened Oct 3, 2026Contributor·

  ·
  1

• fix[venom]: reject constant-false asserts at compile time

  #5288·JulienKervarrec opened Oct 3, 2026Contributor·

  ·
  1