| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | removed BoogieDriver from solution |  qadeer | 2012-04-18 |
| * | 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 |
| * | Some fixes to get GPUVerify close to working with OpenCL. |  Unknown | 2011-12-09 |
| * | Changed names of builtins to make them generic. |  Unknown | 2011-12-07 |
| * | Small fix. | Unknown | 2011-11-16 |
| * | Better support for race-checking contracts |  Unknown | 2011-11-16 |
| * | Refactoring, and work on race checking contracts |  Unknown | 2011-11-09 |
| * | Additions to GPU Verify for paper submission. | Unknown | 2011-11-08 |
| * | Changes to GPUVerify |  Unknown | 2011-09-30 |
| * | Refactoring and reorganisation of GPUVerify | Unknown | 2011-09-30 |
| * | Progress on GPUVerify | Unknown | 2011-09-27 |
| * | 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 |
 |
index : debian-boogie | |
| Debian packaging for Boogie |
| summaryrefslogtreecommitdiff |