sail - Formal specification language for ISAs

Age	Commit message (Expand)	Author
2020-09-28	Move the ast defs wrapper into it's own file	Alasdair
2020-09-16	C codegen: remove an unnecessary declaration in the header file	Julien Freche
2020-08-24	Merge pull request #83 from julienfreche/configure_get_set	Alasdair Armstrong
2020-08-21	C generation tweaks	Alasdair
2020-08-21	c2: make the global state API configurable for externally defined get/set fun...	Julien Freche
2020-08-18	Move sail_state declaration into it's own file	Alasdair
2020-08-06	Fix a small bug with nested structs test in -c2 state api	Alasdair
2020-08-05	Generate accessors for scalar types, array of scalars and scalars in struct i...	Julien Freche
2020-05-15	Add coverage tracking tool	Alasdair
2020-05-14	Output INT64_MIN in code generator for min 64-bit integer literal	Alasdair
2020-05-14	Various bugfixes and improvements for updated codegen	Alasdair
2020-05-12	Support for user-defined state and headers in new codegen	Alasdair
2020-05-11	Functorise and refactor C code generator	Alasdair