Code

Origin cleanup#1104

Code

Merged

pieter-bos merged 8 commits intodevutwente-fmt/vercors:devfrom origin-cleanuputwente-fmt/vercors:origin-cleanupCopy head branch name to clipboardNov 13, 2023

+1,038-1,226

Commits

Commits on Nov 3, 2023

• save

  pieter-bos

  committed
  70c0a51

Commits on Nov 6, 2023

• reorganize origin a bit

  pieter-bos

  committed
  7b5d176

Commits on Nov 7, 2023

• fix some rewriters

  pieter-bos

  committed
  2a2c9ee

Commits on Nov 9, 2023

• make everything compile again

  pieter-bos

  committed
  ea3aab8

Commits on Nov 13, 2023

• Merge branch 'dev' into origin-cleanup

  pieter-bos

  committed
  a44622c

• use sourcename for importadt

  pieter-bos

  committed
  55bdd5b

• use sourcename for sycl predicate

  pieter-bos

  committed
  4481cde

• some cosmetic stuff

  pieter-bos

  committed
  a0ba9d9