index
:
debian-boogie
dfsg_free
master
Debian packaging for Boogie
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
Source
/
GPUVerify
Commit message (
Expand
)
Author
Age
*
Get Boogie and GPUVerify to compile and run with Mono
Peter Collingbourne
2012-05-02
*
Started refactoring invariant generation rules.
Unknown
2012-04-24
*
Removed set encoding.
Unknown
2012-04-24
*
Significantly changed the way race checking is performed. Made eager race ch...
Unknown
2012-04-24
*
removed BoogieDriver from solution
qadeer
2012-04-18
*
Made loop predicate invariant optionally generated.
Unknown
2012-04-13
*
Added invariant to predicated loops.
Unknown
2012-04-10
*
Minor fix to array control flow analysis.
Unknown
2012-04-10
*
Inference in GPUVerify now merges candidates for threads 1 and 2 into a singl...
Unknown
2012-04-10
*
Don't insert final barrier when eager race checking is enabled.
paulthomson
2012-04-09
*
Tweak to inference.
Unknown
2012-04-09
*
More accessed offset inference
Unknown
2012-04-09
*
Refined assertion.
Unknown
2012-04-06
*
Tuned candidate generation.
Unknown
2012-04-06
*
Extended GPUVerify's candidate invariant generation to use thread id inference.
Unknown
2012-04-05
*
Inference of thread ids complete.
Unknown
2012-04-05
*
Thread id inference now generalised to infer other thread configuration param...
Unknown
2012-04-05
*
Thread id inference now generalised to three dimensions.
Unknown
2012-04-05
*
Started generalising thread id inference
Unknown
2012-04-05
*
GPUverify now automatically decides then to use adversarial abstraction.
Unknown
2012-04-05
*
Fixed bug with handling of return in GPUVerify.
Unknown
2012-04-03
*
Added support for break and return.
Unknown
2012-04-03
*
Fixed bug with GPUVerify precondition generation
Unknown
2012-03-30
*
Improved invariant inference.
Unknown
2012-03-28
*
Started adding another invariant generation analysis.
Unknown
2012-03-26
*
Started on live variable analysis in GPUVerify
Unknown
2012-03-26
*
Added "may be power of two" analysis.
Unknown
2012-03-25
*
Added "may be tid" analysis.
Unknown
2012-03-24
*
Fixed some bugs in uniformity analysis - now passes GPUVerify test suite.
Unknown
2012-03-24
*
Using uniform expression analysis in GPUVerify - also did some major refactor...
Unknown
2012-03-24
*
Added uniform expression analysis, and started using it to do less predication.
Unknown
2012-03-23
*
Do not generate equality candidates for variables that are not in the mod set.
Unknown
2012-03-22
*
Cleaned up some GPUVerify code.
Unknown
2012-03-22
*
Added the option to let user determine whether or not GPUVerify should add in...
Unknown
2012-03-19
*
Support for arrays with arbitrary indices
Unknown
2012-03-18
*
Improved kernel precondition generation
Unknown
2012-03-17
*
Added support for further annotations
Unknown
2012-03-16
*
Race checking assertions are now added as invariants and pre/post conditions ...
Unknown
2012-03-05
*
Support for __all and __at_most_one annotations
Unknown
2012-03-04
*
More annotation support
Unknown
2012-03-04
*
Support for access annotations.
Unknown
2012-03-01
*
Added missing files.
Unknown
2012-02-29
*
Adding support for annotations written in the OpenCL/CUDA kernels.
Unknown
2012-02-29
*
Fixed compilation problems in GPUVerify
Unknown
2012-02-28
*
Added support for invariants in GPUVerify input.
Unknown
2012-02-28
*
Small fix to previous commit.
paulthomson
2012-02-13
*
Allow any file extension, but give warning if it is not .gbpl
paulthomson
2012-02-10
*
Fix: Check for duplicate special constants (with attributes).
paulthomson
2012-02-09
*
Predicated assumes
Unknown
2012-02-08
*
Support for language-specific thread ids.
Unknown
2012-02-07
[next]