summaryrefslogtreecommitdiff
path: root/Source/VCGeneration
Commit message (Expand)AuthorAge
* Update to VS2010.Gravatar MichalMoskal2010-10-07
* Minor fix to recursion depth in stratified inlining algorithm.Gravatar akashlal2010-10-02
* Boogie:Gravatar rustanleino2010-09-24
* Boogie:Gravatar rustanleino2010-09-23
* Some simplifications to coverage reporting for StratifiedInlining.Gravatar akashlal2010-09-19
* Fixed an off-by-one error. Added "ReachedBound" as a valid boogie outcome.Gravatar akashlal2010-09-18
* Added more stat printingGravatar akashlal2010-09-16
* Added a new VC.ConditionGeneration.Outcome: StratifiedInlining can signal tha...Gravatar akashlal2010-09-05
* Fixed a performance issue with StratifiedInliningGravatar akashlal2010-09-05
* Fix for extractLoopsGravatar akashlal2010-09-04
* Henrique's addition to the the ErrorHandler API to retrieve modelsGravatar qadeer2010-09-03
* Bug fix for StratifiedInlining. Use extra Booleans to model procedure calls, ...Gravatar akashlal2010-09-02
* Minor fix to my previous commitGravatar akashlal2010-09-01
* Added a way of recovering counterexample paths after loop extraction. Stable,...Gravatar akashlal2010-09-01
* created a new build target called z3apidebug.Gravatar qadeer2010-08-29
* Boogie: Commented out all occurences of repeated inherited contracts - makes ...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: Basetypes port 3/3: Committing changed referencesGravatar tabarbe2010-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
* bug fixes in z3apiGravatar qadeer2010-08-26
* fixed z3api so that it works on small examples now.Gravatar qadeer2010-08-24
* Boogie: Committing changed referencesGravatar tabarbe2010-08-20
* Boogie: Fixed some doubly-inherited-contract occurrences.Gravatar tabarbe2010-08-20
* Added user option for bounding inlining depthGravatar akashlal2010-08-20
* Boogie: Fixed some doubly-inherited-contract occurrences.Gravatar tabarbe2010-08-20
* Boogie: Removed and completed a task commentGravatar tabarbe2010-08-19
* Added recursion-bound-guided search for stratified inliningGravatar akashlal2010-08-19
* Some reformatting and refactoringGravatar akashlal2010-08-18
* Added option for displaying stratified inlining's searchGravatar akashlal2010-08-18
* Stratified inlining: Changed recursion into a loop.Gravatar akashlal2010-08-16
* Bug fix for stratified inlining trace generationGravatar akashlal2010-08-16
* Added more options for stratified inliningGravatar akashlal2010-08-16
* Boogie: Committing changed referencesGravatar tabarbe2010-08-13
* Added the option /extractLoops to extract loops as procedure calls. If eithe...Gravatar qadeer2010-08-11
* Fixed a contractGravatar akashlal2010-08-10
* Boogie: Added boolean code expressions (sans well-formedness checks on the in...Gravatar rustanleino2010-08-10
* 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
* More line ending fixups.Gravatar MichalMoskal2010-08-06
* Commiting Michal's fix for VCGravatar stobies2010-08-05
* Boogie: Removed trailing spaces in codeGravatar tabarbe2010-08-04
* Made consistent the way all of the C# projects sign themselves and include th...Gravatar mikebarnett2010-07-30
* Boogie: VCGeneration port part 2/3: Adding new dependent files, removing unne...Gravatar tabarbe2010-07-28
* Boogie: VCGeneration port part 1/3: Replacing old source files with ported ve...Gravatar tabarbe2010-07-28
* Boogie\VCGeneration: Renaming sources in preparation for my addition of the p...Gravatar tabarbe2010-07-28
* Boogie: Added interprocedural live variable analysis. Flag to turn it on: "/l...Gravatar akashlal2010-07-19
* /stratifiedInline:n eagerly inlines n times before calling the stratified inl...Gravatar akashlal2010-07-10
* Boogie: Bug fix for stratified inliningGravatar akashlal2010-07-07
generated by cgit v1.2.3 (git 2.39.1) at 2024-12-18 10:59:32 +0000