Code

Simpl#2

Code

Merged

Medowhill merged 14 commits intomasterkaist-plrg/nopcrat:masterfrom simplkaist-plrg/nopcrat:simplCopy head branch name to clipboardNov 5, 2024

+671-165

Commits

Commits on Aug 13, 2024

• remove ___s check if possible

  HoseongLee

  committed
  c1144e1

  Copy full SHA for c1144e1

Commits on Aug 20, 2024

• remove ___s assign if possible

  HoseongLee

  committed
  ff39e65

  Copy full SHA for ff39e65

Commits on Aug 22, 2024

• fixed bug in previous commit and added more cases for ___s removal

  HoseongLee

  committed
  36284b3

  Copy full SHA for 36284b3

Commits on Sep 19, 2024

• handle recursive case in rcfw

  HoseongLee

  committed
  c00f77e

  Copy full SHA for c00f77e

Commits on Sep 24, 2024

• removed simplification for unit functions and bug fixes

  HoseongLee

  committed
  392e46d

  Copy full SHA for 392e46d

• Added terminator to return location check

  HoseongLee

  committed
  9137787

  Copy full SHA for 9137787

• fixed bug in terminator return location

  HoseongLee

  committed
  ddc1706

  Copy full SHA for ddc1706

Commits on Sep 27, 2024

• Combined assign and return & disabled simplification for restarted analysis

  HoseongLee

  committed
  82eae1f

  Copy full SHA for 82eae1f

• Disabled all simplications for restarted analysis

  HoseongLee

  committed
  37ec103

  Copy full SHA for 37ec103

Commits on Oct 7, 2024

• Removed simplification for -m 1 and Added statistics

  HoseongLee

  committed
  1c26f76

  Copy full SHA for 1c26f76

Commits on Oct 8, 2024

• Removed all simplifications for -m 1

  HoseongLee

  committed
  a6c1254

  Copy full SHA for a6c1254

Commits on Nov 5, 2024

• summary refactoring

  Medowhill

  committed
  7c38b92

  Copy full SHA for 7c38b92

• simplify option & count pointer def/use

  Medowhill

  committed
  3c16ea6

  Copy full SHA for 3c16ea6

• count other simplifications

  Medowhill

  committed
  bda75ea

  Copy full SHA for bda75ea