diff options
| author | Robert Norton | 2017-04-20 11:05:56 +0100 |
|---|---|---|
| committer | Robert Norton | 2017-04-20 11:06:05 +0100 |
| commit | ed1927a2b7f4be3d5b6a1eea9541894db8897582 (patch) | |
| tree | 5ca2ee28075e5332d5d04d51fbd037cf843d07da /src/gen_lib/sail_values.ml | |
| parent | d4a2ab63e55487fed8b49b8ac678856ef994f4f9 (diff) | |
build a single run_embed.native with mips and cheri models linked and choose between them using a command line switch.
Diffstat (limited to 'src/gen_lib/sail_values.ml')
0 files changed, 0 insertions, 0 deletions