sail/src/nexp_functions, branch sail2 Formal specification language for ISAs Cleanup repository by removing old and generated files 2018-04-05T17:40:36+00:00 Alasdair Armstrong 2018-04-04T14:14:39+00:00 09fca718c6e850a3a94db399fd1744dc537bbe41 Rename l2.ott to sail.ott 
Rename l2.ott to sail.ott
Improved type system, so that it catches int where there should be nat 2015-09-06T09:55:38+00:00 Kathy Gray 2015-09-06T09:55:38+00:00 65f3ed9aa2849d9cfba81fc620785ff553303a03 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. 
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.