sail/risc-v/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 RISCV_ prefix to some values to stop Lem from renaming them
2017-11-23T13:32:42+00:00

Shaked Flur

2017-11-23T13:32:42+00:00

9ab1c6514c38968bcbdf5847ecb811072f731982












RISC-V parser checks
2017-11-07T11:45:06+00:00

Shaked Flur

2017-11-07T11:45:06+00:00

6b86efcb6e1042d4933b67eaf3a7b3eff1fac256












added RISC-V "fence r,r"
2017-11-01T14:17:08+00:00

Shaked Flur

2017-11-01T14:17:08+00:00

8e5d44d17c71cf946e65e15de8df42de2af4c652












added xml pp
2017-09-11T09:36:55+00:00

Shaked Flur

2017-09-11T09:36:55+00:00

53f13aeb3ff1289d92211aec6181cf178df82993












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

Shaked Flur

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

75022d46352525305b4c06b4988bf2df15f9f29e












fix for parsing diy generated tests
2017-09-02T09:23:33+00:00

Shaked Flur

2017-09-02T09:23:33+00:00

69dbe323ef6a8195465e2662fd447e1853e40866












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;