summaryrefslogtreecommitdiffstats
path: root/LICENSE
diff options
context:
space:
mode:
authorDon Stewart <dons@galois.com>2007-09-27 23:44:01 +0200
committerDon Stewart <dons@galois.com>2007-09-27 23:44:01 +0200
commitf5d686a3cb3c7f36109e221969b80e7cc5a0aab8 (patch)
tree453dd83469e0f326b66a3f100567d9834e2d87e3 /LICENSE
parentc04b6f4b266ec9a5381f3db679885cc36176cac0 (diff)
downloadmetatile-f5d686a3cb3c7f36109e221969b80e7cc5a0aab8.tar
metatile-f5d686a3cb3c7f36109e221969b80e7cc5a0aab8.zip
Add 3 QC properties for focusMaster: local, idempotent, preserves invariant
darcs-hash:20070927214401-cba2c-4d5e8646bcc9d21b844f56e7cea13b9af26de7c1
Diffstat (limited to 'LICENSE')
0 files changed, 0 insertions, 0 deletions