sail - Formal specification language for ISAs

Age	Commit message (Collapse)	Author
2021-03-05	Add more location information to IR	Alasdair

2020-09-29	Refactor: Change AST type from a union to a struct	Alasdair

2020-09-28	Move the ast defs wrapper into it's own file	Alasdair
	This refactoring is intended to allow this type to have more than just a list of definitions in future.
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
	c2: make the global state API configurable for externally defined get/set functions
2020-08-21	C generation tweaks	Alasdair

2020-08-21	c2: make the global state API configurable for externally defined get/set ↵	Julien Freche
	functions
2020-08-18	Move sail_state declaration into it's own file	Alasdair
	Useful for RISC-V with it's custom C emulator
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 ↵	Julien Freche
	in the sail state
2020-05-15	Add coverage tracking tool	Alasdair
	See sailcov/README.md for a short description Fix many location info bugs discovered by eyeballing output
2020-05-14	Output INT64_MIN in code generator for min 64-bit integer literal	Alasdair
	Fixes the warning generated because in C -X where X is the minimum integer is parsed as a positive integer which is then negated. This causes a (I believe spurious) warning that the integer literal is too large for the type. Also using INT64_C so we get either long or long long depending on platform
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
	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
2020-05-11	Functorise and refactor C code generator	Alasdair
	Currently uses the -c2 option Now generates a sail_state struct which is passed as a pointer to all generated functions. This contains all registers, letbindings, and the exception state. (Letbindings must be included as they can contain pointers to registers). This should make it possible to use sail models in a multi-threaded program by creating multiple sail_states, provided a suitable set of thread-safe memory builtins are provided. Currently the sail_state cannot be passed to the memory builtins. For foo.sail, now generate a foo.c, foo.h, and (optionally) a foo_emu.c. foo_emu.c wraps the generated library into an emulator that behaves the same as the one we previously generated. The sail_assert and sail_match_failure builtins are now in a separate file, as they must exist even when the RTS is not used. Name mangling can be controlled via the exports and exports_mangled fields of the configuration struct (currently not exposed outside of OCaml). exports allows specifying a name in C for any Sail identifier (before name mangling) and exports_mangled allows specifiying a name for a mangled Sail identifier - this is primarily useful for generic functions and data structures which have been specialised.