​​Sync 2019.04.09

​​Ongoing tasks

  • ​​Integrate the hybrid algorithm into rustc
  • ​​landed the changes to polonius
  • ​​land the new polonius-engine version ​@Nicholas M​
  • ​​issue a new polonius-engine release ​@Nicholas M​
  • ​​update rustc to use it ​@Albin S​
  • ​​Benchmarks
  • ​​Move liveness into polonius

​​Benchmarks

  • ​​Three runs:
  • ​​no NLL
  • ​​NLL w/o polonius
  • ​​NLL w/ polonius
  • ​​Full rustc-perf run 
​​
​​Scraped crates.io in GH:
  • ​​started pulling them down and compiling them (cargo check​)
  • ​​using polonius + nll
​​
​​Goal:
  • ​​get a few more cases to make a good “representative” polonius
  • ​​good next step
  • ​​generate facts from each test case and throw them in a spreadsheet, along with timing results
  • ​​look for things that standout
  • ​​should this be Albin, or somebody else?

​​Liveness

​​
​​