index
:
debian-dafny
master
Debian packaging for Dafny
summary
refs
log
tree
commit
diff
log msg
author
committer
range
Commit message (
Expand
)
Author
Age
*
Update dependencies and Standards-Version
Benjamin Barenblat
2016-04-06
*
Add gbp.conf
Benjamin Barenblat
2015-08-30
*
Get rid of Built-Using
Benjamin Barenblat
2015-08-30
*
Move release to unstable
Benjamin Barenblat
2015-08-30
*
Package Dafny for experimental
Benjamin Barenblat
2015-08-14
*
Version 1.9.5.20511
leino
2015-05-11
*
Don't include arrow types among ordered types.
leino
2015-05-11
*
Added to the test suite a Dafny encoding of Chapter 7 from the Nipkow and Kle...
leino
2015-05-10
*
Additional test case for inductive predicates
leino
2015-05-07
*
Added "inductive lemma" methods
leino
2015-05-07
*
Added inductive predicates
leino
2015-05-06
*
Improved generation of .reads axioms (correcting an incorrect answer and corr...
leino
2015-05-01
*
Answer file
leino
2015-05-01
*
Improved encoding of a property of reads clauses to make things more easily p...
leino
2015-05-01
*
Added to the test suite a Dafny encoding of Chapter 3 from the Nipkow and Kle...
leino
2015-04-29
*
Bumped version to 1.9.4.20428
leino
2015-04-29
*
Added a test where Dafny verifies something that the Juggernaut tool can infer
leino
2015-04-28
*
Merge
leino
2015-04-28
|
\
*
|
Changes to the VerifyThis2015 test programs
leino
2015-04-28
|
*
added notice about vim-loves-dafny.
Michael Lowell Roberts
2015-04-27
|
*
Fix issue #72. Add the constructor questionmark to a function's axiom if the
qunyanm
2015-04-24
*
|
Fixed bug in tuples
leino
2015-04-24
|
*
Rearranged handling ambiguously named declarations, so that the multitudes of...
Rustan Leino
2015-04-22
|
*
Fix issue #70. Check the ctors for equality before marking them as duplicates.
qunyanm
2015-04-21
|
*
Fix issue #73. Pass in expr.tok when creating Bpl.Expr for InMap and NotInMap.
qunyanm
2015-04-20
|
*
Fix issue #69. If we can't find a member in classMembers, search the static
qunyanm
2015-04-17
|
*
HashCode for Set/MultiSet/Map should be independent of the order of the
qunyanm
2015-04-17
|
*
Change GetHashCode for Set, MultiSet and Map
qunyanm
2015-04-16
|
*
Fix issue #71. When substitute the forall's variables for those of the
qunyanm
2015-04-16
|
*
Fix issue #68. Change GetHashCode implementation for Sequence.
qunyanm
2015-04-14
|
/
*
Completed problems from the VerifyThis 2015 program verification competition
leino
2015-04-14
*
Fix issue #67. Check SupportsEquality before determining whether to emit Equals
qunyanm
2015-04-13
*
Include axioms about $Is and $IsAlloc for traits
leino
2015-04-07
*
Support calls to static trait methods/functions via the class
leino
2015-04-07
*
Merge
leino
2015-04-07
|
\
*
|
Revised look-up and compilation of inherited trait members (static functions/...
leino
2015-04-07
|
*
Make sure that PrintTopLevelDecls receives program FullName, not just Name, s...
chrishaw
2015-04-07
|
/
*
Changed version to 1.9.3.20406 and updated copyright year to include 2015.
leino
2015-04-06
*
Copy z3.exe and Z3-LICENSE.txt (from Binaries directory to Source/DafnyExtens...
leino
2015-04-06
*
Merge
leino
2015-04-06
|
\
|
*
Merge
qunyanm
2015-04-06
|
|
\
|
*
|
Add z3.exe and z3-license.txt to dafny binary and extension distribution.
qunyanm
2015-04-06
*
|
|
Fixed missing case in previous check-in
leino
2015-04-05
|
|
/
|
/
|
*
|
Fixed compilation of static members in traits
leino
2015-04-05
*
|
Fixed some bugs in override axioms (but still missing support for classes wit...
leino
2015-04-05
*
|
Whitespace deltas in test files (in particular, removing tabs and adjusting s...
leino
2015-04-03
*
|
Merge
leino
2015-04-03
|
\
|
*
|
Added test cases and fixes for overrides termination checks
leino
2015-04-03
|
*
Eliminate redundant checks of newtype and opaque function well-formedness fro...
chrishaw
2015-04-02
|
/
*
Reflect cleaner syntax in some test programs
leino
2015-03-31
[next]