sail - Formal specification language for ISAs

Age	Commit message (Expand)	Author
2017-04-07	fix error in generated ocaml where writing single bit of register was not tak...	Robert Norton
2017-04-07	implement quot and mod with truncation towards zero which is not the ocaml wa...	Robert Norton
2017-04-07	simplify xor using ocaml <> operator which also has the advantage of being mo...	Robert Norton
2017-04-06	minor changes in sail_values.ml to aid debugging	Robert Norton
2017-04-06	fix incorrect use of == in eq	Robert Norton
2017-04-06	implement exts and extz as manipulations on bit vectors rather than convertin...	Robert Norton
2017-04-06	Implement exit by raising Sail_exit exception	Robert Norton
2017-03-30	Make length function return big_int	Robert Norton
2017-03-28	temporary fix for problem duplicate (lack of direction) -- assume decreasing ...	Robert Norton
2017-03-28	Fix erroneous bitwise xor.	Robert Norton
2017-03-27	fix bitshift operators. I think these should be independent of vector order...	Robert Norton
2017-03-27	Fix broken to_vec of negative values. Old code was a bit confused. Probably p...	Robert Norton
2017-03-24	Checkpoint work-in-progress mips sequential interpreter using ocaml shallow e...	Robert Norton
2017-03-24	changes to ocaml pp to allow mips->ocaml to compile	Robert Norton
2016-01-28	Support exit and assert better in sequential interpreter and general interpre...	Kathy Gray
2015-11-03	Support int and bigint library functions	Kathy Gray
2015-10-29	Ocaml generation now just needing big int/little int issues resolved (probabl...	Kathy Gray
2015-10-23	More of sail correctly generating ocaml; including using polymorphic variants...	Kathy Gray
2015-10-20	Fixing bugs in pretty printer to ocaml	Kathy Gray
2015-10-07	start changing representation of registers for ocaml	Kathy Gray
2015-10-06	better printing for register writing, whole register (maybe not "right" yet)	Kathy Gray
2015-10-05	More library functions	Kathy Gray
2015-09-29	Boiler plate to generate an ml file from a sail spec. Now debugging the outpu...	Kathy Gray