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 (
Collapse
)
Author
Age
*
Generating useful, and guarateed by construction, postconditions and loop ↵
Unknown
2011-11-21
|
|
|
|
invariants for kenrel procedures.
*
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 ↵
Unknown
2011-09-06
|
|
|
|
the fact that Boogie does not do deep cloning of expressions when turning a structured program into an unstructured one.
*
Added GPUVerify project
Unknown
2011-09-02