summaryrefslogtreecommitdiff
path: root/Source/BoogieDriver/BoogieDriver.csproj
Commit message (Expand)AuthorAge
* fixed path to the binaries directory; there was an extra .."Gravatar qadeer2010-08-03
* Boogie: Changed BoogieDriver.cs to use a copy of cce.cs, rather than an inter...Gravatar tabarbe2010-07-30
* Made consistent the way all of the C# projects sign themselves and include th...Gravatar mikebarnett2010-07-30
* Changed reference to AbsInt from a dll reference to a project reference.Gravatar mikebarnett2010-07-28
* Boogie: VCGeneration port part 3/3: Updating sources to reference new project...Gravatar tabarbe2010-07-28
* Boogie: Committing my port of simplify, along with the slightly changed refer...Gravatar tabarbe2010-07-23
* Boogie: Committing my port of the SMTLib projectGravatar tabarbe2010-07-22
* Boogie: Repaired a reentrancy error in Z3/Simplify.Gravatar tabarbe2010-07-22
* Boogie: The reference to Z3 was dropped during the commit. Here it is back.Gravatar tabarbe2010-07-20
* <Boogie> Removed references to AssemblyInfo.cs files - unnecessary for the bu...Gravatar tabarbe2010-07-16
* <Boogie> BoogieDriver.csproj was missing a reference to AbsInt. Remedied tha...Gravatar tabarbe2010-07-16
* Boogie: Generated Code Contracts settings for BoogieDriver.csproj (everything...Gravatar tabarbe2010-07-15
* Fix for cyrptographic signing error.Gravatar kyessenov2010-07-14
* Fixed project files to point to references correctly and also to remove assem...Gravatar mikebarnett2010-07-14
* <Boogie> <BoogieDriver> Committing my porting of BoogieDriver.cs and the chan...Gravatar tabarbe2010-07-14
* Renaming the old boogiedriver sources in preparation for syncing my ported ch...Gravatar tabarbe2010-07-13