summaryrefslogtreecommitdiff
path: root/Source/ModelViewer/DataModel.cs
Commit message (Expand)AuthorAge
* BVD: Default to expert view; Only VCC uses that stuff now, and all VCC users ...Gravatar Michal Moskal2011-10-19
* Introduce states more aggressively. Show is_null() for pointers.Gravatar Michal Moskal2011-04-06
* Improve display of sets; add \now "variable";Gravatar MichalMoskal2011-01-29
* VCC-BVD: display qualifiers of VCC-generated copies of local variables; hide ...Gravatar 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
* 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
* Improve the generic model viewerGravatar MichalMoskal2010-11-06
* Add find find uses and find aliases facilitiesGravatar MichalMoskal2010-11-06
* Simplify languague-specific interfaceGravatar MichalMoskal2010-11-06
* Rework canonical name computationGravatar MichalMoskal2010-11-03
* 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
* Implement struct printingGravatar 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
* 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