Code

Implement conditional out of SSA#406

Code

Merged

ebehner merged 26 commits intomainfkie-cad/dewolf:mainfrom conditional-out-of-ssafkie-cad/dewolf:conditional-out-of-ssaCopy head branch name to clipboardJun 20, 2024

+354-84

Commits

Commits on Apr 18, 2024

• Implement conditional out of ssa

  rihi

  committed
  f850af0

• black

  rihi

  committed
  dd3a543

Commits on Apr 24, 2024

• Change dot stuff

  rihi

  committed
  14c0397

Commits on May 2, 2024

• Add some test

  rihi

  committed
  31b8dfe

Commits on May 9, 2024

• black

  rihi

  committed
  5aaa2fa

Commits on May 22, 2024

• Adjust _expression_dependencies()

  rihi

  committed
  f02b7a7

• Fix docstring of ConditionalVariableRenamer

  rihi

  committed
  91e5db2

• Add a type hint

  rihi

  committed
  a46bae4

• Remove some debug stuff

  rihi

  committed
  aeeaa9c

• Use _variables_can_have_same_name

  rihi

  committed
  1641a5f

• Simply syntax and remove an unused statement

  rihi

  committed
  780bf8b

• Restructure ConditionalVariableRenamer

  rihi

  committed
  055404a

• Move dependency graph decoration function

  rihi

  committed
  bb16b0b

Commits on May 29, 2024

• Add docstring to _decorate_dependency_graph

  rihi

  committed
  39f36bf

• Add docstring to _collect_variables

  rihi

  committed
  5a04d23

• Add docstring to _expression_dependencies

  rihi

  committed
  2e22e65

• Add docstring to _generate_renaming_map

  rihi

  committed
  1b03a61

Commits on Jun 5, 2024

• Fix debug decorating of dependency graph

  rihi

  committed
  7d9ec34

• Merge parallel edges in conditional renaming

  rihi

  committed
  f5050c0

• Extract operation penalty in dependency_graph and change to 0.9

  rihi

  committed
  8e7a65c

Commits on Jun 6, 2024

• Update replace variable code in variable_renaming.py

  rihi

  committed
  37eb715

Commits on Jun 7, 2024

• Fix constant naming in dependency_graph.py

  Show description for c77738d
  

  rihi

  and

  ebehner

  authored
  c77738d

• Fix renaming change

  rihi

  committed
  5d34076

Commits on Jun 19, 2024

• Add test for parallel edges

  rihi

  committed
  b9785e1

• Run black to obfuscate code

  rihi

  committed
  658ad35

Commits on Jun 20, 2024

• Merge branch 'main' into conditional-out-of-ssa

  ebehner

  authored
  67e1cb4