summaryrefslogtreecommitdiff
path: root/Source/ModelViewer/VccProvider.cs
Commit message (Expand)AuthorAge
* Add some ExpertLevel functionsGravatar MichalMoskal2011-02-21
* Improve display of sets; add \now "variable";Gravatar MichalMoskal2011-01-29
* Display stack-allocated structs, as_array types, and *ID in tooltipsGravatar MichalMoskal2011-01-28
* Display integers in decimal and hexadecimal in tooltipGravatar MichalMoskal2011-01-27
* Display numbers within +-%0.1 of a power of two as 2^N+MGravatar MichalMoskal2011-01-27
* Simplify state name selectionGravatar MichalMoskal2011-01-26
* VCC-BVD: display qualifiers of VCC-generated copies of local variables; hide ...Gravatar MichalMoskal2011-01-26
* Allow the provider to skip some states when generating SourceLocationsGravatar MichalMoskal2011-01-26
* Introduce new NamedState base class to reduce code duplicationGravatar MichalMoskal2011-01-26
* Right-clicking on a state allows to display the source code for itGravatar MichalMoskal2011-01-26
* Fix handling of addresses of fieldsGravatar MichalMoskal2011-01-24
* Hide #frame functions. Support state functions taking $heap($s).Gravatar MichalMoskal2011-01-24
* Display globals. Improve naming of function nodes in long ids.Gravatar 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
* Display ghost localsGravatar 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
* Display Skolem constants (no functions yet)Gravatar MichalMoskal2010-12-10
* Ignore one more VCC functionGravatar MichalMoskal2010-12-06
* 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
* Simplify languague-specific interfaceGravatar MichalMoskal2010-11-06
* Refactor the Namer into two classesGravatar MichalMoskal2010-11-04
* Rework canonical name computationGravatar MichalMoskal2010-11-03
* 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
* Make it display mapsGravatar MichalMoskal2010-10-15
* Implement find-all-namesGravatar MichalMoskal2010-10-14
* Make the tree actually workGravatar 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-02 03:24:32 +0000