sail/mips/hgen, branch sail2 Formal specification language for ISAs renamed hgen to gen 2017-12-04T14:47:38+00:00 Shaked Flur 2017-12-04T14:47:38+00:00 748318f8af7b82a01bb151f1bfcb466d0fc8291f 






remove unneeded regs_out_in.hgen files.
2017-08-15T15:18:30+00:00

Robert Norton

2017-08-15T15:18:30+00:00

6b51abc19b5af4051f53be9de3cf07f311d193c1












sail changes for making lem embedding Isabelle-friendlier
2016-12-09T15:02:47+00:00

Christopher Pulte

2016-12-09T15:02:47+00:00

66f2498b28fe4a9be40c2b4093f64827a146f371












shallow embedding fix, rename 'copy' to 'reset_vector_start', don't print shallow/deep ast conversion type class instances anymore, add herdtools ast / shallow ast conversion functions, add mips ImplementationDefinedStopFetching instruction
2016-11-30T22:48:25+00:00

Christopher Pulte

2016-11-30T22:48:25+00:00

33ed9509e06b694580dc2b466222fabde43c787f












attempt to preserve signs of immediate where appropriate when translating to sail->ppcmem (no need to worry about reverse direction).
2016-11-24T15:23:40+00:00

Robert Norton

2016-11-24T15:22:23+00:00

f3d52f7900f17e941ee0e7e4e06ab25952cdd06f












be consistent about using lower case when parsing/pretty printing MIPS assembly.
2016-11-23T17:31:53+00:00

Robert Norton

2016-11-23T17:31:53+00:00

b19a4c98ddfc65299894ef4f62561ca269cdeca3












add support for symbolic registers in litmus tests.
2016-11-23T14:07:48+00:00

Robert Norton

2016-11-23T14:07:48+00:00

b46d99ff3e73aa57dcdf917ba34097d85550535b












add mips thread start instruction.
2016-11-08T12:27:56+00:00

Robert Norton

2016-11-07T12:17:51+00:00

a6dd161641e03fd788308d09cc86a1f51b776b9b












add hgen for J branches
2016-10-27T15:42:38+00:00

Robert Norton

2016-10-27T15:42:27+00:00

42df1991945372e63cb5c8d078e13b4163784147












changes to support get_model for ppcmem.
2016-10-20T16:21:32+00:00

Robert Norton

2016-10-20T16:21:17+00:00

909ae209a152035d2c5ac15cd301bdea1f8ac743