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
*
Generating useful, and guarateed by construction, postconditions and loop inv...
Unknown
2011-11-21
*
Small fix.
Unknown
2011-11-16
*
Better support for race-checking contracts
Unknown
2011-11-16
*
Some fixes for race checking contracts
Unknown
2011-11-15
*
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
*
Started working on inter-procedural inference
Unknown
2011-09-30
*
Changes to GPUVerify
Unknown
2011-09-30
*
Refactoring and reorganisation of GPUVerify
Unknown
2011-09-30
*
Added missing files
Unknown
2011-09-29
*
Made use of Houdini optional
Unknown
2011-09-29
*
Progress on GPUVerify
Unknown
2011-09-27
*
Various changes to GPUVerify
Unknown
2011-09-08
*
Completed basic version of GPUVerify tool
Unknown
2011-09-07
*
Added driver script and GPUVerify libary. The driver script works around the...
Unknown
2011-09-06
*
Added GPUVerify project
Unknown
2011-09-02