| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | 0. Deleted other heap representations except SplitField and General |  qadeer | 2011-04-23 |
| * | Fix stub support (still not completely finished). |  Unknown | 2011-04-12 |
| * | More support for stubs. Ability to add functions as well as procedures. |  mikebarnett | 2011-04-04 |
| * | Made it unnecessary to set the types on the Boogie ASTs as we create them. | mikebarnett | 2011-03-03 |
| * | Create a static constructor only for types that don't already define one. | mikebarnett | 2011-03-02 |
| * | Fixed many bugs. | mikebarnett | 2011-03-01 |
| * | implemented delegates and events | qadeer | 2011-02-25 |
| * | Changed calls to Debug.Assert to Contract.Assert. | mikebarnett | 2011-02-24 |
| * | Fix the generation of procedure names so that array types are encoded properly. | mikebarnett | 2011-01-26 |
| * | Added a better options parsing by using functionality from MemberHelper. | mikebarnett | 2011-01-21 |
| * | Added a test for the split fields option. | mikebarnett | 2011-01-20 |
 |
index : debian-boogie | |
| Debian packaging for Boogie |
| summaryrefslogtreecommitdiff |