sail/mips_new_tc, branch sail2Formal specification language for ISAsrename mips_new_tc to mips2018-03-08T16:51:03+00:00Robert Norton2018-03-08T16:49:50+00:007f894658e6cf53a3ebf4dec5ccf788450de53d1e
Fix cheri and mips following 1fe8f33fce5aaaaea82fc54b6d198ffc9d7e1eeb which requires syntax change for unit constructors of union types.2018-03-07T16:41:08+00:00Robert Norton2018-03-07T16:41:08+00:001fe9ed8d1a5d2800d101f1e17b2873db3e38ab8b
overload shift operators so they can be used with integer shifts in cheri128 definitions.2018-03-06T13:30:59+00:00Robert Norton2018-03-06T13:30:59+00:009c4b4f66347196cd0511d3a2f8d4f0056592ee6f
finish port of cheri128 spec. to sail2.2018-03-06T11:45:32+00:00Robert Norton2018-03-06T11:45:27+00:00542093c381ec57a72b6e71c1fc452f5221082f02
add atom versions of val declaration for min and max.2018-03-06T11:45:32+00:00Robert Norton2018-03-06T11:44:37+00:00f41f149d35932eaf7b0469302fd6407fed02ae21
add a cp2_next_pc function to update cheri state in fde loop and a stub version for mips.2018-03-02T13:44:11+00:00Robert Norton2018-03-02T13:42:22+00:00bfb7331e0d1df763e51c59016f9d42e1ff7f90c5
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:00Robert Norton2018-03-01T16:33:14+00:00868ba4b5cc41ee902032154864df560edc22e0d0