diff options
| author | Peter Sewell | 2014-10-30 16:23:50 +0000 |
|---|---|---|
| committer | Peter Sewell | 2014-10-30 16:23:50 +0000 |
| commit | f77c8772511be123bf3178ac486bc622d3bab008 (patch) | |
| tree | cc3015d4ddacdd4d6d157d5ad8ead9ff5eb0d356 /src/elf_model/elf_executable_file3.lem | |
| parent | 522bf4239ab999190fbb173aa7138efb43f8dc03 (diff) | |
more compact pp of binary values (following verilog literal syntax)
(though we still get some long lists of bitzero,bitzero,... in the instruction state printing...)
Diffstat (limited to 'src/elf_model/elf_executable_file3.lem')
0 files changed, 0 insertions, 0 deletions