index
:
debian-dafny
master
Debian packaging for Dafny
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
Source
/
Dafny
Commit message (
Expand
)
Author
Age
*
Fix the UseBaseNameForFileName flag; it shouldn't set the return code to zero.
Clément Pit--Claudel
2015-06-07
*
Generate #requires function for OpaqueFunction.
qunyanm
2015-06-04
*
Added {:auto_generated} trigger, which indicates that a declaration was not e...
Rustan Leino
2015-06-02
*
Merge
leino
2015-05-29
|
\
|
*
Add an infinite set collection type.
qunyanm
2015-05-29
*
|
Merge
leino
2015-05-29
|
\
|
*
|
Bug fix in type-antecedent for traits in allocation axioms
leino
2015-05-29
|
*
Merge
Rustan Leino
2015-05-29
|
|
\
|
*
|
Changes to ComputeFreeVariables--bug fix as well as beautification
Rustan Leino
2015-05-29
|
|
*
Fix build break. Part of the change was not checked in last check-in somehow.
qunyanm
2015-05-19
|
|
*
Fix issue #81. Pass a call's TypeArgumentSubstitution to CheckCallTermination.
qunyanm
2015-05-18
|
|
*
Fix issue #79. Allow tuple pattern matching with parenthesis only.
qunyanm
2015-05-15
|
|
*
Allow MatchExpr and MatchStmt to have nested patterns. Such as
qunyanm
2015-05-14
|
|
/
|
/
|
*
|
Don't include arrow types among ordered types.
leino
2015-05-11
*
|
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
*
|
Improved encoding of a property of reads clauses to make things more easily p...
leino
2015-05-01
*
|
Merge
leino
2015-04-28
|
\
|
|
*
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
|
*
Fix issue #71. When substitute the forall's variables for those of the
qunyanm
2015-04-16
|
/
*
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
*
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
*
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
|
/
*
Fix issue #62. Check for modifies clause and constructors in the enclosing
qunyanm
2015-03-31
*
Fix issue 61. Decreases are by default in ghost context. Therefore,
qunyanm
2015-03-31
*
Fix issue #56. Convert parametered opaque type parameters into an IdentifierExpr
qunyanm
2015-03-27
*
Fix issue #58. In TrSplitExpr(), add allocatedness for arguments to the inlined
qunyanm
2015-03-26
*
Merge
chrishaw
2015-03-17
|
\
*
|
Optimize datatype/tuple update expression to coalesce adjacent updates into a...
chrishaw
2015-03-17
|
*
Fix issue #63. ForceSubstitutionOfQuantifiedVars for SetComprehesion.
qunyanm
2015-03-17
|
/
*
Fix issue #55 and #64. When performing type argument substitution for function
qunyanm
2015-03-16
*
Fixed merge issues
leino
2015-03-13
*
Merge
leino
2015-03-13
|
\
*
|
Allow let-such-that expression to be compiled, provided that they provably ha...
leino
2015-03-13
[next]