summaryrefslogtreecommitdiff
path: root/Source/VCGeneration
Commit message (Expand)AuthorAge
* Boogie: Did some minor refactoring.Gravatar wuestholz2010-12-10
* stratified inlining: added option of turning off CheckAssumptionsGravatar akashlal2010-12-07
* z3api: Bug fix with timeout. Use CheckAssumptions.Gravatar akashlal2010-12-07
* Added version.cs as link to those projects that were missing itGravatar stobies2010-12-06
* Factored out the ParserHelper class into a separate project and updated the f...Gravatar wuestholz2010-12-02
* Construct @MV_state function only once so it doesn't get renamed to @MV_state...Gravatar MichalMoskal2010-12-02
* 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
* Ported all projects to .NET Framework 4.0 in both Boogie.sln and Dafny.sln. ...Gravatar qadeer2010-11-27
* 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
* Changed stratified inlining: can now be user-guidedGravatar akashlal2010-11-22
* Minor updates for printing coverage graph of stratified inliningGravatar akashlal2010-11-14
* ModelViewer:Gravatar rustanleino2010-11-02
* Dafny: a partial first crack at a Dafny model-viewer provider, including capt...Gravatar rustanleino2010-11-01
* Skip unchagned variables in model dumps. Fix testcaseGravatar MichalMoskal2010-10-14
* Bug fixes and speed up for doomed program point analysisGravatar schaef2010-10-13
* Add interfaces for langauge providers. Start with VCC provider.Gravatar MichalMoskal2010-10-12
* Put Model.cs in separate assembly. Fix signing/versioning with it.Gravatar MichalMoskal2010-10-12
* Add missing Clone() when storing incarnation maps; update testcase to make th...Gravatar MichalMoskal2010-10-12
* Add function and constant viewGravatar MichalMoskal2010-10-12
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-30 10:24:01 +0000