sail/risc-v/hgen/shallow_ast_to_herdtools_ast.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 






renaming
2017-11-23T15:50:13+00:00

Shaked Flur

2017-11-23T15:50:13+00:00

16c269d6f26fd69d8788c448b87f4bb479a6ef66












added RISC-V strong-acquire/release
2017-09-03T14:05:23+00:00

Shaked Flur

2017-09-03T14:05:23+00:00

75022d46352525305b4c06b4988bf2df15f9f29e












added RISC-V AMOs
2017-08-31T14:08:10+00:00

Shaked Flur

2017-08-31T14:08:10+00:00

07fad742df72ff6e7bfb948c1c353a2cf12f5e28












added RISC-V "fence w,w" and "fence.i";
2017-08-22T13:16:01+00:00

Shaked Flur

2017-08-22T13:16:01+00:00

6cc248cc27d9133e23da1454f115176f0799a572

fixed the interpreter nias analysis;





fixed the interpreter nias analysis;







RISC-V load-reserved and store-conditional
2017-08-21T13:44:12+00:00

Shaked Flur

2017-08-21T13:44:12+00:00

56b661f4d0d4ef4aa5107f73efbee7d7e8df8fea












RISC-V store-release
2017-08-19T09:34:04+00:00

Shaked Flur

2017-08-19T09:34:04+00:00

9a26a0440f4d3c63ea19976c44cd39edb8149b2a












added RISC-V load-acquire
2017-08-17T12:41:21+00:00

Shaked Flur

2017-08-17T12:41:21+00:00

cc46b5a2366cd73d34117590448f6779fac4d312












fixed the RISC-V fences (3 types: "rw,rw"/"r,rw"/"rw,w")
2017-08-17T08:28:35+00:00

Shaked Flur

2017-08-17T08:28:35+00:00

c6d639e0f03053b905a9cb0ab6929f4efe6153f4












riscv: store the decoded branch immediate in the ast type -- this simplifies translation to and from herdtools ast.
2017-08-15T16:21:30+00:00

Robert Norton

2017-08-15T16:21:30+00:00

1633941ba47cf87937ec0d2bfc8d840d69689f53