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
/
BaseProvider.cs
Commit message (
Expand
)
Author
Age
*
Normalise line endings using a .gitattributes file. Unfortunately
Dan Liew
2015-06-28
*
VCC-BVD: display qualifiers of VCC-generated copies of local variables; hide ...
MichalMoskal
2011-01-26
*
Right-clicking on a state allows to display the source code for it
MichalMoskal
2011-01-26
*
Rework the namer interface a bit
MichalMoskal
2010-12-10
*
Implement different levels of view (normal, expert, etc).
MichalMoskal
2010-11-09
*
Improve the generic model viewer
MichalMoskal
2010-11-06
*
Improve default provider a bit
MichalMoskal
2010-11-06
*
Simplify languague-specific interface
MichalMoskal
2010-11-06
*
Refactor the Namer into two classes
MichalMoskal
2010-11-04
*
Rework canonical name computation
MichalMoskal
2010-11-03
*
Introduce distinction between canonical element name and its aliases
MichalMoskal
2010-10-26
*
Start work on the generic namer
MichalMoskal
2010-10-26
*
Work on keeping the unfolding skeleton when switching between states
MichalMoskal
2010-10-14
*
Add DisplayNode class with default IDisplayNode implementation. Add IDisplayN...
MichalMoskal
2010-10-14
*
Add interfaces for langauge providers. Start with VCC provider.
MichalMoskal
2010-10-12