All pull requests

Pull requests

• early return before liveness checks

  #204·SleighPenguin22 opened Oct 20, 2026·

  ·

• Enrich gitignore file to exclude editor files

  #198·FullyNonlinear opened Jun 19, 2024·

  ·
  1

• inline mir in .dot file

  #195·lengyijun opened Oct 16, 2023Contributor·

  ·
  1

• docs: origin_live_at -> origin_live_on_entry

  #194·ivanbakel opened Jul 21, 2023·

  ·

• Make Polonius report any found errors by default

  #193·ivanbakel opened Jul 21, 2023·

  ·
  1

• add parser support for path related facts

  #190·zirconium-n opened Nov 14, 2022·

  ·

• use byte literals

  #189·danieleades opened May 2, 2022·

  ·

• prefer 'map' to 'and_then/some(...)'

  #188·danieleades opened May 1, 2022·

  ·

• prefer 'char' to 'str' for single character patterns

  #187·danieleades opened May 1, 2022·

  ·

• add clippy lint CI target

  #186·danieleades opened May 1, 2022·

  ·

• Rewrite polonius-engine

  #183·ecstatic-morse opened Jan 16, 2022·

  ·
  4

• Add an optional Soufflé backend

  #179·ecstatic-morse opened Aug 19, 2021·

  ·
  11

• Don't re-index relations just to add an empty tuple

  #178·ecstatic-morse opened Aug 12, 2021·

  ·
  6

• Filter reflexive subset relations eagerly

  #177·ecstatic-morse opened Aug 12, 2021·

  ·
  7