index
:
debian-dafny
master
Debian packaging for Dafny
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
Test
/
dafny0
/
Array.dfy
Commit message (
Expand
)
Author
Age
*
Implement workarounds for some tests that fail with /autoTriggers.
Clément Pit--Claudel
2015-08-28
*
Fix bug in translation of 'new' for arrays
Rustan Leino
2014-10-29
*
Improved axiom that knows that array-to-sequence converstion depends only on ...
Rustan Leino
2014-06-04
*
Set up the same test infrastructure as in Boogie.
wuestholz
2014-05-29
*
Added axiom to transfer array element-type information onto the elements them...
Rustan Leino
2014-03-20
*
Fixed problem with propagating allocation information about array elements.
Rustan Leino
2014-03-20
*
Dafny: Added "type" declaration (syntax: "type X;"), which introduces an arbi...
Rustan Leino
2011-11-21
*
Dafny: fixed bug in reads checking of array-to-sequence conversions
Rustan Leino
2011-11-08
*
Dafny: fixed bug in translator when LHS of a call was an array element or a nat
Rustan Leino
2011-09-30
*
Dafny: fixed bug in looking at the arguments of the :induction attribute
Rustan Leino
2011-08-18
*
Fixed failing regression tests.
Jason Koenig
2011-07-14
*
Added multiset from sequence axioms, removed array range RHSs. Fixed issue wi...
Jason Koenig
2011-07-13
*
Added s[..] syntax in anticipation of sequence forming operation. (also updat...
Jason Koenig
2011-07-11
*
Dafny: Allow field selections and array-element selection as LHSs of assignme...
Unknown
2011-04-05
*
Dafny:
rustanleino
2010-09-17
*
Dafny:
rustanleino
2010-05-21