sail - Formal specification language for ISAs

Age	Commit message (Expand)	Author
2015-09-24	added 'remove_vector_string_patterns and .._expressions functions	Christopher Pulte
2015-09-17	Type checker checking on case splits properly, and dependency transformations...	Kathy Gray
2015-09-06	Improved type system, so that it catches int where there should be nat	Kathy Gray
2015-06-30	Change rewriter to better reset dec vectors to count from (length - 1) instea...	Kathy Gray
2015-06-30	Fix updating dec vector start bugs	Kathy Gray
2015-06-24	Support new memory write events in the sail front end and pretty printer	Kathy Gray
2015-06-10	Put missing cases into nexp_eq_check	Kathy Gray
2015-06-04	reduce number of unknown identifiers and get one step closer to actually deco...	Kathy Gray
2015-05-01	Fix pattern match bug with enumerated values	Kathy Gray
2015-05-01	Change interpreter interface to support ppcmem2's view of vectors as always i...	Kathy Gray
2015-03-26	Add subtraction to nexp grammar (removing the need to do a + (-1 * b))	Kathy Gray
2015-03-15	Many changes:	Kathy Gray
2015-02-25	Fix rewriting tag bug	Kathy Gray
2015-02-18	Fix dependency generation when type variable appears in a vector length position	Kathy Gray
2015-02-13	Fix error of not keeping register reads when they're accessed via a field	Kathy Gray
2015-02-13	Actually use new dependency information in generation of lem/etc.	Kathy Gray