sail - Formal specification language for ISAs

Age	Commit message (Expand)	Author
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