diff options
| author |  Unknown <leino@LEINO6.redmond.corp.microsoft.com> | 2012-10-17 14:07:59 -0700 |
|---|---|---|
| committer | Unknown <leino@LEINO6.redmond.corp.microsoft.com> | 2012-10-17 14:07:59 -0700 |
| commit | 37bd956ddccbb0ccaa1f30a1283a2932178555d2 (patch) | |
| tree | 4e4071f436870ed590980c56fed75381cf3db81f /Source/Jennisys.sln | |
| parent | 6044f08dceb6c03e7b6e8924186a301dcc2e7e97 (diff) | |
Added some axioms to try to recover boxed data. In particular, any element 'x' of a set in the encoding satisfies Box(Unbox(x))==x. The soundness and performance of the axiomatization are dicey, so the axioms are made available only to method in-parameters.
Diffstat (limited to 'Source/Jennisys.sln')
0 files changed, 0 insertions, 0 deletions