sail - Formal specification language for ISAs

Age	Commit message (Collapse)	Author
2017-08-16	Added the feature to bind type variables in patterns.	Alasdair Armstrong
	The reason you want this is to do something like (note new parser only): ******* default Order dec type bits 'n:Int = vector('n - 1, 'n, dec, bit) val zeros : forall 'n. atom('n) -> bits('n) val decode : bool -> unit function decode b = { let 'datasize: {\|32, 64\|} = if b then 32 else 64; let imm: bits('datasize) = zeros(datasize); () } ******* for the ASL decode functions, where the typechecker now knows that the datasize variable and the length of imm are the same.
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
	operators.
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
	Added a copy of the current parser/lexer in parser2.mly and lexer2.mll. They can be used with the -new_parser flag. Currently they are just copies of the existing files.