index
:
debian-dafny
master
Debian packaging for Dafny
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
Source
/
DafnyExtension
/
ErrorModelTagger.cs
Commit message (
Collapse
)
Author
Age
*
DafnyExtension: Fixed issue with visual elements being accessed by ↵
wuestholz
2013-08-04
|
|
|
|
non-owning thread.
*
DafnyExtension: Did some refactoring and added a description to error states.
wuestholz
2013-08-03
|
*
DafnyExtension: Fixed a minor issue in the error selection.
wuestholz
2013-08-01
|
*
DafnyExtension: Fixed a minor issue in the error selection.
wuestholz
2013-08-01
|
*
DafnyExtension: Made it select the last error state by default when an error ↵
wuestholz
2013-08-01
|
|
|
|
is selected.
*
DafnyExtension: Make it possible to enable and disable BVD.
wuestholz
2013-07-28
|
*
DafnyExtension: Avoid allocating too much space for the error model adornments.
wuestholz
2013-07-28
|
*
DafnyExtension: Update the error model when a new error state is selected.
wuestholz
2013-07-28
|
*
DafnyExtension: Worked on improving the error selection and visualization.
wuestholz
2013-07-21
|
*
DafnyExtension: Added support for selecting errors and showing the model in BVD.
wuestholz
2013-07-15