diff options
| author | Brian Campbell | 2018-12-19 17:54:23 +0000 |
|---|---|---|
| committer | Brian Campbell | 2018-12-19 17:56:12 +0000 |
| commit | 7524c25b16a4e393a17acde8b20f6a42d30d0f94 (patch) | |
| tree | d1e7e2abd9cb83da0be9741c71adeb587d0aed20 /test/riscv | |
| parent | 502e0010ae4dfe24dde9dba0174d62540f9fc993 (diff) | |
Coq: handle pairs of ranges (and other existential types) properly
(Needed for current CHERI.)
Diffstat (limited to 'test/riscv')
0 files changed, 0 insertions, 0 deletions