summaryrefslogtreecommitdiff
path: root/Test/dafny1
diff options
context:
space:
mode:
authorGravatar Rustan Leino <leino@microsoft.com>2012-06-22 20:56:23 -0700
committerGravatar Rustan Leino <leino@microsoft.com>2012-06-22 20:56:23 -0700
commit5d7c99ee7733108b73d3f26cacc2f7480baea22a (patch)
treedd2f726058cfc71630f3019c48b8630a24da5368 /Test/dafny1
parentda2009988989d01acb0fc523fb533853f05f193c (diff)
Dafny: now, equality-support determination and checking feels ripe; so, codatatypes would then be sound
Dafny: added special case to allow equality comparison against parameter-less datatype values
Diffstat (limited to 'Test/dafny1')
0 files changed, 0 insertions, 0 deletions