sail/arm, branch sail2 Formal specification language for ISAs Remove old specs that have more up to date version 2020-07-31T12:30:53+00:00 Alasdair 2020-07-31T12:30:53+00:00 dd76fdfd819bb1a5423cea369df0e7f2ae449b62 Move outdated things into old subdirectory 
Move outdated things into old subdirectory
replaced NIA_LR/CTR/register with NIA_indirect; 2018-02-08T12:06:00+00:00 Shaked Flur 2018-02-08T12:06:00+00:00 043ea8ec3faecadf34ef9010bdd539f595f9c6da removed IK_cond_branch, and added IK_branch 
removed IK_cond_branch, and added IK_branch
wib 2018-01-10T11:18:54+00:00 Shaked Flur 2018-01-10T11:18:54+00:00 f0963618ba927492b0724383040b9922ab41f1dd 






the 'imm' of adr/adrp is signed
2018-01-09T12:24:21+00:00

Shaked Flur

2018-01-09T12:24:21+00:00

412a7a2e3a678362e0619aea640af9e24bc4682c












match what rmem expects from sail/arm
2017-12-04T14:54:54+00:00

Shaked Flur

2017-12-04T14:54:54+00:00

5fa993caef3c48da36f641bf3608a9515ecc40cf












add target for building ocaml shallow embed for arm.
2017-05-08T14:29:55+00:00

Robert Norton

2017-05-08T13:10:54+00:00

659bb75597fe50eaa8cd96fd97bd83dffcadd56a












fix headers
2017-02-03T14:54:22+00:00

Peter Sewell

2017-02-03T14:54:22+00:00

fb8ca50af3bb9392b66505b28ba718c90f8ab0ab












K,P debrief
2017-02-02T13:14:29+00:00

Peter Sewell

2017-02-02T13:14:29+00:00

ba013c46a3d03448c5b0747e032f2d35d1c3fa12












sync with idlarm
2016-11-07T09:37:14+00:00

Shaked Flur

2016-11-07T09:37:14+00:00

4463339af244cf03341459163549061d9a737537












pull files from idlarm
2016-08-24T10:54:56+00:00

Shaked Flur

2016-08-24T10:54:56+00:00

a482166cc147d2a13b0a258f890d91cdd94619a8