summaryrefslogtreecommitdiff
path: root/Source/BoogieDriver
Commit message (Expand)AuthorAge
* Make the -mv option use the new Model class.Gravatar MichalMoskal2010-10-12
* Get rid of some CCI dependencies in DriverGravatar MichalMoskal2010-10-07
* Update to VS2010.Gravatar MichalMoskal2010-10-07
* Boogie:Gravatar rustanleino2010-09-23
* Fixed an off-by-one error. Added "ReachedBound" as a valid boogie outcome.Gravatar akashlal2010-09-18
* Dafny:Gravatar rustanleino2010-09-14
* Fix for extractLoopsGravatar akashlal2010-09-04
* Added a fix to extract loops code so that it returns a more comprehensive map...Gravatar qadeer2010-09-03
* fixed bug in extract loops by ensuring that loop extraction is done in nestin...Gravatar qadeer2010-09-01
* Added a way of recovering counterexample paths after loop extraction. Stable,...Gravatar akashlal2010-09-01
* added a new api to Z3apiProcessTheoremProver for asserting axiomsGravatar qadeer2010-08-29
* created a new build target called z3apidebug.Gravatar qadeer2010-08-29
* Boogie: Accidentally created a service references folder in Boogie's folder t...Gravatar tabarbe2010-08-27
* Boogie: Removed some errors with code contracts (commenting out doubly-inheri...Gravatar tabarbe2010-08-27
* Boogie: Changed the cce classes into one separate project, which every other ...Gravatar tabarbe2010-08-27
* Boogie: Changed a messed-up refference to Z3api back to its previous state.Gravatar tabarbe2010-08-27
* added some more apis to Z3apiGravatar qadeer2010-08-27
* Boogie: Graph port 3/3: Committing changed references; also, adding back cce ...Gravatar tabarbe2010-08-27
* Boogie: AIFramework port part 3/3: Committing reference changes, edit to Core...Gravatar tabarbe2010-08-26
* further fixes to Z3api project trying to make it work; still a long way off.Gravatar qadeer2010-08-23
* Boogie: Committing changed referencesGravatar tabarbe2010-08-20
* Boogie: Removed a completed task commentGravatar tabarbe2010-08-19
* Boogie: Committing changed referencesGravatar tabarbe2010-08-13
* Added the option /extractLoops to extract loops as procedure calls. If eithe...Gravatar qadeer2010-08-11
* Boogie: Sorry about that - no need for the conditional compilationGravatar tabarbe2010-08-09
* Boogie: Added the #if CONTRACTS_FULL statement around all usages of cce.csGravatar tabarbe2010-08-09
* 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: Forgot to check in this file. Hope no one tried to rebuild without i...Gravatar tabarbe2010-07-19
* <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/Isabelle && Boogie/BoogieDriver: Moved the AssemblyInfo.cs files into ...Gravatar tabarbe2010-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
* /stratifiedInline:n eagerly inlines n times before calling the stratified inl...Gravatar akashlal2010-07-10
* Removed a few unnecessary nonnull type declarations, as I also removed some u...Gravatar tabarbe2010-07-07
* Boogie: Added an additional parameter 'defines' to the method 'BoogiePL.Parse...Gravatar wuestholz2010-07-06
* Boogie: Fixed the build.Gravatar wuestholz2010-07-02
* These 2 files are remnants of attempting the earlier planned method of renami...Gravatar tabarbe2010-07-01
* As it turns out, the C# Intellisense compiler takes precedence over the Spec#...Gravatar tabarbe2010-07-01