sail - Formal specification language for ISAs

Age	Commit message (Expand)	Author
2017-12-13	Use big_nums from Lem	Alasdair Armstrong
2017-12-05	Update license headers for Sail source	Alasdair Armstrong
2017-11-30	Improvements to enable parsing and checking intermediate rewriting	Alasdair Armstrong
2017-11-24	Use unbound precision big_ints throughout sail.	Alasdair Armstrong
2017-10-23	Added support for better tracing in ocaml backend	Alasdair Armstrong
2017-10-13	Repeat and while loops in menhir parser and pretty printer	Alasdair Armstrong
2017-10-10	Fixes to menhir parser and pretty printer	Alasdair Armstrong
2017-10-09	Improvements to menhir pretty printer and ocaml backend	Alasdair Armstrong
2017-10-04	Fixed a bug in vector concatenation l-expressions	Alasdair Armstrong
2017-09-13	Work on improving Sail error messages	Alasdair Armstrong
2017-08-16	Added the feature to bind type variables in patterns.	Alasdair Armstrong
2017-08-15	Menhir parser support for try/catch	Alasdair Armstrong
2017-08-14	More constructs in menhir parser, plus support for both left and right infix ...	Alasdair Armstrong
2017-08-10	Improved operator support for test menhir parser	Alasdair Armstrong
2017-08-10	Experimenting with alternate parser	Alasdair Armstrong
2017-08-08	Add infrastructure to play with new menhir parsers.	Alasdair Armstrong