summaryrefslogtreecommitdiff
path: root/Source/ModelViewer/Main.cs
Commit message (Expand)AuthorAge
* BVD: Smaller initial window (to better fit on a laptop screen)Gravatar Rustan Leino2011-04-22
* Add "Large font" menu item (for demos)Gravatar Michal Moskal2011-04-15
* Removing unused field (and testing mecurial checkins)Gravatar Stephan Tobies2011-04-05
* model viewer:Gravatar stobies2011-04-01
* model viewer:Gravatar stobies2011-04-01
* Model viewer:Gravatar stobies2011-04-01
* Fix a bug with previous state displayGravatar MichalMoskal2011-01-28
* Double-click in state list brings up source viewGravatar MichalMoskal2011-01-26
* Right-clicking on a state allows to display the source code for itGravatar MichalMoskal2011-01-26
* Display full name of node in tooltipGravatar MichalMoskal2011-01-13
* 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
* Support arrays and & pseudo-fieldGravatar MichalMoskal2010-12-14
* Allow for model selection if there are multiple in the fileGravatar MichalMoskal2010-12-10
* Introduce node categories; sort fields based on that not special charactersGravatar MichalMoskal2010-12-01
* 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
* Right-click enableGravatar MichalMoskal2010-11-06
* Add find find uses and find aliases facilitiesGravatar MichalMoskal2010-11-06
* Simplify languague-specific interfaceGravatar MichalMoskal2010-11-06
* Update matches when switching statesGravatar MichalMoskal2010-11-04
* Add search facilityGravatar MichalMoskal2010-11-04
* Highlight initial stateGravatar MichalMoskal2010-11-03
* Rework canonical name computationGravatar MichalMoskal2010-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
* More work on the generic namerGravatar MichalMoskal2010-10-26
* Start work on the generic namerGravatar MichalMoskal2010-10-26
* Make it display mapsGravatar MichalMoskal2010-10-15
* 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
* Work on keeping the unfolding skeleton when switching between statesGravatar MichalMoskal2010-10-14
* Add interfaces for langauge providers. Start with VCC provider.Gravatar MichalMoskal2010-10-12
* Add function and constant viewGravatar MichalMoskal2010-10-12
* Put in proper namespace, move files around.Gravatar MichalMoskal2010-10-12
* Starting work on Boogie Model Viewer.Gravatar MichalMoskal2010-10-12
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-01 13:42:04 +0000