Code

Add Liveness for PTX and Vulkan#541

Code

Merged

hernanponcedeleon merged 33 commits intohernanponcedeleon:developmenthernanponcedeleon/Dat3M:developmentfrom tonghaining:livenesstonghaining/Dat3M:livenessCopy head branch name to clipboardOct 24, 2023

+18,955-159

Commits

Commits on Oct 3, 2023

• Add some local instructions and new tests for PTX

  Show description for 87df06c
  hernan-poncedeleon

  committed
  87df06c

  Copy full SHA for 87df06c

• Add PTX's CAS

  Show description for a9b7862
  hernan-poncedeleon

  committed
  a9b7862

  Copy full SHA for a9b7862

• Another example from GPU paper

  Show description for a8452a0
  hernan-poncedeleon

  committed
  a8452a0

  Copy full SHA for a8452a0

• MP with and without avvis

  Show description for 180b59b
  hernan-poncedeleon

  committed
  180b59b

  Copy full SHA for 180b59b

• Feedback implemented

  Show description for f6b09b1
  hernan-poncedeleon

  committed
  f6b09b1

  Copy full SHA for f6b09b1

• Plus/Minus/Mult -> Add/Sub/Mul

  Show description for a5ec772
  hernan-poncedeleon

  committed
  a5ec772

  Copy full SHA for a5ec772

• Mult -> Mul

  Show description for 7756027
  hernan-poncedeleon

  committed
  7756027

  Copy full SHA for 7756027

• add constant as parameter for bne/beq

  tonghaining

  committed
  075f02d

  Copy full SHA for 075f02d

• add AtomExch

  tonghaining

  committed
  ba86ad9

  Copy full SHA for ba86ad9

• add PTX Exch tests

  tonghaining

  committed
  fa36d92

  Copy full SHA for fa36d92

Commits on Oct 4, 2023

• add cadp tests

  tonghaining

  committed
  2f5ea08

  Copy full SHA for 2f5ea08

• change atomExch constant to value, add license

  tonghaining

  committed
  192e378

  Copy full SHA for 192e378

• override getPropertyProvider

  tonghaining

  committed
  0a9b9d4

  Copy full SHA for 0a9b9d4

• Merge branch 'development' into liveness

  tonghaining

  committed
  ce700a0

  Copy full SHA for ce700a0

Commits on Oct 5, 2023

• remove atom variable of Vulkan rmw, add README to liveness tests

  tonghaining

  committed
  ea6007d

  Copy full SHA for ea6007d

• remove liveness test licence from README

  tonghaining

  committed
  8c00a4a

  Copy full SHA for 8c00a4a

• change livenessTest to Property.LIVENESS

  tonghaining

  committed
  40885e7

  Copy full SHA for 40885e7

Commits on Oct 6, 2023

• change beq to bne

  tonghaining

  committed
  744f3e6

  Copy full SHA for 744f3e6

• rewrite PTX tests with exceptions

  tonghaining

  committed
  9c69b38

  Copy full SHA for 9c69b38

• rewrite Vulkan tests with exceptions

  tonghaining

  committed
  af2edc5

  Copy full SHA for af2edc5

• remove unsupported tests

  tonghaining

  committed
  01743ac

  Copy full SHA for 01743ac

Commits on Oct 7, 2023

• Merge branch 'development' into liveness

  tonghaining

  committed
  24e3ec9

  Copy full SHA for 24e3ec9

Commits on Oct 23, 2023

• Merge branch 'development' into liveness

  tonghaining

  committed
  9d2c9b5

  Copy full SHA for 9d2c9b5

Commits on Oct 24, 2023

• update SL tests

  tonghaining

  committed
  54bcd97

  Copy full SHA for 54bcd97

• add ptx6_0 liveness tests

  tonghaining

  committed
  a9bb581

  Copy full SHA for a9bb581

• update liveness expectation

  tonghaining

  committed
  91fdfc8

  Copy full SHA for 91fdfc8

• Add exchange rule to PTX visitor

  Show description for af42898
  hernan-poncedeleon

  committed
  af42898

  Copy full SHA for af42898

• Add XF-Barrier to liveness tests

  Show description for 149aa46
  hernan-poncedeleon

  committed
  149aa46

  Copy full SHA for 149aa46

• Rename folder names

  Show description for 296c67e
  hernan-poncedeleon

  committed
  296c67e

  Copy full SHA for 296c67e

• Rename folder names

  Show description for f41addd
  hernan-poncedeleon

  committed
  f41addd

  Copy full SHA for f41addd

• add CADP to check expectation

  tonghaining

  committed
  ac94426

  Copy full SHA for ac94426

• Rename folder names

  Show description for e2667f2
  hernan-poncedeleon

  committed
  e2667f2

  Copy full SHA for e2667f2

• Format

  Show description for 4f99147
  hernan-poncedeleon

  committed
  4f99147

  Copy full SHA for 4f99147