index
:
debian-dafny
master
Debian packaging for Dafny
summary
refs
log
tree
commit
diff
log msg
author
committer
range
Commit message (
Expand
)
Author
Age
...
*
|
Removed unneeded :heapQuantifier from test case (rendinging this attribute cu...
leino
2015-06-25
|
*
Fix issue #85. Only try to interpret an identifier as a datatype constructor
qunyanm
2015-06-22
|
*
Fix various bugs in nested match patterns listed in issue #83
qunyanm
2015-06-19
|
/
*
Auto-merged heads.
Michael Lowell Roberts
2015-06-16
|
\
*
|
System.Collections.Immutable.dll is now stored in the Binaries directory and ...
Michael Lowell Roberts
2015-06-16
|
*
Changed logical order of requires and reads clauses on functions. Reads clauses
Rustan Leino
2015-06-15
|
*
Do postponsed reads checking also for the body of functions -- see Test/dafny...
Rustan Leino
2015-06-15
|
*
Some more reads tests
Rustan Leino
2015-06-15
|
*
More reads tests
Rustan Leino
2015-06-15
|
*
Postpone reads checks of function preconditions until after the entire precon...
leino
2015-06-15
|
*
More tests of reads-clause checking
Rustan Leino
2015-06-15
|
*
Little edits in new CheckWellformedAndAssume code
leino
2015-06-12
|
*
Merge
leino
2015-06-12
|
|
\
|
*
|
Added /vcs... cop-out to test case to make it go through
leino
2015-06-12
|
|
*
Fix a bug spotted by Chris in my BigInteger patch; thanks!
Clément Pit--Claudel
2015-06-12
|
*
|
Merge
leino
2015-06-12
|
|
\
|
|
*
|
Combined some common routines into CheckWellformedAndAssume, which also allow...
leino
2015-06-12
|
|
*
Merge
Clément Pit--Claudel
2015-06-12
|
|
|
\
|
|
_
|
/
|
/
|
|
|
|
*
Small fix in runTests.py
Clément Pit--Claudel
2015-06-12
*
|
|
merge
Michael Lowell Roberts
2015-06-12
|
\
\
\
|
|
|
/
|
|
/
|
*
|
|
added -optimize option to compiler.
Michael Lowell Roberts
2015-06-12
|
|
/
|
/
|
|
*
Add missing default parameter in runTests.py
Clément Pit--Claudel
2015-06-11
|
*
A few more improvements to runTests.py
Clément Pit--Claudel
2015-06-11
|
*
Small improvements to runTests.py
Clément Pit--Claudel
2015-06-10
|
/
*
Add a compatibility layer over BigInteger.Parse
Clément Pit--Claudel
2015-06-07
*
Merge
Clément Pit--Claudel
2015-06-08
|
\
|
*
Merge
Bryan Parno
2015-06-08
|
|
\
|
*
|
Update the hash code for datatypes to use the djb2 hash algorithm,
Bryan Parno
2015-06-08
|
*
|
Fix some issues when compiling generic types and generic function method calls
Bryan Parno
2015-06-08
*
|
|
Fix the UseBaseNameForFileName flag; it shouldn't set the return code to zero.
Clément Pit--Claudel
2015-06-07
*
|
|
Fix lit headers implicitly relying on bash-style constructs
Clément Pit--Claudel
2015-06-08
*
|
|
Add the beginning of a new testing infrastructure
Clément Pit--Claudel
2015-06-08
|
|
/
|
/
|
*
|
Fix the Seq#Contain axiom; it should talk about T, not ref.
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
*
|
Improvements in traits test case
leino
2015-05-29
*
|
Improvements to Nipkow and Klein test cases: Changed imap to map, removed ne...
leino
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
|
|
*
DafnyExtension: Added experimental support for diagnosing timeouts.
wuestholz
2015-05-18
|
|
*
Updated test output after change in Boogie.
wuestholz
2015-05-17
|
|
*
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
|
|
*
Update the configuration manager so the Debug build actually builds the Debug...
Bryan Parno
2015-05-13
[prev]
[next]