Support for user-defined state and headers in new codegen

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

0 files changed, 0 insertions, 0 deletions