summaryrefslogtreecommitdiff
path: root/Source/ModelViewer
Commit message (Expand)AuthorAge
...
* 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
* Make it display mapsGravatar MichalMoskal2010-10-15
* Implement find-all-namesGravatar MichalMoskal2010-10-14
* 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 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
* Put Model.cs in separate assembly. Fix signing/versioning with it.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-10-22 22:27:58 +0000