diff options
| author | Robert Norton | 2018-01-30 13:05:17 +0000 |
|---|---|---|
| committer | Robert Norton | 2018-01-30 13:05:17 +0000 |
| commit | cc7f32144f5080eb28cb97ab3c1bb8ae114e84dc (patch) | |
| tree | c9be133edecd043d28f7d666d939f60ae5ffaa8b /src/util.ml | |
| parent | 2eafe7b1c5e93c375ffc42f0a9e8efbd64b69f54 (diff) | |
riscv prelude: add a to_bits function for converting ints to bits of given length.
Diffstat (limited to 'src/util.ml')
0 files changed, 0 insertions, 0 deletions