summaryrefslogtreecommitdiff
path: root/Source/ModelViewer
Commit message (Collapse)AuthorAge
...
* Add an icon. Get rid of SearchBox (not used).Gravatar MichalMoskal2010-12-10
|
* Display Skolem constants (no functions yet)Gravatar MichalMoskal2010-12-10
|
* Allow for model selection if there are multiple in the fileGravatar MichalMoskal2010-12-10
|
* Rename BVD binary to (suprise!) BVDGravatar MichalMoskal2010-12-08
|
* Ignore one more VCC functionGravatar MichalMoskal2010-12-06
|
* Added version.cs as link to those projects that were missing itGravatar stobies2010-12-06
| | | | Select 4.0 client profile on all projects
* Set output directory to Binaries/Gravatar MichalMoskal2010-12-02
|
* Introduce node categories; sort fields based on that not special charactersGravatar MichalMoskal2010-12-01
|
* two automatically generated app.config that I didn't add earlier.Gravatar qadeer2010-11-27
|
* Ported all projects to .NET Framework 4.0 in both Boogie.sln and Dafny.sln. ↵Gravatar qadeer2010-11-27
| | | | Removed references to Microsoft.Contracts.dll everywhere since that is available in .NET Framework 4.0.
* Dafny: Improved default decreases clauses for methods and functionsGravatar rustanleino2010-11-25
| | | | | Dafny: Don't display "alloc" field in BVD Chalice: Fixed error-message parsing error in VS mode
* BVD for Dafny: improved string that displays array indicesGravatar rustanleino2010-11-17
|
* BVD Dafny provider: treat sets and datatype valuesGravatar rustanleino2010-11-17
|
* Implement different levels of view (normal, expert, etc).Gravatar MichalMoskal2010-11-09
| | | | Display functions and pointer sets in VCC
* More right-click improvementsGravatar MichalMoskal2010-11-06
|
* Show previous stateGravatar MichalMoskal2010-11-06
|
* Improve the generic model viewerGravatar MichalMoskal2010-11-06
|
* Right-click enableGravatar MichalMoskal2010-11-06
|
* Add find find uses and find aliases facilitiesGravatar MichalMoskal2010-11-06
|
* Improve default provider a bitGravatar MichalMoskal2010-11-06
|
* Simplify languague-specific interfaceGravatar MichalMoskal2010-11-06
|
* Update matches when switching statesGravatar MichalMoskal2010-11-04
|
* Refactor the Namer into two classesGravatar MichalMoskal2010-11-04
|
* Add search facilityGravatar MichalMoskal2010-11-04
|
* Highlight initial stateGravatar MichalMoskal2010-11-03
|
* Rework canonical name computationGravatar MichalMoskal2010-11-03
| | | | Sort fields inteligently (allow for override as well)
* Dafny model viewer: handle (single- and multi-dimensional) arraysGravatar rustanleino2010-11-03
|
* ModelViewer:Gravatar rustanleino2010-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 ↵Gravatar rustanleino2010-11-01
| | | | captureState mark-ups in the Boogie code generated from Dafny
* Handle aliases betterGravatar MichalMoskal2010-10-26
|
* Introduce distinction between canonical element name and its aliasesGravatar MichalMoskal2010-10-26
|
* Compute canonical element namesGravatar MichalMoskal2010-10-26
|
* Copy local names between statesGravatar MichalMoskal2010-10-26
|
* More work on the generic namerGravatar MichalMoskal2010-10-26
|
* Start work on the generic namerGravatar MichalMoskal2010-10-26
|
* Make it display mapsGravatar MichalMoskal2010-10-15
|
* Implement find-all-namesGravatar MichalMoskal2010-10-14
|
* Display state sequential numbersGravatar MichalMoskal2010-10-14
|
* Move SkeletonItem to a separate fileGravatar MichalMoskal2010-10-14
|
* Display values in the state listGravatar MichalMoskal2010-10-14
|
* Make the tree actually workGravatar MichalMoskal2010-10-14
|
* Always show the entire tree, possibly grayed-outGravatar MichalMoskal2010-10-14
|
* Implement struct printingGravatar MichalMoskal2010-10-14
|
* Work on keeping the unfolding skeleton when switching between statesGravatar MichalMoskal2010-10-14
|
* Add DisplayNode class with default IDisplayNode implementation. Add ↵Gravatar MichalMoskal2010-10-14
| | | | IDisplayNode.State.
* Add interfaces for langauge providers. Start with VCC provider.Gravatar MichalMoskal2010-10-12
|
* Put Model.cs in separate assembly. Fix signing/versioning with it.Gravatar MichalMoskal2010-10-12
|
* Add function and constant viewGravatar MichalMoskal2010-10-12
|
* Put in proper namespace, move files around.Gravatar MichalMoskal2010-10-12
|
* Starting work on Boogie Model Viewer.Gravatar MichalMoskal2010-10-12
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-08 02:24:06 +0000