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-12-13	Cleanup code by fixing compiler warnings, and fix ocaml compilation	Alasdair Armstrong
	Add the ast.sed script we need to build sail. Currently we just need this to fix up the locations in the AST but it will be removed once we can share locations between ocaml and lem.
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-21	Expose entry point in elf_loader for Sail model	Alasdair Armstrong

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