diff options
| author | Alasdair Armstrong | 2019-02-28 16:28:56 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2019-02-28 16:32:36 +0000 |
| commit | fb362fcb5671b6f008794d0a7db31b1f2685e413 (patch) | |
| tree | 51b339ed119c9b29cde496fed070a824f8ebee0c /lib/string.sail | |
| parent | a20101dc3769b5c5a6e51753c1be42f78df86e22 (diff) | |
Allow user-specified state to be passed through generated C
For example:
sail -c_extra_params "CPUMIPSState *env" -c_extra_args env
would pass a QEMU MIPS cpu state to every non-builtin function call.
Also add documentation for each C compilation option in C_backend.mli
Diffstat (limited to 'lib/string.sail')
0 files changed, 0 insertions, 0 deletions