index
:
debian-boogie
dfsg_free
master
Debian packaging for Boogie
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
Source
/
ModelViewer
/
DataModel.cs
Commit message (
Collapse
)
Author
Age
*
Introduce node categories; sort fields based on that not special characters
MichalMoskal
2010-12-01
|
*
Implement different levels of view (normal, expert, etc).
MichalMoskal
2010-11-09
|
|
|
|
Display functions and pointer sets in VCC
*
Improve the generic model viewer
MichalMoskal
2010-11-06
|
*
Add find find uses and find aliases facilities
MichalMoskal
2010-11-06
|
*
Simplify languague-specific interface
MichalMoskal
2010-11-06
|
*
Rework canonical name computation
MichalMoskal
2010-11-03
|
|
|
|
Sort fields inteligently (allow for override as well)
*
Introduce distinction between canonical element name and its aliases
MichalMoskal
2010-10-26
|
*
More work on the generic namer
MichalMoskal
2010-10-26
|
*
Start work on the generic namer
MichalMoskal
2010-10-26
|
*
Make it display maps
MichalMoskal
2010-10-15
|
*
Implement struct printing
MichalMoskal
2010-10-14
|
*
Work on keeping the unfolding skeleton when switching between states
MichalMoskal
2010-10-14
|
*
Add DisplayNode class with default IDisplayNode implementation. Add ↵
MichalMoskal
2010-10-14
|
|
|
|
IDisplayNode.State.
*
Add interfaces for langauge providers. Start with VCC provider.
MichalMoskal
2010-10-12
|
*
Add function and constant view
MichalMoskal
2010-10-12
|
*
Put in proper namespace, move files around.
MichalMoskal
2010-10-12