index
:
debian-dafny
master
Debian packaging for Dafny
summary
refs
log
tree
commit
diff
log msg
author
committer
range
Commit message (
Expand
)
Author
Age
*
Fixed build failures due to changes in Boogie.
wuestholz
2013-07-22
*
Fixed issues due to merge.
wuestholz
2013-07-22
*
Merge
Rustan Leino
2013-07-22
|
\
*
|
Fixed build failures from recent Boogie refactoring.
Rustan Leino
2013-07-22
|
*
Fixed build failures due to changes in Boogie.
wuestholz
2013-07-22
|
/
*
Fixed build failures due to changes in Boogie.
wuestholz
2013-07-22
*
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
*
Axioms that relate (multi)set cardinality with (multi)set difference.
Rustan Leino
2013-07-16
*
Syntactic improvements in two tests.
Rustan Leino
2013-07-16
*
DafnyExtension: Added support for collecting additional information during re...
wuestholz
2013-07-15
*
DafnyExtension: Made the 'ProgressTagger' use tasks instead of threads for in...
wuestholz
2013-07-15
*
DafnyExtension: Worked on integrating BVD.
wuestholz
2013-07-14
*
DafnyExtension: Enabled model extraction for verification failures.
wuestholz
2013-07-12
*
DafnyExtension: Fixed an error list issue.
wuestholz
2013-07-12
*
Fixed printer bug to handle static receivers in function call expressions. (T...
chmaria
2013-07-11
*
Because of neighboring parse conflict handlers, must call ResetPeek()
Rustan Leino
2013-07-10
*
Look through paren expressions when determining a default loop decreases clause
Rustan Leino
2013-07-10
*
Merge
Rustan Leino
2013-07-10
|
\
*
|
Fixed parsing bug in "if" and "while" guards
Rustan Leino
2013-07-10
*
|
Added some test cases having to do with finite/infinite trees
Rustan Leino
2013-07-10
|
*
Did some refactoring of the interaction with the Boogie execution engine.
wuestholz
2013-07-10
|
/
*
DafnyExtension: Fixed flickering of errors in the error list.
wuestholz
2013-07-10
*
DafnyExtension: Integrated support for multiple Z3 instances in Boogie (incl....
wuestholz
2013-07-09
*
Datatypes with ghost fields (that is, with constructors with ghost parameters...
Rustan Leino
2013-07-09
*
Fixed an issue in the computation of checksums.
wuestholz
2013-07-07
*
Deactivated VC splitting in the tests.
wuestholz
2013-07-05
*
Merge.
Unknown
2013-07-05
|
\
*
|
No need to remove lit on RHSs now that Boogie's AI knows about Lit.
Unknown
2013-07-05
|
*
DafnyExtension: Enabled verification result caching by default.
wuestholz
2013-07-02
|
/
*
Merge
Unknown
2013-07-04
|
\
*
\
Merge
Unknown
2013-07-04
|
\
\
|
|
*
Fixed bugs reported as Issue 20.
Rustan Leino
2013-07-04
|
|
/
|
/
|
|
*
Computations!
Unknown
2013-07-04
*
|
Fixed bug with substitutions in let-such-that expressions. This cures Issue 22.
Rustan Leino
2013-07-04
|
/
*
Fixed bug of inappropriate Boogie name
Rustan Leino
2013-07-01
*
Changed a test to verify within a reasonable time (10 s vs. 300 s).
wuestholz
2013-07-01
*
Fixed soundness bug with co-recursive calls: co-recursive calls may now no l...
Rustan Leino
2013-06-29
*
Fixed unsoundness (and also allowed other, sound cases) in the admissability ...
Rustan Leino
2013-06-28
*
Changed ranking function for Seq, so that it's compatible with data types.
Unknown
2013-06-26
*
Fixed an issue in the computation of checksums.
wuestholz
2013-06-25
*
Merge
Rustan Leino
2013-06-25
|
\
*
|
Fixed some Code Contract type errors
Rustan Leino
2013-06-25
|
*
Fixed compilation bug where C# keywords were not being escaped
Rustan Leino
2013-06-25
|
*
DafnyExtension: Fixed a memory leak.
wuestholz
2013-06-24
|
*
Did some refactoring of the error reporting functionality.
wuestholz
2013-06-24
|
/
*
DafnyExtension: Use tracking spans instead of regular spans.
wuestholz
2013-06-21
*
DafnyExtension: Made it display verification errors incrementally.
wuestholz
2013-06-20
*
Fixed a problem where changes to a substMap were not being undone, curing Iss...
Rustan Leino
2013-06-20
*
Merge
Rustan Leino
2013-06-20
|
\
[next]