diff options
| author | Thomas Bauereiss | 2018-05-04 16:18:01 +0100 |
|---|---|---|
| committer | Thomas Bauereiss | 2018-05-09 14:19:57 +0100 |
| commit | 9fea45722d58132cc484d9421fb3407286dc4f01 (patch) | |
| tree | 73afa2f18686dcbce05a4c1c42d148c6e723bf1c /test/builtins/signed.sail | |
| parent | 35ac987cce31e0fd2dcd2ef3d362066395c58ed8 (diff) | |
Generate initial register state record
Filled with default values (e.g., 0) and used to initialise the state monad.
There is already code to generate a Sail function "initialize_registers", but
this is monadic itself, so it cannot be used to initialise the monad.
Diffstat (limited to 'test/builtins/signed.sail')
0 files changed, 0 insertions, 0 deletions