Commits

Branch selector

 main_🧶

User selector

spastorino

Datepicker

All time

Commit History

Commits on Nov 10, 2018

• Avoid converting bytes to UTF-8 strings to print, just pass bytes to stdout/err

  spastorino

  committed
  3b3b60c

Commits on Sep 19, 2018

• Add regression test for thread local static mut borrows

  spastorino

  committed
  ae42e53

Commits on Sep 17, 2018

• Inspect parents paths when checking for moves

  spastorino

  committed
  e9029ce

Commits on Aug 30, 2018

• Run rustfmt

  spastorino

  committed
  a6aa5dd

• Make move out computation lazy

  spastorino

  committed
  373fc93

Commits on Jul 23, 2018

• Buffer errors in MIR borrow check

  Show description for 3d3e0aa
  

  spastorino

  authored and

  pnkfelix

  committed
  3d3e0aa

• Remove redundant outlives declarations

  

  spastorino

  authored and

  pnkfelix

  committed
  da935e9

• Remove wrong allow(dead_code) directive

  

  spastorino

  authored and

  pnkfelix

  committed
  82e853e

• Remove unneded lifetimes relations declaration

  

  spastorino

  authored and

  pnkfelix

  committed
  bc1eec3

• Let mir reference lifetime be inferred

  

  spastorino

  authored and

  pnkfelix

  committed
  e4e84fd

• Let lifetimes on find be inferred

  

  spastorino

  authored and

  pnkfelix

  committed
  30313c0

• Remove unused lifetime annotation

  

  spastorino

  authored and

  pnkfelix

  committed
  caa11de

• gcx outlives tcx which outlives a, no need to explicitly do gcx: a

  

  spastorino

  authored and

  pnkfelix

  committed
  5dc5c02

• Remove duplicated report word in docs

  

  spastorino

  authored and

  pnkfelix

  committed
  e0ea756

Commits on Jul 5, 2018

• Do not run AST borrowck when -Zborrowck=mir

  spastorino

  committed
  25266c1

• Remove rustc_mir_borrowck attribute and use rustc_mir instead

  spastorino

  committed
  0e31e2f

Commits on Jul 1, 2018

• Run rustfmt

  spastorino

  committed
  71f25b4

• Make causal tracking lazy

  spastorino

  committed
  0957ede

• Move find_use stuff to it's own file

  spastorino

  committed
  24f91e8

• let add_element return by itself

  spastorino

  committed
  b2d16f3

Commits on Jun 22, 2018

• Run rustfmt

  spastorino

  committed
  1dae309

• Fix erroneous error note when using field after move

  spastorino

  committed
  ad612d6

Commits on Jun 20, 2018

• Fix variable name in E0502 double borrow error

  spastorino

  committed
  3d31e5f

• Run rustfmt

  spastorino

  committed
  d3defca

• Suggest that values are dropped in the opposite order they are defined

  spastorino

  committed
  f4fc43c

Commits on May 30, 2018

• Run rustfmt

  spastorino

  committed
  b39a1d6

• Add compare-mode to x.py

  spastorino

  committed
  b970fee

• Add polonius compare mode

  spastorino

  committed
  9df0a41

Commits on May 29, 2018

• Whitelist datafrog on tidy

  spastorino

  committed
  4c10a65

• Run rustfmt

  spastorino

  committed
  a8b36c9

• Use polonius_output

  spastorino

  committed
  9de4e34

Commits on May 24, 2018

• Use AllFacts from polonius-engine

  spastorino

  committed
  8429d11

Commits on Apr 19, 2018

• Fix Iter exhaustion in prove_predicates when debug is on

  Show description for 55054ee
  spastorino

  committed
  55054ee

Commits on Apr 11, 2018

• Fix unsoundness bug in functions input references

  Show description for 55fb12c
  spastorino

  committed
  55fb12c

• Make prove_predicates take an Iterator

  spastorino

  committed
  0e2e179

Pagination

PreviousNext