summaryrefslogtreecommitdiff
path: root/Source/VCGeneration
Commit message (Expand)AuthorAge
* Make the -mv option use the new Model class.Gravatar MichalMoskal2010-10-12
* Boogie:Gravatar rustanleino2010-10-12
* Boogie: fixed a Code Contract in the sourceGravatar rustanleino2010-10-09
* Fixes in state printing/initializationGravatar MichalMoskal2010-10-09
* Fix some bugs.Gravatar MichalMoskal2010-10-09
* Add model/state printing and parsingGravatar MichalMoskal2010-10-09
* Add state sequence API and creation, still untestedGravatar MichalMoskal2010-10-08
* Add the new model interface. Untested, doesn't yet include state sequenceGravatar MichalMoskal2010-10-08
* Get rid of some CCI dependencies in DriverGravatar MichalMoskal2010-10-07
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-28 14:41:05 +0000