Michel Steuwer michel-steuwer

@michel-steuwer
  • @michel-steuwer f84f4d7
    Started adding proof for splitJoin rule
@michel-steuwer
@michel-steuwer
@michel-steuwer
  • @michel-steuwer f6dc277
    added joinSplitSimple1 rule
@michel-steuwer
  • @michel-steuwer 6899946
    Finished implementation of split
@michel-steuwer
  • @michel-steuwer e10f98e
    Proof for a1 given ... a2 to go
@michel-steuwer
  • @michel-steuwer f1bcfdc
    played around with split ...
@michel-steuwer
  • @michel-steuwer 1f4f5e8
    Extended the executor to support explicitly specified build options a…
@michel-steuwer
  • @tremmelg 74d695e
    Added support in the executor to launch kernels with multidimensional…
  • @ChrisCummins 664f30f
    Revert "Allow each thread in Map to process multiple elems"
  • 18 more commits »
@michel-steuwer
  • @michel-steuwer 30292da
    Print selected platform together with device.
@michel-steuwer
  • @michel-steuwer 049e8ad
    Minor fix to make gcc 4.6 compile the code
@michel-steuwer
@michel-steuwer
@michel-steuwer
  • @michel-steuwer 9a03540
    Added cmake install targets
michel-steuwer commented on pull request skelcl/skelcl#3
@michel-steuwer

Thanks!

@michel-steuwer
michel-steuwer merged pull request skelcl/skelcl#3
@michel-steuwer
Update install script for Arch Linux
1 commit with 2 additions and 0 deletions
@michel-steuwer
  • @michel-steuwer 7345ace
    Adjusted installation scripts on CentOS and Ubuntu.
@michel-steuwer
  • @michel-steuwer ffb53aa
    Adjusted installation scripts on CentOS and Ubuntu.
@michel-steuwer
  • @michel-steuwer 1072b5a
    Adjusted installation scripts on CentOS and Ubuntu.
@michel-steuwer