sail - Formal specification language for ISAs

Age	Commit message (Expand)	Author
2017-05-08	add some missing things in sail_values and make big_int version the default f...	Robert Norton
2017-05-08	add error messages for unhandled pattern match nodes in ocaml pretty printer.	Robert Norton
2017-05-08	put failwith in brackets to avoid parse error.	Robert Norton
2017-04-21	define some big_int literals in sail_values.ml to avoid lots of calls to bit_...	Robert Norton
2017-04-20	add brackets around integer literals so that ocaml parses them correctly and ...	Robert Norton
2017-04-20	add missing KD_nabbrev support in ocaml shallow embedding.	Robert Norton
2017-04-20	support assert in ocaml shallow embedding.	Robert Norton
2017-04-20	use mangled field name when accessing record field.	Robert Norton
2017-04-20	add name to register representation and print it on write.	Robert Norton
2017-04-18	make ocaml embedding of foreach use (now universal) big_ints.	Robert Norton
2017-04-18	Implement return using an exception caught in the function body. Polymorphic ...	Robert Norton
2017-04-18	Generate runtime error for L_undef. Existing code was broken except for type ...	Robert Norton
2017-04-07	fix error in generated ocaml where writing single bit of register was not tak...	Robert Norton
2017-04-06	use set_register when writing element of vector of registers to avoid acciden...	Robert Norton
2017-03-29	Factor out pretty printers into separate files. Hopefully this will make sear...	Robert Norton