diff options
| author | Jon French | 2018-09-14 15:07:25 +0100 |
|---|---|---|
| committer | Jon French | 2018-09-14 15:08:55 +0100 |
| commit | bd7c2be6fe9cb955e25e04d59c5af089a04bcf9e (patch) | |
| tree | 4c7dcd0026d7b45318703c2ac29504cbc881315b /riscv/coq.patch | |
| parent | 3e052aa29f38316648b05757f95ed67ed49c8806 (diff) | |
Sail_lib and RISCV prelude: functions for bitwise operations on ints
Diffstat (limited to 'riscv/coq.patch')
0 files changed, 0 insertions, 0 deletions