| Commit message (Expand) | Author | Age |
* | 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 |
* | 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 |