summaryrefslogtreecommitdiff
path: root/Source/ModelViewer
Commit message (Expand)AuthorAge
...
* Added a new solution configuration, Checked, that builds the Checked configur...Gravatar mikebarnett2011-03-07
* Add some ExpertLevel functionsGravatar MichalMoskal2011-02-21
* Dafny: removed CEV instrumentationGravatar rustanleino2011-02-03
* BVD Dafny: support Skolem constantsGravatar rustanleino2011-02-02
* Improve display of sets; add \now "variable";Gravatar MichalMoskal2011-01-29
* Fix a bug with previous state displayGravatar MichalMoskal2011-01-28
* Display stack-allocated structs, as_array types, and *ID in tooltipsGravatar MichalMoskal2011-01-28
* Display integers in decimal and hexadecimal in tooltipGravatar MichalMoskal2011-01-27
* Speedup the number display algorithm, what was I thinking?Gravatar MichalMoskal2011-01-27
* Display numbers within +-%0.1 of a power of two as 2^N+MGravatar MichalMoskal2011-01-27
* Improve colors in source viewGravatar MichalMoskal2011-01-26
* Simplify state name selectionGravatar MichalMoskal2011-01-26
* VCC-BVD: display qualifiers of VCC-generated copies of local variables; hide ...Gravatar MichalMoskal2011-01-26
* Double-click in state list brings up source viewGravatar MichalMoskal2011-01-26
* Allow the provider to skip some states when generating SourceLocationsGravatar MichalMoskal2011-01-26
* Introduce new NamedState base class to reduce code duplicationGravatar MichalMoskal2011-01-26
* Display line numbers (useful for finding what the error message refers to)Gravatar MichalMoskal2011-01-26
* Right-clicking on a state allows to display the source code for itGravatar MichalMoskal2011-01-26
* Fix handling of addresses of fieldsGravatar MichalMoskal2011-01-24
* Hide #frame functions. Support state functions taking $heap($s).Gravatar MichalMoskal2011-01-24
* More user-friendly canonical namesGravatar MichalMoskal2011-01-17
* Don't use local variable names as canonical namesGravatar MichalMoskal2011-01-14
* Make the filename length limit be 30 (as in VCC)Gravatar MichalMoskal2011-01-14
* Display globals. Improve naming of function nodes in long ids.Gravatar MichalMoskal2011-01-13
* Display full name of node in tooltipGravatar MichalMoskal2011-01-13
* Display casted pointersGravatar MichalMoskal2011-01-04
* Improve handling of arrays embedded in structsGravatar MichalMoskal2010-12-17
* Better handling of user provided skolem variablesGravatar MichalMoskal2010-12-16
* Search in long names, not the short onesGravatar MichalMoskal2010-12-16
* Display ghost localsGravatar MichalMoskal2010-12-15
* Add reload-model option. Bugfixes when switching modelsGravatar MichalMoskal2010-12-15
* Include one more expert level (this need to be rethought I guess).Gravatar MichalMoskal2010-12-14
* Add information about field being volatileGravatar MichalMoskal2010-12-14
* Support arrays and & pseudo-fieldGravatar MichalMoskal2010-12-14
* Rework the namer interface a bitGravatar MichalMoskal2010-12-10
* Improve type detectionGravatar MichalMoskal2010-12-10
* Yet another icon updateGravatar MichalMoskal2010-12-10
* Improve the iconGravatar MichalMoskal2010-12-10
* Add an icon. Get rid of SearchBox (not used).Gravatar MichalMoskal2010-12-10
* Display Skolem constants (no functions yet)Gravatar MichalMoskal2010-12-10
* Allow for model selection if there are multiple in the fileGravatar MichalMoskal2010-12-10
* Rename BVD binary to (suprise!) BVDGravatar MichalMoskal2010-12-08
* Ignore one more VCC functionGravatar MichalMoskal2010-12-06
* Added version.cs as link to those projects that were missing itGravatar stobies2010-12-06
* Set output directory to Binaries/Gravatar MichalMoskal2010-12-02
* Introduce node categories; sort fields based on that not special charactersGravatar MichalMoskal2010-12-01
* two automatically generated app.config that I didn't add earlier.Gravatar qadeer2010-11-27
* Ported all projects to .NET Framework 4.0 in both Boogie.sln and Dafny.sln. ...Gravatar qadeer2010-11-27
* Dafny: Improved default decreases clauses for methods and functionsGravatar rustanleino2010-11-25
* BVD for Dafny: improved string that displays array indicesGravatar rustanleino2010-11-17
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-08 08:57:26 +0000