summaryrefslogtreecommitdiff
path: root/Source/ModelViewer/Namer.cs
Commit message (Expand)AuthorAge
* Normalise line endings using a .gitattributes file. UnfortunatelyGravatar Dan Liew2015-06-28
* Fixed issue in the model viewer.Gravatar wuestholz2013-07-29
* BVD: don't do the "Duplicate entry exception"; uncomment for debuggingGravatar 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: improvements in showing arrays, addresses, and embeddingsGravatar Michal Moskal2011-10-24
|/
* Performance improvements in BVDGravatar Michal Moskal2011-10-19
* VCC: Support _(blob ..) types; fix crashGravatar Michal Moskal2011-09-28
* BVD Dafny: support Skolem constantsGravatar rustanleino2011-02-02
* Speedup the number display algorithm, what was I thinking?Gravatar MichalMoskal2011-01-27
* Display numbers within +-%0.1 of a power of two as 2^N+MGravatar MichalMoskal2011-01-27
* 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
* Display line numbers (useful for finding what the error message refers to)Gravatar MichalMoskal2011-01-26
* Right-clicking on a state allows to display the source code for itGravatar MichalMoskal2011-01-26
* More user-friendly canonical namesGravatar MichalMoskal2011-01-17
* Don't use local variable names as canonical namesGravatar MichalMoskal2011-01-14
* Rework the namer interface a bitGravatar MichalMoskal2010-12-10
* Display Skolem constants (no functions yet)Gravatar MichalMoskal2010-12-10
* Introduce node categories; sort fields based on that not special charactersGravatar MichalMoskal2010-12-01
* Improve the generic model viewerGravatar MichalMoskal2010-11-06
* Add find find uses and find aliases facilitiesGravatar 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
* Rework canonical name computationGravatar MichalMoskal2010-11-03
* ModelViewer:Gravatar rustanleino2010-11-02
* Handle aliases betterGravatar MichalMoskal2010-10-26
* Compute canonical element namesGravatar MichalMoskal2010-10-26
* More work on the generic namerGravatar MichalMoskal2010-10-26
* Start work on the generic namerGravatar MichalMoskal2010-10-26
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-17 03:43:33 +0000