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
...
*
Better support for map types
Michal Moskal
2011-09-23
*
Handle datatypes and records
Michal Moskal
2011-09-23
*
Add handling of union active options
Michal Moskal
2011-09-23
*
Make sure items are visible when navigating the model with arrow keys
Michal Moskal
2011-09-23
*
Tree navigation with left/right arrow
Michal Moskal
2011-09-20
*
Formatting.
Michal Moskal
2011-09-20
*
Merge
Michal Moskal
2011-08-16
|
\
|
*
various changes to boogie for bitvector analysis and bctprovider
qadeer
2011-08-08
*
|
Fix null-ref
Michal Moskal
2011-08-07
|
*
further updates to bctprovider
qadeer
2011-08-05
|
*
first add
qadeer
2011-08-05
|
*
fixed the key signing problem with houdini
qadeer
2011-08-05
|
/
*
Add source file (Expression Design) for the BVD icon in case anyone ever need...
Michal Moskal
2011-05-12
*
BVD: Smaller initial window (to better fit on a laptop screen)
Rustan Leino
2011-04-22
*
Add "Large font" menu item (for demos)
Michal Moskal
2011-04-15
*
Introduce states more aggressively. Show is_null() for pointers.
Michal Moskal
2011-04-06
*
Removing unused field (and testing mecurial checkins)
Stephan Tobies
2011-04-05
*
Improvements in map and skolem functions display.
MichalMoskal
2011-04-02
*
model viewer:
stobies
2011-04-01
*
model viewer:
stobies
2011-04-01
*
Model viewer:
stobies
2011-04-01
*
Dafny: compile quantifiers
rustanleino
2011-03-26
*
Re-enabled quantifier checking in the Checked configuration.
mikebarnett
2011-03-16
*
Turn off quantifier checking in the runtime checking.
mikebarnett
2011-03-14
*
Added a new solution configuration, Checked, that builds the Checked configur...
mikebarnett
2011-03-07
*
Add some ExpertLevel functions
MichalMoskal
2011-02-21
*
Dafny: removed CEV instrumentation
rustanleino
2011-02-03
*
BVD Dafny: support Skolem constants
rustanleino
2011-02-02
*
Improve display of sets; add \now "variable";
MichalMoskal
2011-01-29
*
Fix a bug with previous state display
MichalMoskal
2011-01-28
*
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
*
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
*
Improve colors in source view
MichalMoskal
2011-01-26
*
Simplify state name selection
MichalMoskal
2011-01-26
*
VCC-BVD: display qualifiers of VCC-generated copies of local variables; hide ...
MichalMoskal
2011-01-26
*
Double-click in state list brings up source view
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
*
Fix handling of addresses of fields
MichalMoskal
2011-01-24
*
Hide #frame functions. Support state functions taking $heap($s).
MichalMoskal
2011-01-24
*
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
[prev]
[next]