Code

Add an optional Soufflé backend#179

Code

Open

ecstatic-morse wants to merge 17 commits intorust-lang:masterrust-lang/polonius:masterfrom ecstatic-morse:polonius-souffleecstatic-morse/polonius:polonius-souffleCopy head branch name to clipboard

+2,233-269

Commits

Commits on Sep 24, 2021

• Use single-element tuples in facts

  Show description for 103b908
  ecstatic-morse

  committed
  103b908

• Add u32 conversion methods for fact indexes

  ecstatic-morse

  committed
  84f3992

• Add Soufflé backend

  ecstatic-morse

  committed
  6911864

Commits on Sep 27, 2021

• Add Souffle variants of some Algorithms

  ecstatic-morse

  committed
  3c6dcf1

• Add polonius_facts crate containing AllFacts

  Show description for 6dcf350
  ecstatic-morse

  committed
  6dcf350

• Test Souffle versions of Polonius analyses

  ecstatic-morse

  committed
  9c7e8ae

• Make polonius_souffle an optional dependency

  ecstatic-morse

  committed
  281af8a

• Clarify rules for C++ global initialization

  ecstatic-morse

  committed
  efbcec8

• Update Cargo.lock

  ecstatic-morse

  committed
  2bb32f0

• Test Souffle feature on CI

  ecstatic-morse

  committed
  e6ac7ad

• Use u32 index in test

  ecstatic-morse

  committed
  644f9df

Commits on Sep 30, 2021

• Use the new feature resolver in Cargo

  Show description for df78ae7
  ecstatic-morse

  committed
  df78ae7

• Fix bugs in optimized variant

  Show description for cc97caf
  ecstatic-morse

  committed
  cc97caf

• Add missing rule for dying_can_reach_origins

  ecstatic-morse

  committed
  9c4a56c

• Add missing base case for requires

  ecstatic-morse

  committed
  2ce712d

Commits on Oct 12, 2021

• CI: Don't install Souffle unless needed

  ecstatic-morse

  committed
  d1e85c9

• Temporarily use self-hosted Souffle release

  ecstatic-morse

  committed
  d90fed1