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
/
Main.Designer.cs
Commit message (
Expand
)
Author
Age
*
Double-click in state list brings up source view
MichalMoskal
2011-01-26
*
Right-clicking on a state allows to display the source code for it
MichalMoskal
2011-01-26
*
Add reload-model option. Bugfixes when switching models
MichalMoskal
2010-12-15
*
Include one more expert level (this need to be rethought I guess).
MichalMoskal
2010-12-14
*
Add an icon. Get rid of SearchBox (not used).
MichalMoskal
2010-12-10
*
Allow for model selection if there are multiple in the file
MichalMoskal
2010-12-10
*
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
*
Show previous state
MichalMoskal
2010-11-06
*
Improve the generic model viewer
MichalMoskal
2010-11-06
*
Right-click enable
MichalMoskal
2010-11-06
*
Add search facility
MichalMoskal
2010-11-04
*
Handle aliases better
MichalMoskal
2010-10-26
*
Introduce distinction between canonical element name and its aliases
MichalMoskal
2010-10-26
*
Display state sequential numbers
MichalMoskal
2010-10-14
*
Display values in the state list
MichalMoskal
2010-10-14
*
Make the tree actually work
MichalMoskal
2010-10-14
*
Work on keeping the unfolding skeleton when switching between states
MichalMoskal
2010-10-14
*
Add interfaces for langauge providers. Start with VCC provider.
MichalMoskal
2010-10-12
*
Put in proper namespace, move files around.
MichalMoskal
2010-10-12
*
Starting work on Boogie Model Viewer.
MichalMoskal
2010-10-12