sail/power, 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
Adds the DC and IC instructions to AArch64_small; 2019-03-08T16:02:02+00:00 Shaked Flur 2019-03-08T16:02:02+00:00 87ffe603e44e9be6f4109f6a9dd475df6dcfc489 Also, removes etc/regfp.sail and etc/regfp2.sail in favour of lib/regfp.sail 
Also, removes etc/regfp.sail and etc/regfp2.sail in favour of lib/regfp.sail
Merge master branch into sail2 for OCaml 4.06 compatibility 2018-02-17T21:41:42+00:00 Thomas Bauereiss 2018-02-17T21:41:42+00:00 96211c216102d6dec5e0fa3dd5999dc13e1b4748 






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







Experimenting with power spec
2018-01-02T14:28:18+00:00

Alasdair Armstrong

2018-01-02T14:28:18+00:00

4bb1e41bc2a1ae93e26094d827f43d2d21ec8223












moved the Power patch (shallow embedding) to ppcmem2
2017-12-12T14:50:16+00:00

Shaked Flur

2017-12-12T14:50:16+00:00

a33f07d40765a0c051943566f13be34570d85d0e












added the Power model
2017-12-04T15:14:42+00:00

Shaked Flur

2017-12-04T15:14:42+00:00

489eafc6c3c8191e2a8c1eb1386749f5e440eceb