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
Commit message (
Expand
)
Author
Age
*
More user-friendly canonical names
MichalMoskal
2011-01-17
*
Don't use local variable names as canonical names
MichalMoskal
2011-01-14
*
Make the filename length limit be 30 (as in VCC)
MichalMoskal
2011-01-14
*
Display globals. Improve naming of function nodes in long ids.
MichalMoskal
2011-01-13
*
Display full name of node in tooltip
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
*
Search in long names, not the short ones
MichalMoskal
2010-12-16
*
Display ghost locals
MichalMoskal
2010-12-15
*
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 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
*
Yet another icon update
MichalMoskal
2010-12-10
*
Improve the icon
MichalMoskal
2010-12-10
*
Add an icon. Get rid of SearchBox (not used).
MichalMoskal
2010-12-10
*
Display Skolem constants (no functions yet)
MichalMoskal
2010-12-10
*
Allow for model selection if there are multiple in the file
MichalMoskal
2010-12-10
*
Rename BVD binary to (suprise!) BVD
MichalMoskal
2010-12-08
*
Ignore one more VCC function
MichalMoskal
2010-12-06
*
Added version.cs as link to those projects that were missing it
stobies
2010-12-06
*
Set output directory to Binaries/
MichalMoskal
2010-12-02
*
Introduce node categories; sort fields based on that not special characters
MichalMoskal
2010-12-01
*
two automatically generated app.config that I didn't add earlier.
qadeer
2010-11-27
*
Ported all projects to .NET Framework 4.0 in both Boogie.sln and Dafny.sln. ...
qadeer
2010-11-27
*
Dafny: Improved default decreases clauses for methods and functions
rustanleino
2010-11-25
*
BVD for Dafny: improved string that displays array indices
rustanleino
2010-11-17
*
BVD Dafny provider: treat sets and datatype values
rustanleino
2010-11-17
*
Implement different levels of view (normal, expert, etc).
MichalMoskal
2010-11-09
*
More right-click improvements
MichalMoskal
2010-11-06
*
Show previous state
MichalMoskal
2010-11-06
*
Improve the generic model viewer
MichalMoskal
2010-11-06
*
Right-click enable
MichalMoskal
2010-11-06
*
Add find find uses and find aliases facilities
MichalMoskal
2010-11-06
*
Improve default provider a bit
MichalMoskal
2010-11-06
*
Simplify languague-specific interface
MichalMoskal
2010-11-06
*
Update matches when switching states
MichalMoskal
2010-11-04
*
Refactor the Namer into two classes
MichalMoskal
2010-11-04
*
Add search facility
MichalMoskal
2010-11-04
*
Highlight initial state
MichalMoskal
2010-11-03
*
Rework canonical name computation
MichalMoskal
2010-11-03
*
Dafny model viewer: handle (single- and multi-dimensional) arrays
rustanleino
2010-11-03
*
ModelViewer:
rustanleino
2010-11-02
*
Dafny: a partial first crack at a Dafny model-viewer provider, including capt...
rustanleino
2010-11-01
*
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
[next]