| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | 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 |
 |
index : debian-boogie | |
| Debian packaging for Boogie |
| summaryrefslogtreecommitdiff |