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
/
GPUVerify.csproj
Commit message (
Expand
)
Author
Age
*
Shared state is now properly abstracted in requires clauses.
Unknown
2012-08-31
*
Removed code related to "divided" option.
Unknown
2012-08-13
*
Unstructured and smart predication are now default options for GPUVerify.
Unknown
2012-08-09
*
Implemented Houdini-based pointer analysis. Made inter-group race checking d...
Unknown
2012-07-20
*
GPUVerify only generates _READ/WRITE_OFFSET variabls if they do not already e...
Unknown
2012-07-17
*
Worked on cross-thread annotations.
Unknown
2012-07-03
*
GPUVerify: implement generic reduced strength analysis for loop counters
Peter Collingbourne
2012-06-26
*
GPUVerify: merge ElementEncodingRaceInstrumenter into RaceInstrumenter
Peter Collingbourne
2012-06-22
*
GPUVerify: replace MayBe{ThreadConfigurationVariable,Gid}Analyser with simple...
Peter Collingbourne
2012-06-21
*
Move block predicator to VCGeneration
Peter Collingbourne
2012-06-18
*
GPUVerify: implement is-a-constant analysis
Peter Collingbourne
2012-06-15
*
GPUVerify: refactor candidate invariant generators and analyses to use regions
Peter Collingbourne
2012-06-07
*
GPUVerify: add reference to Graph project
Peter Collingbourne
2012-05-25
*
GPUVerify: add block predicator
Peter Collingbourne
2012-05-25
*
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
*
removed BoogieDriver from solution
qadeer
2012-04-18
*
More accessed offset inference
Unknown
2012-04-09
*
Inference of thread ids complete.
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
*
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
*
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
*
Race checking assertions are now added as invariants and pre/post conditions ...
Unknown
2012-03-05
*
Support for access annotations.
Unknown
2012-03-01
*
Adding support for annotations written in the OpenCL/CUDA kernels.
Unknown
2012-02-29
*
Modified solution to build on all platforms.
Unknown
2011-11-15
*
Refactoring, and work on race checking contracts
Unknown
2011-11-09
*
moved GPUVerify into its own solution
qadeer
2011-11-08
*
Additions to GPU Verify for paper submission.
Unknown
2011-11-08
*
Refactoring and reorganisation of GPUVerify
Unknown
2011-09-30
*
Progress on GPUVerify
Unknown
2011-09-27
*
Added GPUVerify project
Unknown
2011-09-02