summaryrefslogtreecommitdiff
path: root/Source/ModelViewer/Main.cs
Commit message (Expand)AuthorAge
* Normalise line endings using a .gitattributes file. UnfortunatelyGravatar Dan Liew2015-06-28
* Remove dead method argumentGravatar Dan Liew2014-09-24
* Changed BVD to display shortened names if they are unique.Gravatar wuestholz2013-08-05
* Make it possible to set the font in BVD externally.Gravatar wuestholz2013-07-31
* Make it possible to look up variables in the Dafny error models.Gravatar wuestholz2013-07-30
* Allow for certain visual elements of the model viewer to be hidden.Gravatar wuestholz2013-07-28
* mergeGravatar Pantazis Deligiannis2013-07-22
|\
| * Changed the API to make it possible to set the current state in BVD.Gravatar wuestholz2013-07-21
* | fixGravatar Pantazis Deligiannis2013-07-19
* | mergeGravatar Pantazis Deligiannis2013-07-19
|\|
| * Split up the model viewer into a library and an application and added some fu...Gravatar wuestholz2013-07-14
* | fix in modelviewer, ParseModels now requires 2 arguments, second should be an...Gravatar Pantazis Deligiannis2013-07-09
|/
* Bring SourceView to front when double-clicking source lineGravatar stobies2011-12-08
* BVD: Fix display bugGravatar Michal Moskal2011-11-15
* Make sure items are visible when navigating the model with arrow keysGravatar Michal Moskal2011-09-23
* Tree navigation with left/right arrowGravatar Michal Moskal2011-09-20
* Formatting.Gravatar Michal Moskal2011-09-20
* further updates to bctproviderGravatar qadeer2011-08-05
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-15 19:14:05 +0000