sail - Formal specification language for ISAs

Age	Commit message (Collapse)	Author
2018-01-18	Modified ocaml backend to use ocamlfind for linksem and lem	Alasdair Armstrong
	Fixed test cases for ocaml backend and interpreter
2017-12-14	An experimental version of sail without bitvector start indexes.	Alasdair Armstrong
	Works with the vector branch of asl_parser
2017-11-28	Small update to trivial sizeof rewrites so we can handle all cases in	Alasdair Armstrong
	aarch64 vector instructions. There's maybe a better more general way to do this but I'm not sure what that would be.
2017-11-27	Compile assertions into OCaml	Alasdair Armstrong
	and_bool and or_bool now are treated specially in the ocaml backend, so that they have the correct short-circuiting behaviour. This is required so that assertions don't fail for the ARM spec for predicates that shouldn't be tested in certain circumstances, for example things like: IsAArch32() && AArch32_specific_predicate Also fixed an issue in the sail library for ocaml where greater than or equal to was being mapped to greater than.
2017-11-15	Additional test case for OCaml backend	Alasdair Armstrong

2017-11-15	Simplify flow typing code in typechecker	Alasdair Armstrong

2017-11-10	Fixed ocaml backend so it correctly compiles registers passed by name.	Alasdair Armstrong
	Added a test case for this behavior
2017-11-08	Merge branch 'experiments' of https://bitbucket.org/Peter_Sewell/sail into ↵	Alasdair Armstrong
	experiments
2017-11-07	Add builtin for reversing endianness	Thomas Bauereiss

2017-11-03	Fix ocaml test suite	Alasdair Armstrong

2017-10-31	Improvements to register read tracing in ocaml backend	Alasdair Armstrong

2017-10-27	Fixed some ocaml backend related bugs	Alasdair Armstrong

2017-10-26	Fix a bug in Sail OCaml library	Alasdair Armstrong

2017-10-26	Updated ocaml backend so tracing instrumentation is optional.	Alasdair Armstrong
	Cleaned up the option list in sail.ml
2017-10-23	Added support for better tracing in ocaml backend	Alasdair Armstrong
	Fixed an issue in ast.ml with uneccessary type variables
2017-10-18	Fixes and updates to ocaml backend to compile aarch64_no_vector	Alasdair Armstrong

2017-09-26	Added while-do and repeat-until loops to sail for translating ASL	Alasdair Armstrong

2017-09-18	Added additional utility functions in ast_util	Alasdair Armstrong
	Also fixed basic ocaml test suite
2017-09-07	Add ocaml run-time and updates to sail for ocaml backend	Alasdair Armstrong