| commit | ef95149436f8a04a41b33f24749861dc7ae95f3a | [log] [tgz] |
|---|---|---|
| author | Asim Shankar <ashankar@google.com> | Wed Feb 11 11:41:03 2015 -0800 |
| committer | Asim Shankar <ashankar@google.com> | Wed Feb 11 11:42:18 2015 -0800 |
| tree | 60ffa121a35da46012655317eabb62e6250a541d | |
| parent | 1e535f160549a657d3ad868e5dc7d5d0f6c2b8e9 [diff] |
security: Define a VDL type for discharges (Part 2/2) More details in: commit 4617b0475f31283d1ffde494f99e36f67cb2c1c5 = https://vanadium-review.googlesource.com/#/c/3601/ = https://github.com/veyron/release-issues/issues/634 With this commit, the security infrastructure should no longer decode into the "vdl.Any" type, i.e., it always decodes into concrete types and thus should be immune to renamings/reorganization of packages. Change-Id: Ibf1be9537c855e040e2df45f99ede4ec2be6c43e