| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Boogie: Added boolean code expressions (sans well-formedness checks on the in... |  rustanleino | 2010-08-10 |
| * | Boogie: Removed trailing spaces in code | tabarbe | 2010-08-04 |
| * | Boogie: | rustanleino | 2010-05-15 |
| * | Boogie: | rustanleino | 2010-02-20 |
| * | Split parts of AbsyExpr.ssc into AbsyQuant.ssc. Implement lambda expressions;... | MichalMoskal | 2010-02-19 |
| * | 1. Fixed bug in StandardVisitor.ssc | qadeer | 2010-02-09 |
| * | Z3 parameters to help it bail out of fruitless searches faster | mkawa | 2009-12-05 |
| * | Fixed bug in inlining (procedure *definitions* had been traversed by Standard... | rustanleino | 2009-11-19 |
| * | Renaming ExtractExpr into BvExtractExpr to fit naming scheme of the other bit... | stobies | 2009-09-07 |
| * | Initial set of files. | mikebarnett | 2009-07-15 |
 |
index : debian-boogie | |
| Debian packaging for Boogie |
| summaryrefslogtreecommitdiff |