summaryrefslogtreecommitdiff
path: root/Source/ModelViewer
Commit message (Collapse)AuthorAge
* Normalise line endings using a .gitattributes file. UnfortunatelyGravatar Dan Liew2015-06-28
| | | | | | this required that this commit globally modify most files. If you want to use git blame to see the real author of a line use the ``-w`` flag so that whitespace changes are ignored.
* Remove dead method argumentGravatar Dan Liew2014-09-24
| | | | Patch by Jeroen Ketema
* Fix Boogie so it compiled with mono. Patch by Dan Liew.Gravatar Ally Donaldson2014-01-14
|
* Minor Changes in YieldTypeCheckerGravatar kuruis2013-12-19
|
* various updatesGravatar qadeer2013-12-09
|
* added the QED build configurationGravatar qadeer2013-12-02
|
* Changed BVD to display shortened names if they are unique.Gravatar wuestholz2013-08-05
|
* Fixed several build errors in the 'Checked' configuration.Gravatar wuestholz2013-08-05
|
* Make it possible to set the font in BVD externally.Gravatar wuestholz2013-07-31
|
* Make it possible to look up variables in the Dafny error models.Gravatar wuestholz2013-07-30
|
* Fixed issue in the model viewer.Gravatar wuestholz2013-07-29
|
* Allow for certain visual elements of the model viewer to be hidden.Gravatar wuestholz2013-07-28
|
* Make 'Model' a proper project.Gravatar wuestholz2013-07-26
|
* mergeGravatar Pantazis Deligiannis2013-07-22
|\
| * Changed the API to make it possible to set the current state in BVD.Gravatar wuestholz2013-07-21
| |
* | fixGravatar Pantazis Deligiannis2013-07-19
| |
* | mergeGravatar Pantazis Deligiannis2013-07-19
|\|
| * Split up the model viewer into a library and an application and added some ↵Gravatar wuestholz2013-07-14
| | | | | | | | functionality.
* | fix in modelviewer, ParseModels now requires 2 arguments, second should be ↵Gravatar Pantazis Deligiannis2013-07-09
| | | | | | | | an empty string for the default parser
* | merged more CVC4 and Z3 SMTLIB2 parsing methods ... results into a more ↵Gravatar pantazis2013-06-13
| | | | | | | | compact parser
* | small update in optionsGravatar pantazis2013-06-12
| |
* | CVC4 ParserGravatar pantazis2013-06-12
|/
* Dafny/Boogie/BVD: made Dafny plug-in for BVD work againGravatar Rustan Leino2012-06-08
|
* Switch bvd to MSIL (instead of x86) target architectureGravatar stobies2012-03-26
|
* VCC: fix treatment of arraysGravatar Michal Moskal2012-02-24
|
* VCC: display bitvectorsGravatar Michal Moskal2012-01-28
|
* VCC: fixes in function visibilityGravatar Michal Moskal2012-01-28
|
* VCC/BVD: what were these null checks all over about?Gravatar Michal Moskal2012-01-17
|
* Bring SourceView to front when double-clicking source lineGravatar stobies2011-12-08
|
* VCC: Fixes for recent prelude changesGravatar Michal Moskal2011-12-02
|
* BVD: Fix display bugGravatar Michal Moskal2011-11-15
|
* VCC: Further data type improvementsGravatar Michal Moskal2011-11-15
|
* VCC: Better display of data type valuesGravatar Michal Moskal2011-11-15
|
* VCC: Recognize $resultGravatar Michal Moskal2011-11-15
|
* VCC: remove _vcc_math_type_ from type namesGravatar Michal Moskal2011-11-09
|
* VCC: hide #limited# functionsGravatar Michal Moskal2011-11-09
|
* BVD: don't do the "Duplicate entry exception"; uncomment for debuggingGravatar Michal Moskal2011-11-08
|
* VCC: show output parameters as rootsGravatar Michal Moskal2011-11-08
|
* MergeGravatar Rustan Leino2011-10-26
|\
* | BVD: fixed two basic but damning problems with the Dafny provider, and ↵Gravatar Rustan Leino2011-10-26
| | | | | | | | elided some temporary variables
| * VCC: Detect wrong model filesGravatar Michal Moskal2011-10-26
| |
| * VCC: improvements in showing arrays, addresses, and embeddingsGravatar Michal Moskal2011-10-24
|/
* VCC: support some more _(blob ...) buisnessGravatar Michal Moskal2011-10-19
|
* BVD: Default to expert view; Only VCC uses that stuff now, and all VCC users ↵Gravatar Michal Moskal2011-10-19
| | | | are clearly experts
* Performance improvements in BVDGravatar Michal Moskal2011-10-19
|
* VCC: Fix problem with booleans being displayed as mapsGravatar Michal Moskal2011-10-19
|
* Link Model.cs in ModelViewer, so that BVD can be updated independtly of the ↵Gravatar Michal Moskal2011-10-03
| | | | rest of Boogie
* VCC: Support _(blob ..) types; fix crashGravatar Michal Moskal2011-09-28
|
* BVD/VCC: Handle reading records/data types from memoryGravatar Michal Moskal2011-09-23
|
* Better support for map typesGravatar Michal Moskal2011-09-23
|