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
/
Namer.cs
Commit message (
Expand
)
Author
Age
*
BVD: don't do the "Duplicate entry exception"; uncomment for debugging
Michal Moskal
2011-11-08
*
Merge
Rustan Leino
2011-10-26
|
\
*
|
BVD: fixed two basic but damning problems with the Dafny provider, and elided...
Rustan Leino
2011-10-26
|
*
VCC: improvements in showing arrays, addresses, and embeddings
Michal Moskal
2011-10-24
|
/
*
Performance improvements in BVD
Michal Moskal
2011-10-19
*
VCC: Support _(blob ..) types; fix crash
Michal Moskal
2011-09-28
*
BVD Dafny: support Skolem constants
rustanleino
2011-02-02
*
Speedup the number display algorithm, what was I thinking?
MichalMoskal
2011-01-27
*
Display numbers within +-%0.1 of a power of two as 2^N+M
MichalMoskal
2011-01-27
*
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
*
Display line numbers (useful for finding what the error message refers to)
MichalMoskal
2011-01-26
*
Right-clicking on a state allows to display the source code for it
MichalMoskal
2011-01-26
*
More user-friendly canonical names
MichalMoskal
2011-01-17
*
Don't use local variable names as canonical names
MichalMoskal
2011-01-14
*
Rework the namer interface a bit
MichalMoskal
2010-12-10
*
Display Skolem constants (no functions yet)
MichalMoskal
2010-12-10
*
Introduce node categories; sort fields based on that not special characters
MichalMoskal
2010-12-01
*
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
*
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
*
Rework canonical name computation
MichalMoskal
2010-11-03
*
ModelViewer:
rustanleino
2010-11-02
*
Handle aliases better
MichalMoskal
2010-10-26
*
Compute canonical element names
MichalMoskal
2010-10-26
*
More work on the generic namer
MichalMoskal
2010-10-26
*
Start work on the generic namer
MichalMoskal
2010-10-26