Code

Phase 1 initialization#109

Code

Merged

nikomatsakis merged 6 commits intorust-lang:masterrust-lang/polonius:masterfrom amandasystems:phase-1-initializationCopy head branch name to clipboardJul 8, 2019

+1,007,702-1,236

Commits

Commits on Jun 13, 2019

• Add nice liveness graph output

  

  Albin Stjerna

  committed
  f7f54f1

  Copy full SHA for f7f54f1

Commits on Jun 18, 2019

• Add var_initialized_on_exit, and a CLI option to ignore region_live_at

  

  Albin Stjerna

  committed
  7e02ccc

  Copy full SHA for 7e02ccc

Commits on Jul 1, 2019

• BORING COMMIT: regenerate ALL FACTS

  

  Albin Stjerna

  committed
  08e4b52

  Copy full SHA for 08e4b52

• Enable the previosly spuriously failing tests, update hard-coded indices

  Show description for 93c0d47
  

  Albin Stjerna

  committed
  93c0d47

  Copy full SHA for 93c0d47

Commits on Jul 3, 2019

• Use logging for error reporting, region_live_at.facts now optional

  

  Albin Stjerna

  committed
  83aa602

  Copy full SHA for 83aa602

• Version-bump Polonius

  

  Albin Stjerna

  committed
  edc196c

  Copy full SHA for edc196c