sail/mips_new_tc/Makefile, branch sail2 Formal specification language for ISAs rename mips_new_tc to mips 2018-03-08T16:51:03+00:00 Robert Norton 2018-03-08T16:49:50+00:00 7f894658e6cf53a3ebf4dec5ccf788450de53d1e 






Add support for read_tag and write_tag in sail_lib.ml. and support for intialising and dumping CHERI state. Somewhat working cheri sail2 model.
2018-03-01T17:18:14+00:00

Robert Norton

2018-03-01T16:33:14+00:00

868ba4b5cc41ee902032154864df560edc22e0d0












Get MIPS translated to Lem
2018-02-27T16:58:37+00:00

Thomas Bauereiss

2018-02-27T16:48:09+00:00

b0059c866f3b9b567bf195387abf7b7f32a497e1












working sail2 mips spec (passes BERI tests).
2018-02-26T16:28:57+00:00

Robert Norton

2018-02-26T16:22:54+00:00

64634ce688436c001dd92984247906dab4370931