summaryrefslogtreecommitdiff
path: root/Source/ModelViewer
Commit message (Expand)AuthorAge
* Merging complete. Everything looks good *crosses fingers*Gravatar Checkmate502016-06-06
* Remove dead method argumentGravatar Dan Liew2014-09-24
* 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 fu...Gravatar wuestholz2013-07-14
* | fix in modelviewer, ParseModels now requires 2 arguments, second should be an...Gravatar Pantazis Deligiannis2013-07-09
* | merged more CVC4 and Z3 SMTLIB2 parsing methods ... results into a more compa...Gravatar pantazis2013-06-13
* | 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 elided...Gravatar Rustan Leino2011-10-26
| * 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
* 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 r...Gravatar Michal Moskal2011-10-03
* 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