diff options
| author | Frédéric Besson | 2019-10-25 19:29:03 +0200 |
|---|---|---|
| committer | Frédéric Besson | 2019-10-25 19:29:03 +0200 |
| commit | f7659e6c5d197ddeff8509a4aab40316534b3a12 (patch) | |
| tree | 4d5f170c62799ac0e4dd830f4412e3a6477e8bd5 /kernel/genOpcodeFiles.ml | |
| parent | 6ed3b02af77313d62ec868b4a88a208a9003857d (diff) | |
| parent | de05e0e6e3869973a5a1dd5427748c3918a6a23d (diff) | |
Merge PR #10962: Add missing instances for `implb` and `xorb` in ZifyBool.v
Reviewed-by: fajb
Diffstat (limited to 'kernel/genOpcodeFiles.ml')
0 files changed, 0 insertions, 0 deletions