| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Use an explicit PdbReader instead of the more general ISourceLocationProvider... |  mikebarnett | 2010-12-21 |
| * | Generate "assume {:filename "foo.cs"}{:line 3} true" statements for each stat... | mikebarnett | 2010-12-20 |
| * | Translate boolean types into Bpl.Type.Bool. | mikebarnett | 2010-12-20 |
| * | Fixed declaration of procedures from static methods so that they don't have t... | mikebarnett | 2010-12-14 |
| * | Fixed field update and field dereference. | mikebarnett | 2010-12-09 |
| * | General hygiene: introduced (fixed) a helper method that creates Boogie token... | mikebarnett | 2010-07-05 |
| * | Cleaned up the sink: removed the OutVars, which was state the sink needed onl... | mikebarnett | 2010-07-05 |
| * | Introduction of the Sink: a global object that is threaded through all of the... | mikebarnett | 2010-07-02 |
| * | Forgotten file. | mikebarnett | 2010-06-30 |
 |
index : debian-boogie | |
| Debian packaging for Boogie |
| summaryrefslogtreecommitdiff |