diff options
author | Michael Lowell Roberts <mirobert@microsoft.com> | 2015-07-02 15:00:52 -0700 |
---|---|---|
committer | Michael Lowell Roberts <mirobert@microsoft.com> | 2015-07-02 15:00:52 -0700 |
commit | 85d4456ccf1e1d8c456dffa012d3f3d724f50a4a (patch) | |
tree | da1311552725ba7809e4f3445870c86c98a5fbe6 /Test/irondafny0 | |
parent | c7f6887e452cbb91a8297bb64db39a8066750351 (diff) |
multiple changes...
- fix for requirement inheritance in refinement.
- minimimally viable implementation of exclusive refinement feature.
Diffstat (limited to 'Test/irondafny0')
0 files changed, 0 insertions, 0 deletions