projects
/
~peter/klee-opencl.git
/ summary
commit
grep
author
committer
pickaxe
?
search:
re
summary |
shortlog
|
log
|
commit
|
commitdiff
|
tree
description
klee-opencl
owner
Peter Collingbourne
last change
Wed, 10 Aug 2011 20:52:34 +0000
URL
git://git.pcc.me.uk/~peter/klee-opencl.git
http://git.pcc.me.uk/~peter/klee-opencl.git
shortlog
2011-08-10
Peter Collingbourne
Fix race condition by adding barrier
master
commit
|
commitdiff
|
tree
|
snapshot
2011-08-10
Peter Collingbourne
Initial version of the simplified reduce benchmark
commit
|
commitdiff
|
tree
|
snapshot
2011-06-20
Peter Collingbourne
Add another body to dynworld
commit
|
commitdiff
|
tree
|
snapshot
2011-06-14
Peter Collingbourne
Make air_density symbolic
commit
|
commitdiff
|
tree
|
snapshot
2011-06-14
Peter Collingbourne
Make some parameters symbolic (8 paths)
commit
|
commitdiff
|
tree
|
snapshot
2011-06-07
Peter Collingbourne
Fix copy-pasto in makefile
commit
|
commitdiff
|
tree
|
snapshot
2011-06-06
Peter Collingbourne
Add clcc utility for compiling OpenCL C code
commit
|
commitdiff
|
tree
|
snapshot
2011-05-31
Peter Collingbourne
Add script to convert PTX f32 divides into f64 divides
commit
|
commitdiff
|
tree
|
snapshot
2011-05-31
Peter Collingbourne
Add option for using binary
commit
|
commitdiff
|
tree
|
snapshot
2011-05-31
Peter Collingbourne
Fix problems with dump_binaries
commit
|
commitdiff
|
tree
|
snapshot
2011-05-31
Peter Collingbourne
cl_khr_byte_addressable_store required by recent nvidia...
commit
|
commitdiff
|
tree
|
snapshot
2011-05-30
Peter Collingbourne
Add a binary dumper (commented out as it can crash...
commit
|
commitdiff
|
tree
|
snapshot
2011-05-30
Peter Collingbourne
Perform divisions in double precision
commit
|
commitdiff
|
tree
|
snapshot
2011-05-30
Peter Collingbourne
Use correct address space in pointer cast
commit
|
commitdiff
|
tree
|
snapshot
2011-05-27
Peter Collingbourne
Add prototype tester for the softbody problem
commit
|
commitdiff
|
tree
|
snapshot
2011-05-20
Peter Collingbourne
Build concrete bitcodes, add dynworld benchark
commit
|
commitdiff
|
tree
|
snapshot
...
heads
21 months ago
master
shortlog
|
log
|
tree