| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2020-08-21 | c2: make the global state API configurable for externally defined get/set ↵ | Julien Freche | |
| functions | |||
| 2020-05-12 | Support for user-defined state and headers in new codegen | Alasdair | |
| All the code-generator options can now be controlled via a json configuration file Extra fields can be added to the sail_state struct using a codegen.extra_state key in the configuration json for the code generator If primitives want to modify the state they can be specified via codegen.state_primops To import such state, codegen.extra_headers can be used to add user-defined headers to the generated .h file | |||
 |
index : sail | |
| Formal specification language for ISAs |
| summaryrefslogtreecommitdiff |