index
:
debian-dafny
master
Debian packaging for Dafny
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
Test
/
dafny0
/
Basics.dfy
Commit message (
Expand
)
Author
Age
*
Pass assert/assume attributes down to Boogie
Rustan Leino
2013-12-16
*
Add support for hexidecimal numbers.
parno
2013-07-30
*
Axioms that relate (multi)set cardinality with (multi)set difference.
Rustan Leino
2013-07-16
*
Beefed up axioms about cardinality and the empty (multi)set, which fixes Issu...
Rustan Leino
2013-06-20
*
Fixed some omitted cases in Substitute (and added "assume false" to catch any...
Rustan Leino
2013-05-21
*
Moved resolution of BinaryExpr.ResolveOp until the CheckTypeInference phase, ...
Rustan Leino
2013-04-01
*
Added a test case for <==.
Nadia Polikarpova
2013-03-14
*
Merge
Jason Koenig
2012-06-13
|
\
*
|
Dafny: allow parallel assignments to assign to the same LHS if the RHS match.
Jason Koenig
2012-06-13
|
/
*
Dafny: Added Euclidean regression test (Verifier only).
Jason Koenig
2011-07-08
*
Dafny: translate call statements with fancy LHSs
Rustan Leino
2011-05-31
*
Dafny: Translate general LHSs for var and := (not yet for call, no compilatio...
Rustan Leino
2011-05-30
*
Dafny:
Rustan Leino
2011-05-27
*
Dafny: added chaining operators
Rustan Leino
2011-05-27
*
Dafny: retired the "call" keyword
Rustan Leino
2011-05-26
*
Dafny: allow class names to be used when referring to static functions (and, ...
Rustan Leino
2011-05-21