| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Worked on cross-thread annotations. |  Unknown | 2012-07-03 |
| * | Added support for non-predicated assertions | Unknown | 2012-07-02 |
| * | Started adding support for annotation intrinsics for unstructured programs. | Unknown | 2012-07-02 |
| * | merge with Peter's changes |  qadeer | 2012-06-20 |
| * | Merge | qadeer | 2012-06-20 |
| |\ | |||
| | * | Block predicator: handle StateCmd |  Peter Collingbourne | 2012-06-20 |
| * | | another edit for predication | qadeer | 2012-06-19 |
| * | | integrating predication | qadeer | 2012-06-19 |
| |/ | |||
| * | Merge | qadeer | 2012-06-18 |
| * | Fix line endings | Peter Collingbourne | 2012-06-18 |
| * | Move block predicator to VCGeneration | Peter Collingbourne | 2012-06-18 |
 |
index : debian-boogie | |
| Debian packaging for Boogie |
| summaryrefslogtreecommitdiff |