Code

Ast opencl fixes#771

Code

Merged

pieter-bos merged 34 commits intoutwente-fmt:astutwente-fmt/vercors:astfrom sakehl:ast-opencl-fixessakehl/vercors:ast-opencl-fixesCopy head branch name to clipboardSep 26, 2022

+2,244-239

Commits

Commits on Jun 20, 2022

• Added an expression equality checker class

  sakehl

  committed
  8a09ff5

Commits on Jun 24, 2022

• First version of translating SimplifiedNestedQuantifiers to new ast

  sakehl

  committed
  1f3fe59

Commits on Aug 10, 2022

• Unfold forall, small bugfix & refactor naming conventions

  Show description for abf4838
  sakehl

  committed
  abf4838

• Parblock without extra variables

  sakehl

  committed
  280d32b

• Add names of forall binders after rewriting

  sakehl

  committed
  f2e26a5

Commits on Aug 15, 2022

• Take account equalities whilst simplifying quantifiers

  sakehl

  committed
  c5fdc5e

Commits on Aug 17, 2022

• Small c file read fix & debug info print

  sakehl

  committed
  73cd952

Commits on Aug 29, 2022

• Merge remote-tracking branch 'utwente-fmt/ast' into ast-opencl-fixes

  sakehl

  committed
  71d9002

• merge

  sakehl

  committed
  95b5df7

Commits on Aug 30, 2022

• Added greater than/not zero information

  sakehl

  committed
  4cd25a7

• Smaller fixes

  sakehl

  committed
  f200d26

• Improvements to nested quantifier check

  sakehl

  committed
  0dc703d

Commits on Sep 5, 2022

• Add better origin names of C files

  sakehl

  committed
  aebc48b

• Added pointer_length and smaller fixes

  sakehl

  committed
  fee6e7f

• GPU blocks should always be non empty encoded

  sakehl

  committed
  f2938cb

• Single parblock required to be non-empty

  sakehl

  committed
  dabf180

• Rearange transformation to work better with simplify nested quantifiers

  sakehl

  committed
  6b8310b

• Add bool to cuda.h and opencl.h

  sakehl

  committed
  d2e6a2b

• Merge remote-tracking branch 'utwente-fmt/ast' into ast-opencl-fixes

  sakehl

  committed
  b70a7b4

• Merge and warning fixes

  sakehl

  committed
  4731347

Commits on Sep 6, 2022

• Merge remote-tracking branch 'utwente-fmt/ast' into ast-opencl-fixes

  sakehl

  committed
  800f3cc

Commits on Sep 14, 2022

• Add shared memory support

  sakehl

  committed
  e1db973

• Merge branch 'ast-opencl-shared-mem' into ast-opencl-fixes

  sakehl

  committed
  03fdf46

• Merge remote-tracking branch 'utwente-fmt/ast' into ast-opencl-fixes

  sakehl

  committed
  5bf3352

• Some fixes to SimplifNestedQuantifiers to work with 'new' permissions

  sakehl

  committed
  722e734

Commits on Sep 19, 2022

• Added barriers with memory fences

  sakehl

  committed
  0565c7d

Commits on Sep 20, 2022

• Changes based on pull request review

  sakehl

  committed
  a9c4e99

• Merge remote-tracking branch 'utwente-fmt/ast' into ast-opencl-fixes

  sakehl

  committed
  937e982

Commits on Sep 22, 2022

• Added analysis to decide if an expression remains constant

  sakehl

  committed
  b348bad

Commits on Sep 26, 2022

• Added static shared memory

  sakehl

  committed
  bbf3b2b

• Safe specific kernel type as cuda or opencl

  sakehl

  committed
  1b4296b

• Merge branch 'ast-before-rename' into ast-opencl-fixes

  sakehl

  committed
  d3dc6c8

• Merge branch 'ast' into ast-opencl-fixes

  pieter-bos

  committed
  aa199a0

• Merge branch 'ast-opencl-fixes' of ssh://github.com/sakehl/vercors into ast-opencl-fixes

  pieter-bos

  committed
  061f7d9