diff options
author | Rustan Leino <unknown> | 2014-02-26 02:16:56 -0800 |
---|---|---|
committer | Rustan Leino <unknown> | 2014-02-26 02:16:56 -0800 |
commit | a800b7c751757fc65a87bbffeb3ddc222d98a1a5 (patch) | |
tree | 329d8edb4181b6cf6b568d17b95a27575a07b1b8 /Test/cloudmake | |
parent | f56e7c77e860f86e536f1695fbd7b28f78ee4322 (diff) |
Added CloudMake formalization and proofs to the test suite
Diffstat (limited to 'Test/cloudmake')
0 files changed, 0 insertions, 0 deletions