summaryrefslogtreecommitdiff
path: root/src/jib/c_codegen.ml
AgeCommit message (Expand)Author
2021-03-05Add more location information to IRAlasdair
2020-09-29Refactor: Change AST type from a union to a structAlasdair
2020-09-28Move the ast defs wrapper into it's own fileAlasdair
2020-09-16C codegen: remove an unnecessary declaration in the header fileJulien Freche
2020-08-24Merge pull request #83 from julienfreche/configure_get_setAlasdair Armstrong
2020-08-21C generation tweaksAlasdair
2020-08-21c2: make the global state API configurable for externally defined get/set fun...Julien Freche
2020-08-18Move sail_state declaration into it's own fileAlasdair
2020-08-06Fix a small bug with nested structs test in -c2 state apiAlasdair
2020-08-05Generate accessors for scalar types, array of scalars and scalars in struct i...Julien Freche
2020-05-15Add coverage tracking toolAlasdair
2020-05-14Output INT64_MIN in code generator for min 64-bit integer literalAlasdair
2020-05-14Various bugfixes and improvements for updated codegenAlasdair
2020-05-12Support for user-defined state and headers in new codegenAlasdair
2020-05-11Functorise and refactor C code generatorAlasdair
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 09:52:58 +0000