summaryrefslogtreecommitdiff
path: root/Source
Commit message (Expand)AuthorAge
* a bug fix in the loop extraction codeGravatar qadeer2010-10-19
* Make it display mapsGravatar MichalMoskal2010-10-15
* Implement find-all-namesGravatar MichalMoskal2010-10-14
* Display state sequential numbersGravatar MichalMoskal2010-10-14
* Move SkeletonItem to a separate fileGravatar MichalMoskal2010-10-14
* Display values in the state listGravatar MichalMoskal2010-10-14
* Make the tree actually workGravatar MichalMoskal2010-10-14
* Always show the entire tree, possibly grayed-outGravatar MichalMoskal2010-10-14
* Implement struct printingGravatar MichalMoskal2010-10-14
* Skip unchagned variables in model dumps. Fix testcaseGravatar MichalMoskal2010-10-14
* Work on keeping the unfolding skeleton when switching between statesGravatar MichalMoskal2010-10-14
* Add DisplayNode class with default IDisplayNode implementation. Add IDisplayN...Gravatar 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
* Put in proper namespace, move files around.Gravatar MichalMoskal2010-10-12
* Make the -mv option use the new Model class.Gravatar MichalMoskal2010-10-12
* Starting work on Boogie Model Viewer.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
* Dafny: Compilation of multi-dimensional arraysGravatar rustanleino2010-09-21
* 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
* Dafny:Gravatar rustanleino2010-09-17
* Added more stat printingGravatar akashlal2010-09-16
* Dafny:Gravatar rustanleino2010-09-14
* added an optimization to extract loops so that only loop targets are treated ...Gravatar qadeer2010-09-10
* Added a new VC.ConditionGeneration.Outcome: StratifiedInlining can signal tha...Gravatar akashlal2010-09-05
* Delete unreachable Blocks of an Impl before calling ExtractLoops().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
* more fixes to ExtractLoopsGravatar qadeer2010-09-03
* Added a fix to extract loops code so that it returns a more comprehensive map...Gravatar qadeer2010-09-03
* Changed the interface of Parse so that it can consume a program from a StreamGravatar akashlal2010-09-03
* bunch of fixes related to Boogie error model generation from the Z3 error mod...Gravatar qadeer2010-09-03
* Bug fix for StratifiedInlining. Use extra Booleans to model procedure calls, ...Gravatar akashlal2010-09-02
* fixed bug in extract loops by ensuring that loop extraction is done in nestin...Gravatar qadeer2010-09-01
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-26 19:35:42 +0000