sail/arm/Makefile, 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
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












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

Peter Sewell

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

ba013c46a3d03448c5b0747e032f2d35d1c3fa12












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

Shaked Flur

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

a482166cc147d2a13b0a258f890d91cdd94619a8












added ARMv8
2016-06-03T13:32:16+00:00

Shaked Flur

2016-06-03T13:32:16+00:00

d64d254a0150330d79c73e1f8aaab0618b79a649