summaryrefslogtreecommitdiff
path: root/Source/Core/AbsyCmd.ssc
Commit message (Expand)AuthorAge
* Boogie: Added boolean code expressions (sans well-formedness checks on the in...Gravatar rustanleino2010-08-10
* Boogie: Removed trailing spaces in codeGravatar tabarbe2010-08-04
* Updated the frame files to work with the latest Coco/R. This entails *not* ha...Gravatar mikebarnett2010-06-22
* Boogie: Added resolution and type checking for attributes on "call" and "call...Gravatar rustanleino2010-03-09
* added support for printing attributes on calls via EmitGravatar qadeer2010-03-08
* added attributes to CallForallCmd as wellGravatar qadeer2010-03-07
* added the ability to annotate calls with attributesGravatar qadeer2010-03-06
* Boogie:Gravatar rustanleino2010-02-20
* added an option /doModSetAnalysis specially for ZvonimirGravatar qadeer2010-02-20
* * Added "deprecated" comment in help message about /interprocInfer switch. T...Gravatar rustanleino2010-02-18
* (no commit message)Gravatar qadeer2010-02-12
* Z3 parameters to help it bail out of fruitless searches fasterGravatar mkawa2009-12-05
* print attributes in AssertCmd.EmitGravatar mkawa2009-12-02
* Added resolution and translation of algebraic datatypes and (in function bodi...Gravatar rustanleino2009-11-20
* Initial set of files.Gravatar mikebarnett2009-07-15
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-06 03:24:00 +0000