sail - Formal specification language for ISAs

Age	Commit message (Expand)	Author
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	Updated ocaml backend so tracing instrumentation is optional.	Alasdair Armstrong
2017-10-23	Added support for better tracing in ocaml backend	Alasdair Armstrong
2017-10-18	Fixes and updates to ocaml backend to compile aarch64_no_vector	Alasdair Armstrong
2017-10-09	Improvements to menhir pretty printer and ocaml backend	Alasdair Armstrong
2017-10-04	Merge branch 'cleanup' into experiments	Alasdair Armstrong
2017-09-26	Added while-do and repeat-until loops to sail for translating ASL	Alasdair Armstrong
2017-09-21	Refactored AST valspecs into single constructor	Alasdair Armstrong
2017-09-21	Simplify AST by removing LB_val_explicit and replace LB_val_implicit with jus...	Alasdair Armstrong
2017-09-07	Add ocaml run-time and updates to sail for ocaml backend	Alasdair Armstrong
2017-09-01	Started work on test suite for ocaml backend	Alasdair Armstrong
2017-08-30	Improved ocaml backend to the point where the hexapod spec produces syntactic...	Alasdair Armstrong
2017-08-30	Ocaml backend can now run ocamlbuild automatically to build ocaml	Alasdair Armstrong
2017-08-29	More work on ocaml backend.	Alasdair Armstrong