diff options
| author | Brian Campbell | 2019-05-19 17:28:31 +0100 |
|---|---|---|
| committer | Brian Campbell | 2019-05-19 18:40:26 +0100 |
| commit | cb95f36b485749cb739acea5373745b99332d874 (patch) | |
| tree | 4af78bd96b9d407cd4283ab4ab69cf66870e1c0b /lib/exception_basic.sail | |
| parent | 8bed4e4ef414f93e02f28f0e5eb223a855ba3d14 (diff) | |
Coq: proper definitions for some undefined value functions
That is, undefined_bitvector, undefined_unit, internal_pick.
Diffstat (limited to 'lib/exception_basic.sail')
0 files changed, 0 insertions, 0 deletions