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
*
GPUVerify: if one input file is supplied, choose output file name more intell...
Peter Collingbourne
2012-06-08
*
GPUVerify: fix line endings
Peter Collingbourne
2012-06-08
*
GPUVerify: have StripThreadIdentifiers deal properly with identifiers contain...
Peter Collingbourne
2012-06-07
*
GPUVerify: block predicator: use the name '_P' for the procedure predicate fo...
Peter Collingbourne
2012-06-07
*
GPUVerify: re-introduce the non-divergence check in unstructured mode
Peter Collingbourne
2012-06-07
*
GPUVerify: emit assumes for backedges
Peter Collingbourne
2012-06-07
*
GPUVerify: refactor candidate invariant generators and analyses to use regions
Peter Collingbourne
2012-06-07
*
GPUVerify: recognise offsets in forms other than that produced by the old fro...
Peter Collingbourne
2012-06-01
*
GPUVerify: have dualiser reuse blocks
Peter Collingbourne
2012-06-07
*
GPUVerify: add newly created barrier procedures to resolution context
Peter Collingbourne
2012-06-07
*
GPUVerify: fix bug which caused us to log accesses at the end of the block, r...
Peter Collingbourne
2012-06-06
*
GPUVerify: use Concat instead of PureCollections.Sequence.operator+
Peter Collingbourne
2012-05-31
*
GPUVerify: resolve barrier implementation in unstructured mode
Peter Collingbourne
2012-05-31
*
GPUVerify: use a Formal for procedure predicates
Peter Collingbourne
2012-05-31
*
GPUVerify: teach analyses, dualiser and race instrumenter about assigns with ...
Peter Collingbourne
2012-05-31
*
GPUVerify: implement assume stealing in block predicator
Peter Collingbourne
2012-05-30
*
GPUVerify: disable barrier divergence check in unstructured mode for now
Peter Collingbourne
2012-05-30
*
GPUVerify: have shared state abstraction, race instrumenter reuse blocks
Peter Collingbourne
2012-05-30
*
GPUVerify: factor shared state abstraction for unstructured blocks
Peter Collingbourne
2012-05-29
*
GPUVerify: factor the race instrumenter to handle unstructured blocks
Peter Collingbourne
2012-05-29
*
GPUVerify: mark new work-item constants as non-unique
Peter Collingbourne
2012-05-29
*
GPUVerify: in unstructured mode, disable uniformity analysis and return conse...
Peter Collingbourne
2012-05-25
*
GPUVerify: implement a set of BV operation constructors which insert a functi...
Peter Collingbourne
2012-05-25
*
GPUVerify: declarations of barrier, work-item constants no longer required; G...
Peter Collingbourne
2012-05-25
*
GPUVerify: add reference to Graph project
Peter Collingbourne
2012-05-25
*
GPUVerify: add a MakeDual for unstructured blocks
Peter Collingbourne
2012-05-25
*
GPUVerify: factor out the Cmd dualiser
Peter Collingbourne
2012-05-24
*
GPUVerify: add block predicator
Peter Collingbourne
2012-05-25
*
GPUVerify: add an /unstructured command line option
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
*
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
[next]