Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Updated the frame files to work with the latest Coco/R. This entails *not* ha... | mikebarnett | 2010-06-22 |
* | Boogie: Added resolution and type checking for attributes on "call" and "call... | rustanleino | 2010-03-09 |
* | added support for printing attributes on calls via Emit | qadeer | 2010-03-08 |
* | added attributes to CallForallCmd as well | qadeer | 2010-03-07 |
* | added the ability to annotate calls with attributes | qadeer | 2010-03-06 |
* | Boogie: | rustanleino | 2010-02-20 |
* | added an option /doModSetAnalysis specially for Zvonimir | qadeer | 2010-02-20 |
* | * Added "deprecated" comment in help message about /interprocInfer switch. T... | rustanleino | 2010-02-18 |
* | (no commit message) | qadeer | 2010-02-12 |
* | Z3 parameters to help it bail out of fruitless searches faster | mkawa | 2009-12-05 |
* | print attributes in AssertCmd.Emit | mkawa | 2009-12-02 |
* | Added resolution and translation of algebraic datatypes and (in function bodi... | rustanleino | 2009-11-20 |
* | Initial set of files. | mikebarnett | 2009-07-15 |