Code

Refactor alias analysis (WIP)#819

Code

Open

gsps wants to merge 4 commits intoscala-2epfl-lara/stainless:scala-2from refactor-alias-analysisepfl-lara/stainless:refactor-alias-analysisCopy head branch name to clipboard

+94-57

Commits

Commits on Aug 9, 2020

• Improve readability: Rename overloaded effects(.) and related functions

  gsps

  committed
  f0996e3

  Copy full SHA for f0996e3

• Improve readability and tighten assumptions: Rename to effectsOn and targetsOn. Assert that the latter never produces invalid selections.

  gsps

  committed
  3f4cb20

  Copy full SHA for 3f4cb20

• Reduce tightening of condition in targetsOf. Add comments based on my understanding. More renaming.

  gsps

  committed
  90036f8

  Copy full SHA for 90036f8

Commits on Aug 10, 2020

• Fix earlier typos

  gsps

  committed
  be9e579

  Copy full SHA for be9e579