summaryrefslogtreecommitdiff
path: root/Source/VCGeneration/StratifiedVC.cs
Commit message (Expand)AuthorAge
* Boogie: fixed contract violation in stratified inliningGravatar rustanleino2011-03-23
* Print recorded value of any typeGravatar akashlal2011-03-21
* Print out requested values in the counterexample traceGravatar akashlal2011-03-17
* Renamed NonNullElements to NonNullDictionaryAndValues because the keys to dic...Gravatar mikebarnett2011-03-10
* Fix contracts so runtime checking can be turned on.Gravatar mikebarnett2011-03-07
* Stratified inlining: Added concrete values to error traces. Added an extra fl...Gravatar akashlal2011-02-17
* Fix with timeoutGravatar akashlal2011-02-12
* Better support for timeoutGravatar akashlal2011-02-12
* Minor change to stratified inliningGravatar akashlal2011-02-11
* Added a new method StratifiedVC for refinement.Gravatar akashlal2011-02-08
* implemented /UseUnsatCoreForInlining option for use in stratified inliningGravatar qadeer2011-02-06
* deleted debugging statementGravatar akashlal2011-02-05
* Fix to counterexample generation for over-approx queryGravatar akashlal2011-02-05
* stratified inlining: minor fix to the call tree being savedGravatar akashlal2010-12-21
* stratified inlining: record the name of the main procedure.Gravatar akashlal2010-12-18
* stratified inlining: minor changes to coverage reporterGravatar akashlal2010-12-13
* stratified inlining: added option of turning off CheckAssumptionsGravatar akashlal2010-12-07
* z3api: Bug fix with timeout. Use CheckAssumptions.Gravatar akashlal2010-12-07
* stratified inlining: small fixGravatar akashlal2010-12-01
* stratified inlining: reuse call tree across queriesGravatar akashlal2010-12-01
* Eliminated dependencies on SpecSharp and CCI from Boogie.sln and Dafny.slnGravatar qadeer2010-12-01
* z3api: Print log in smtlib2 format. Use CheckAssumptions (currently broken)Gravatar akashlal2010-11-29
* Added CheckAssumptions api interfaceGravatar akashlal2010-11-28
* small fix to previous checkinGravatar akashlal2010-11-24
* Some changes to the prover interface to make way for z3-api.Gravatar akashlal2010-11-24
* more refactoringGravatar akashlal2010-11-23
* More refactoringGravatar akashlal2010-11-23
* Refactoring: pulled out all code for stratified inlining to a new file.Gravatar akashlal2010-11-23
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-03 06:58:31 +0000