summaryrefslogtreecommitdiff
path: root/Source/ModelViewer/VccProvider.cs
Commit message (Expand)AuthorAge
* Normalise line endings using a .gitattributes file. UnfortunatelyGravatar Dan Liew2015-06-28
* Changed BVD to display shortened names if they are unique.Gravatar wuestholz2013-08-05
* merged more CVC4 and Z3 SMTLIB2 parsing methods ... results into a more compa...Gravatar pantazis2013-06-13
* 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
* VCC: Fixes for recent prelude changesGravatar Michal Moskal2011-12-02
* 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
* VCC: show output parameters as rootsGravatar Michal Moskal2011-11-08
* 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
* Performance improvements in BVDGravatar Michal Moskal2011-10-19
* VCC: Fix problem with booleans being displayed as mapsGravatar Michal Moskal2011-10-19
* 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
* Handle datatypes and recordsGravatar Michal Moskal2011-09-23
* Add handling of union active optionsGravatar Michal Moskal2011-09-23
* Fix null-refGravatar Michal Moskal2011-08-07
* Introduce states more aggressively. Show is_null() for pointers.Gravatar Michal Moskal2011-04-06
* Improvements in map and skolem functions display.Gravatar MichalMoskal2011-04-02
* Add some ExpertLevel functionsGravatar MichalMoskal2011-02-21
* Improve display of sets; add \now "variable";Gravatar MichalMoskal2011-01-29
* Display stack-allocated structs, as_array types, and *ID in tooltipsGravatar MichalMoskal2011-01-28
* Display integers in decimal and hexadecimal in tooltipGravatar MichalMoskal2011-01-27
* Display numbers within +-%0.1 of a power of two as 2^N+MGravatar MichalMoskal2011-01-27
* Simplify state name selectionGravatar MichalMoskal2011-01-26
* VCC-BVD: display qualifiers of VCC-generated copies of local variables; hide ...Gravatar MichalMoskal2011-01-26
* Allow the provider to skip some states when generating SourceLocationsGravatar MichalMoskal2011-01-26
* Introduce new NamedState base class to reduce code duplicationGravatar MichalMoskal2011-01-26
* Right-clicking on a state allows to display the source code for itGravatar MichalMoskal2011-01-26
* Fix handling of addresses of fieldsGravatar MichalMoskal2011-01-24
* Hide #frame functions. Support state functions taking $heap($s).Gravatar MichalMoskal2011-01-24
* Display globals. Improve naming of function nodes in long ids.Gravatar MichalMoskal2011-01-13
* Display casted pointersGravatar MichalMoskal2011-01-04
* Improve handling of arrays embedded in structsGravatar MichalMoskal2010-12-17
* Better handling of user provided skolem variablesGravatar MichalMoskal2010-12-16
* Display ghost localsGravatar MichalMoskal2010-12-15
* Include one more expert level (this need to be rethought I guess).Gravatar MichalMoskal2010-12-14
* Add information about field being volatileGravatar MichalMoskal2010-12-14
* Support arrays and & pseudo-fieldGravatar MichalMoskal2010-12-14
* Rework the namer interface a bitGravatar MichalMoskal2010-12-10
* Improve type detectionGravatar MichalMoskal2010-12-10
* Display Skolem constants (no functions yet)Gravatar MichalMoskal2010-12-10
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-15 20:29:01 +0000