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
/
VccProvider.cs
Commit message (
Expand
)
Author
Age
*
Introduce states more aggressively. Show is_null() for pointers.
Michal Moskal
2011-04-06
*
Improvements in map and skolem functions display.
MichalMoskal
2011-04-02
*
Add some ExpertLevel functions
MichalMoskal
2011-02-21
*
Improve display of sets; add \now "variable";
MichalMoskal
2011-01-29
*
Display stack-allocated structs, as_array types, and *ID in tooltips
MichalMoskal
2011-01-28
*
Display integers in decimal and hexadecimal in tooltip
MichalMoskal
2011-01-27
*
Display numbers within +-%0.1 of a power of two as 2^N+M
MichalMoskal
2011-01-27
*
Simplify state name selection
MichalMoskal
2011-01-26
*
VCC-BVD: display qualifiers of VCC-generated copies of local variables; hide ...
MichalMoskal
2011-01-26
*
Allow the provider to skip some states when generating SourceLocations
MichalMoskal
2011-01-26
*
Introduce new NamedState base class to reduce code duplication
MichalMoskal
2011-01-26
*
Right-clicking on a state allows to display the source code for it
MichalMoskal
2011-01-26
*
Fix handling of addresses of fields
MichalMoskal
2011-01-24
*
Hide #frame functions. Support state functions taking $heap($s).
MichalMoskal
2011-01-24
*
Display globals. Improve naming of function nodes in long ids.
MichalMoskal
2011-01-13
*
Display casted pointers
MichalMoskal
2011-01-04
*
Improve handling of arrays embedded in structs
MichalMoskal
2010-12-17
*
Better handling of user provided skolem variables
MichalMoskal
2010-12-16
*
Display ghost locals
MichalMoskal
2010-12-15
*
Include one more expert level (this need to be rethought I guess).
MichalMoskal
2010-12-14
*
Add information about field being volatile
MichalMoskal
2010-12-14
*
Support arrays and & pseudo-field
MichalMoskal
2010-12-14
*
Rework the namer interface a bit
MichalMoskal
2010-12-10
*
Improve type detection
MichalMoskal
2010-12-10
*
Display Skolem constants (no functions yet)
MichalMoskal
2010-12-10
*
Ignore one more VCC function
MichalMoskal
2010-12-06
*
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
*
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
*
Handle aliases better
MichalMoskal
2010-10-26
*
Introduce distinction between canonical element name and its aliases
MichalMoskal
2010-10-26
*
Compute canonical element names
MichalMoskal
2010-10-26
*
Copy local names between states
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 find-all-names
MichalMoskal
2010-10-14
*
Make the tree actually work
MichalMoskal
2010-10-14
*
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 IDisplayN...
MichalMoskal
2010-10-14
*
Add interfaces for langauge providers. Start with VCC provider.
MichalMoskal
2010-10-12