Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Changed BVD to display shortened names if they are unique. | 2013-08-05 | |
| | |||
* | Make it possible to set the font in BVD externally. | 2013-07-31 | |
| | |||
* | Make it possible to look up variables in the Dafny error models. | 2013-07-30 | |
| | |||
* | Allow for certain visual elements of the model viewer to be hidden. | 2013-07-28 | |
| | |||
* | merge | 2013-07-22 | |
|\ | |||
| * | Changed the API to make it possible to set the current state in BVD. | 2013-07-21 | |
| | | |||
* | | fix | 2013-07-19 | |
| | | |||
* | | merge | 2013-07-19 | |
|\| | |||
| * | Split up the model viewer into a library and an application and added some ↵ | 2013-07-14 | |
| | | | | | | | | functionality. | ||
* | | fix in modelviewer, ParseModels now requires 2 arguments, second should be ↵ | 2013-07-09 | |
|/ | | | | an empty string for the default parser | ||
* | Bring SourceView to front when double-clicking source line | 2011-12-08 | |
| | |||
* | BVD: Fix display bug | 2011-11-15 | |
| | |||
* | Make sure items are visible when navigating the model with arrow keys | 2011-09-23 | |
| | |||
* | Tree navigation with left/right arrow | 2011-09-20 | |
| | |||
* | Formatting. | 2011-09-20 | |
| | |||
* | further updates to bctprovider | 2011-08-05 | |
| | |||
* | BVD: Smaller initial window (to better fit on a laptop screen) | 2011-04-22 | |
| | |||
* | Add "Large font" menu item (for demos) | 2011-04-15 | |
| | |||
* | Removing unused field (and testing mecurial checkins) | 2011-04-05 | |
| | |||
* | model viewer: | 2011-04-01 | |
| | | | | Hide and disable file menu when run in hosted mode | ||
* | model viewer: | 2011-04-01 | |
| | | | | | | Allow opening model file via dialog Added shortcut keys for the menu items Made ReloadModel public so that we can use is as an entry point for a VS tool window | ||
* | Model viewer: | 2011-04-01 | |
| | | | | | Display message box for exception during execution Allow to pass options to Main window constructor | ||
* | Fix a bug with previous state display | 2011-01-28 | |
| | |||
* | Double-click in state list brings up source view | 2011-01-26 | |
| | |||
* | Right-clicking on a state allows to display the source code for it | 2011-01-26 | |
| | |||
* | Display full name of node in tooltip | 2011-01-13 | |
| | |||
* | Add reload-model option. Bugfixes when switching models | 2010-12-15 | |
| | |||
* | Include one more expert level (this need to be rethought I guess). | 2010-12-14 | |
| | | | | Display res__ VCC variables. | ||
* | Support arrays and & pseudo-field | 2010-12-14 | |
| | |||
* | Allow for model selection if there are multiple in the file | 2010-12-10 | |
| | |||
* | Introduce node categories; sort fields based on that not special characters | 2010-12-01 | |
| | |||
* | Implement different levels of view (normal, expert, etc). | 2010-11-09 | |
| | | | | Display functions and pointer sets in VCC | ||
* | More right-click improvements | 2010-11-06 | |
| | |||
* | Show previous state | 2010-11-06 | |
| | |||
* | Right-click enable | 2010-11-06 | |
| | |||
* | Add find find uses and find aliases facilities | 2010-11-06 | |
| | |||
* | Simplify languague-specific interface | 2010-11-06 | |
| | |||
* | Update matches when switching states | 2010-11-04 | |
| | |||
* | Add search facility | 2010-11-04 | |
| | |||
* | Highlight initial state | 2010-11-03 | |
| | |||
* | Rework canonical name computation | 2010-11-03 | |
| | | | | Sort fields inteligently (allow for override as well) | ||
* | ModelViewer: | 2010-11-02 | |
| | | | | | | | * map back values introduced by bool_2_U and int_2_U * map back internal names for select/store to [n] and [n:=], where n is the arity of the map * added /break switch to ModelViewer * display more things (including sequences) in Dafny provider | ||
* | Dafny: a partial first crack at a Dafny model-viewer provider, including ↵ | 2010-11-01 | |
| | | | | captureState mark-ups in the Boogie code generated from Dafny | ||
* | Handle aliases better | 2010-10-26 | |
| | |||
* | Introduce distinction between canonical element name and its aliases | 2010-10-26 | |
| | |||
* | More work on the generic namer | 2010-10-26 | |
| | |||
* | Start work on the generic namer | 2010-10-26 | |
| | |||
* | Make it display maps | 2010-10-15 | |
| | |||
* | Display state sequential numbers | 2010-10-14 | |
| | |||
* | Move SkeletonItem to a separate file | 2010-10-14 | |
| |