summaryrefslogtreecommitdiff
path: root/Source/ModelViewer
Commit message (Expand)AuthorAge
* 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
* BVD Dafny provider: treat sets and datatype valuesGravatar rustanleino2010-11-17
* Implement different levels of view (normal, expert, etc).Gravatar MichalMoskal2010-11-09
* More right-click improvementsGravatar MichalMoskal2010-11-06
* Show previous stateGravatar MichalMoskal2010-11-06
* Improve the generic model viewerGravatar MichalMoskal2010-11-06
* Right-click enableGravatar MichalMoskal2010-11-06
* Add find find uses and find aliases facilitiesGravatar MichalMoskal2010-11-06
* Improve default provider a bitGravatar MichalMoskal2010-11-06
* Simplify languague-specific interfaceGravatar MichalMoskal2010-11-06
* Update matches when switching statesGravatar MichalMoskal2010-11-04
* Refactor the Namer into two classesGravatar MichalMoskal2010-11-04
* Add search facilityGravatar MichalMoskal2010-11-04
* Highlight initial stateGravatar MichalMoskal2010-11-03
* Rework canonical name computationGravatar MichalMoskal2010-11-03
* Dafny model viewer: handle (single- and multi-dimensional) arraysGravatar rustanleino2010-11-03
* ModelViewer:Gravatar rustanleino2010-11-02
* Dafny: a partial first crack at a Dafny model-viewer provider, including capt...Gravatar rustanleino2010-11-01
* Handle aliases betterGravatar MichalMoskal2010-10-26
* Introduce distinction between canonical element name and its aliasesGravatar MichalMoskal2010-10-26
* Compute canonical element namesGravatar MichalMoskal2010-10-26
* Copy local names between statesGravatar MichalMoskal2010-10-26
* More work on the generic namerGravatar MichalMoskal2010-10-26
* Start work on the generic namerGravatar MichalMoskal2010-10-26
generated by cgit v1.2.3 (git 2.39.1) at 2024-10-21 19:14:43 +0000