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
*
Minor Changes in YieldTypeChecker
kuruis
2013-12-19
*
various updates
qadeer
2013-12-09
*
added the QED build configuration
qadeer
2013-12-02
*
Changed BVD to display shortened names if they are unique.
wuestholz
2013-08-05
*
Fixed several build errors in the 'Checked' configuration.
wuestholz
2013-08-05
*
Make it possible to set the font in BVD externally.
wuestholz
2013-07-31
*
Make it possible to look up variables in the Dafny error models.
wuestholz
2013-07-30
*
Fixed issue in the model viewer.
wuestholz
2013-07-29
*
Allow for certain visual elements of the model viewer to be hidden.
wuestholz
2013-07-28
*
Make 'Model' a proper project.
wuestholz
2013-07-26
*
merge
Pantazis Deligiannis
2013-07-22
|
\
|
*
Changed the API to make it possible to set the current state in BVD.
wuestholz
2013-07-21
*
|
fix
Pantazis Deligiannis
2013-07-19
*
|
merge
Pantazis Deligiannis
2013-07-19
|
\
|
|
*
Split up the model viewer into a library and an application and added some fu...
wuestholz
2013-07-14
*
|
fix in modelviewer, ParseModels now requires 2 arguments, second should be an...
Pantazis Deligiannis
2013-07-09
*
|
merged more CVC4 and Z3 SMTLIB2 parsing methods ... results into a more compa...
pantazis
2013-06-13
*
|
small update in options
pantazis
2013-06-12
*
|
CVC4 Parser
pantazis
2013-06-12
|
/
*
Dafny/Boogie/BVD: made Dafny plug-in for BVD work again
Rustan Leino
2012-06-08
*
Switch bvd to MSIL (instead of x86) target architecture
stobies
2012-03-26
*
VCC: fix treatment of arrays
Michal Moskal
2012-02-24
*
VCC: display bitvectors
Michal Moskal
2012-01-28
*
VCC: fixes in function visibility
Michal Moskal
2012-01-28
*
VCC/BVD: what were these null checks all over about?
Michal Moskal
2012-01-17
*
Bring SourceView to front when double-clicking source line
stobies
2011-12-08
*
VCC: Fixes for recent prelude changes
Michal Moskal
2011-12-02
*
BVD: Fix display bug
Michal Moskal
2011-11-15
*
VCC: Further data type improvements
Michal Moskal
2011-11-15
*
VCC: Better display of data type values
Michal Moskal
2011-11-15
*
VCC: Recognize $result
Michal Moskal
2011-11-15
*
VCC: remove _vcc_math_type_ from type names
Michal Moskal
2011-11-09
*
VCC: hide #limited# functions
Michal Moskal
2011-11-09
*
BVD: don't do the "Duplicate entry exception"; uncomment for debugging
Michal Moskal
2011-11-08
*
VCC: show output parameters as roots
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: Detect wrong model files
Michal Moskal
2011-10-26
|
*
VCC: improvements in showing arrays, addresses, and embeddings
Michal Moskal
2011-10-24
|
/
*
VCC: support some more _(blob ...) buisness
Michal Moskal
2011-10-19
*
BVD: Default to expert view; Only VCC uses that stuff now, and all VCC users ...
Michal Moskal
2011-10-19
*
Performance improvements in BVD
Michal Moskal
2011-10-19
*
VCC: Fix problem with booleans being displayed as maps
Michal Moskal
2011-10-19
*
Link Model.cs in ModelViewer, so that BVD can be updated independtly of the r...
Michal Moskal
2011-10-03
*
VCC: Support _(blob ..) types; fix crash
Michal Moskal
2011-09-28
*
BVD/VCC: Handle reading records/data types from memory
Michal Moskal
2011-09-23
*
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
[next]