sail - Formal specification language for ISAs

Age	Commit message (Collapse)	Author
2017-09-02	Various fixes for Hexapod	Thomas Bauereiss
	- Support tuples in lexps - Rewrite trivial sizeofs - Rewrite early returns more aggressively - Support let bindings with ticked variables (binding both a type-level and term-level variable at the same time)
2017-08-29	Improve flow typing	Thomas Bauereiss
	Can now handle nexps such as (2**65 - 1). Uses big_ints for comparisons, and keeps original nexps in the AST.
2017-07-26	Experimental existentials in function calls	Alasdair Armstrong

2017-07-15	Add version of rewriter for new typechecker	Thomas Bauereiss

2017-07-05	Added split_on_char as a utility function in Util.ml, and replaced usage in ↵	Alasdair Armstrong
	sail.ml Current REMS install script and Jenkins CI server is on an older ocaml which doesn't have this function in String.
2017-07-03	Cleanup, and add support for variable bindings in bitvector patterns	Thomas Bauereiss

2017-02-03	fix headers	Peter Sewell

2015-10-20	Fixing bugs in pretty printer to ocaml	Kathy Gray

2015-09-06	Improved type system, so that it catches int where there should be nat	Kathy Gray
	Note: the resulting Lem file generated may or may not actually work properly with the interpreter (i.e. it might have too many unknowns); still in the process of debugging some changes there.
2015-04-14	Get power.sail compiling to Lem again	Kathy Gray

2013-08-07	Starting checks and translation from parse_ast to ast, including an internal ↵	Kathy Gray
	representation of types to support unification; importing support modules from Lem including pp and util